文献

J-GLOBAL ID：202202289512594901   整理番号：22A0439698

ソフトウェア可試験性の情報理論的概念【JST・京大機械翻訳】

An information theoretic notion of software testability

著者 (3件)： Patel Krishna (Department of Computer Science, The University of Sheffield, Sheffield, S1 4DP, UK) ,  Hierons Robert M. (Department of Computer Science, The University of Sheffield, Sheffield, S1 4DP, UK) ,  Clark David (Department of Computer Science, University College London, WC1E 6BT, UK)
資料名： Information and Software Technology  (Information and Software Technology)
巻： 143  ページ： Null  発行年： 2022年 
JST資料番号： B0445B  ISSN： 0950-5849  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： ソフトウェアテストでは,故障プログラム状態が試験(SUT)の下でシステムの実行時に発生する状況であるが,これは不正確な出力に導かない。FEPはソフトウェア試験に悪影響を与えることができ,これは関連する情報理論的手段をもたらした。SUTの可試験性を評価するために使用できる対策を考案する。可試験性により,試験中に発生する故障プログラム状態が不正確な出力をもたらすかどうかを平均した。以前の研究は,全体プログラムよりむしろ単一プログラム点を考慮した。新しい,より微細粒,測定を考案した。実験を用いて,これらおよび以前に定義された尺度(Squeezityおよび正規化Squeezess)を評価した。試験は,試験中に発生するFEPの確率の推定と,これらの測定がどのように良く相関するかを評価した。突然変異体を用いてこの確率を推定した。いくつかの測度とFEPの確率の間に強いランク相関が見られた。重要なことに,これは,考慮した他の測度のほとんどよりも,計算または推定が簡単である,全体のSUTの標準化されたスキーズネスを含んだ。追加実験は,この測度が変異体の選択と試験セットに比較的鈍感であることを見出した。SUTがFEPにどのような傾向があるかを推定するために,情報理論的手段を使用する範囲がある。その結果,試験の優先順位付けや,SUTの試験がどの程度必要であるかを推定するためのそのような手段を使用する可能性がある。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *情報理論 ,  測度 ,  故障 ,  標準化 ,  *ソフトウェア ,  正規化 ,  *可試験性
準シソーラス用語： ソフトウェアテスト , 【Automatic Indexing@JST】

著者キーワード (3件)： ソフトウェア試験可能性 ,  情報理論 ,  誤り伝搬の失敗

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

タイトルに関連する用語 (4件)： ソフトウェア ,  可試験性 ,  情報理論 ,  概念