著者

若杉 忠男

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告マルチメディア通信と分散処理(DPS) (ISSN:09196072)

巻号頁・発行日

vol.1995, no.85, pp.7-12, 1995-09-08

被引用文献数

2

---

筆者は,先にプロトコルを表現する状態遷移図からパスの長さ別の個数を要素とするベクトルを作成し,これで試験項目の件数を推定できることを示したが,その方法を発展させて,試験スイートの充足率を評価する方法を提案する.まず,試験項目の[フォールト発見能力]と[必要度]をパスを使って定義する.ついで,試験項目はパスの長さの短いものから偏りなく作成されるという前提のもとに試験項目の必要度充足率を表す疑似カバレジを定義する.これによってOSI適合性試験のトランスポート試験スイートの評価を行い,それが合格最低点をクリアしていることを示し,この疑似カバレレジが試験の質の評価として使用できることを示す.The author prrsented a paper how to estimates the number of test cases by using a vector, the elements of which are the numbers of paths arranged in order of lengths of paths. Here, using the above vecter, a method to estimate the necessity rate of test suites is proposed. Firstly, [faults detectability] and [necessity of test case] are defined. Next, the functions for calculating necessity rate are defined. And by this functions the quality of Transport Layer test suites is estimated. It is shown that these test suites clear the lowest successful point of testing.