文献

J-GLOBAL ID：202002283085773429   整理番号：20A0827539

科学ソフトウェアのための探索的変成試験【JST・京大機械翻訳】

Exploratory Metamorphic Testing for Scientific Software

著者 (5件)： Lin Xuanyi (University of Cincinnati) ,  Simon Michelle (Environmental Protection Agency) ,  Niu Nan (University of Cincinnati) ,  Carver Jeffrey ,  Rouson Damian
資料名： Computing in Science & Engineering  (Computing in Science & Engineering)
巻： 22  号： 2  ページ： 78-87  発行年： 2020年 
JST資料番号： W0579B  ISSN： 1521-9615  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 科学モデル開発者は,与えられたテストケースの期待出力が容易に利用できない場合でも,変成試験(MT)によりソフトウェアを検証し,検証することができる。テネットは,複数の関連入力の期待される出力の間にある関係があるかどうかをチェックすることである。現在のアプローチは,試験前に定義されるべき関係を必要とする。著者らの経験は,連続的シミュレーションを実行するためのテストの多重反復を最初に定義することがしばしば簡単であり,次に,複数の競合的な変成関係を保持して,試験結果パターンを調査するために開かれることを示した。この新しい手法を探索的MTと呼び,米国環境保護庁の水管理モデルに対するパラメータの自動較正におけるバグ,不整合,制約を検出するために適用した経験を報告した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ソフトウェア障害 ,  水管理 ,  シミュレーション ,  *ソフトウェア ,  不整合 ,  米国環境保護庁 ,  *変成作用 ,  多重化
準シソーラス用語： テストケース , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (5件)： 科学 ,  ソフトウェア ,  探索 ,  変成 ,  試験