抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
テスト陰性シナリオはソフトウェアシステムのロバスト性を評価するために重要である。誤り処理は,すべての値が評価され,故障が検出されない前にシステムを終了することができる。したがって,組合せ試験のための拡張は,正と負のシナリオの生成を分離する。残念ながら,過剰制約モデルの作成は容易である。特定の値または値の組合せは,テストスイートに現れることから防止され,試験されていないままである。本論文では,過剰制約モデルを定義し,それらを同定し修理する技術を提示した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】