FSMによってモデル化された精密テストオラクルのマイニング【JST・京大機械翻訳】

Timo Omer Nguena

プレプリント

J-GLOBAL ID：202202219651759206 整理番号：22P0324946

FSMによってモデル化された精密テストオラクルのマイニング【JST・京大機械翻訳】

Mining Precise Test Oracle Modelled by FSM

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2022年04月04日プレプリントサーバーでの情報更新日： 2022年04月04日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

臨界制御システムや通信プロトコルのような反応系のための正確なテストオラクルは,決定論的有限状態マシン(FSM)でモデル化できる。他の役割の中で,それらは試験下のシステムの正当性の評価に役立つ。多くの候補精密オラクル(短,候補)は,不確実性,例えばあいまいな自然言語で表現される要求を解釈するとき,システム設計段階で生産できる。適切な候補を選択することは,専門家にとって挑戦的になる。この選択タスクにおける専門家を支援するためのテスト駆動アプローチを提案した。このアプローチは,候補を表現するために非決定論的FSMを使用し,Boole符号化による候補のサブセットへの候補の分割を含み,部分集合を選択するための専門家の介入を必要とする。提案手法の適用性の経験的評価を行った。【JST・京大機械翻訳】

, , , , , , , , , , ,
, , , , 【Automatic Indexing@JST】

計算機システム開発

, , ,

前のページに戻る