文献

J-GLOBAL ID：201702221699960600   整理番号：17A0357692

ソフトウェア階層化モデルに基づくソフトウェアテストデータ生成【JST・京大機械翻訳】

Software testing data generation technology based on software hierarchical model

著者 (4件)： Xu Weishan (Information Engineering University, State Key Laboratory of Mathematical Engineering and Advanced Computing) ,  Yu Lei (Information Engineering University, State Key Laboratory of Mathematical Engineering and Advanced Computing) ,  Feng Junchi (Logistics Scientific Institute) ,  Hou Shaofan (Information Engineering University, State Key Laboratory of Mathematical Engineering and Advanced Computing)
資料名： Jisuanji Yingyong  (Jisuanji Yingyong)
巻： 36  号： 12  ページ： 3454-3460  発行年： 2016年 
JST資料番号： C2535A  ISSN： 1001-9081  CODEN： JYIIDU  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： MARKOV連鎖モデルに基づくソフトウェア試験技術は,テストデータの生成においてソフトウェアの構造情報を考慮せずに,符号化経路の被覆能力と欠陥検出能力の問題を解決するために,MARKOV連鎖モデルに基づく試験と統計的テストを結合した。新しいソフトウェアテストモデル,すなわちソフトウェア階層モデルを提案した。このモデルはソフトウェアと外部環境の間の相互作用をカバーし,同時にソフトウェア内部構造情報を記述した。このモデルのテストデータセットの生成アルゴリズムを提案した。まず使用状況に合ったテスト系列を生成し,次にテスト系列をカバーするためにソフトウェア内部構造の入力データを生成する.実例ソフトウェアに関する実験結果は,MARKOV連鎖モデルに基づく試験方法と比較して,ソフトウェア階層モデルに基づく試験がソフトウェアテストの必要十分条件を満たすだけではなく,テストデータセットのコード経路被覆能力と欠陥検出能力も改善することを示した。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： *階層構造 ,  被覆 ,  故障検出 ,  内部構造 ,  *ソフトウェア ,  アルゴリズム ,  符号化
準シソーラス用語： 必要十分条件 ,  *ソフトウェアテスト ,  試験方法 ,  入力データ ,  外部環境 ,  階層モデル ,  *試験データ ,  テストデータ生成 , 【Automatic Indexing@JST】

著者キーワード (4件)： software testing ,  Markov chain model ,  software hierarchical model ,  test data generation

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

タイトルに関連する用語 (4件)： ソフトウェア ,  階層化 ,  モデル ,  テストデータ生成