文献

J-GLOBAL ID：201702281448963820   整理番号：17A0117282

アジャイル変成モデルベース試験【Powered by NICT】

Agile Metamorphic Model-Based Testing

著者 (7件)： Lindvall Mikael ,  Ganesan Dharmalingam ,  Bjorgvinsson Sigurthor ,  Jonsson Kristjan ,  Logason Haukur Steinn ,  Dietrich Frederik ,  Wiegand Robert E.
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： MET  ページ： 26-32  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： このシステムが正しい結果をもたらすかどうか容易に決定できない場合に試験が困難になる。この問題に取り組むために,筆者らは,モデルベース試験と組み合わせた変成試験原理を用いたNASAのDATシステムの自動化テストのためのフレームワークを開発した。DATを試験するためのフレームワークを用いた結果に基づいて,著者らは,これがオラクルを決定するために複雑な試験インフラストラクチャを開発する必要なしに欠陥を検出する包括的な試験を可能にするコスト有益な解決策であることを決定した。この手法では,各モデルを同定等価性の一つまたはそれ以上をコードするDAT質問は変成試験モデルのから自動的に生成する。添加では,著者らは他の等価次元を付加する時間対を自動的に生成するためのタイムスタンプを発生させる方法を用いた。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】

分類 (2件)： 計算機システム開発  (JD02010R) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 変成 ,  モデルベース ,  試験