抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
各テストケースに期待される出力を理解しが困難な場合は,メタモルフィック(metamorphic)試験は,そのような状況を緩和するために適用することができる。関与する重要な課題は,テスト下のプログラムのための変成関係を導出することである。μMTと呼ばれるデータ変異指向変成関係獲得の方法論を提案した。三つの事例研究での実験結果は,μMTは,数値応用のための変成関係の導出に実現可能であり,得られた変成関係は合理的な故障検出有効性を示すことを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】