On a Conformance test method of state transition diagram

IPSJ

Bibliographic Information

Other Title
  • 状態遷移図の同定問題のー解法

Description

状態遷移図をパスに分解し，長さLのパスの個数をPLと記すと，これで状態遷移図の複雑さが表される．また各リンクを試験したときのフォールト発見率の下限をrとするとフォールト残存率上限はPL×(l-r)L/Plで表される．これから試験によってフォールトの個数をOにできる条件が分かり，発見フォールト数から残存フォールト数の推定ができる．またパスPLを試験項目でどれだけカバーするかで試験の程度が評価できる．

Journal

Details 詳細情報について

Report a problem

Back to top