文献

J-GLOBAL ID：201702247613848296   整理番号：17A0886024

モデルベース試験のための試験オラクル戦略【Powered by NICT】

Test Oracle Strategies for Model-Based Testing

著者 (2件)： Li Nan (Research and Development Division, Medidata Solutions, New York, NY) ,  Offutt Jeff (George Mason University, Fairfax, VA)
資料名： IEEE Transactions on Software Engineering  (IEEE Transactions on Software Engineering)
巻： 43  号： 4  ページ： 372-395  発行年： 2017年 
JST資料番号： D0480D  ISSN： 0098-5589  CODEN： IESEDJ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： テスタはシステムの挙動のモデルから抽象試験を設計するためのモデルベース試験を使用した。テスタは,試験入力値と試験オラクル結果をチェックと抽象試験を具体化コンクリート試験。同じテスト入力が与えられた時,より複雑な試験オラクルはより故障を明らかにする可能性を持っているが,より高価である可能性がある。本研究では,故障を明らかにするために,試験オラクルの能力を調べた。チェックプログラム状態の量と頻度の変化する十種の新しい試験オラクル戦略を定義した。二ベースライン試験オラクル戦略と比較した。論文では,いくつかの主要な発見を提示した。チェック例外のみでは故障を明らかにするのには有効ではないので,(1)試験オラクルは実行時例外よりもチェックしなければならない。全状態をチェックとしての部分的状態多くの障害としてほぼ明らかにすることをチェックするために(2)試験オラクルは全出力状態をチェックする必要がない。チェック状態はあまり検査状態としてとして有効であるより,複数回(3)試験オラクルはプログラム状態をチェックする必要がない。一般的に用いられている試験を発生させた状態マシン図と,検査状態不変量は試験オラクルを生成する合理的に有効な低コスト方法である。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： コンクリート ,  基準線 ,  *回路試験器 ,  不変量
準シソーラス用語： オラクル , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： モデルベース ,  試験 ,  オラクル ,  戦略