適合性試験において複数フォールトの位置を決定する方法

概要

論文の詳細を見る
Conformance testing for communication protocols is to check whether a protocol implementation conforms to a given protocol specification, and it is performed by observing output sequences outside by giving input sequences. Such input and output sequences are called test sequences. Many researchers have developed techniques for generation of test sequence. However, the previous techniques can only find the existence of differences (that are called faults) between a protocol specification and its implementation. Recently, a test sequence generation technique is proposed in, which can localize a fault under the assumption that the implementation includes only one fault. This paper proposes a new technique for localization of faults by generating test sequences interactively, even when the protocol implementation includes more than one fault.
一般社団法人情報処理学会の論文
1993-03-01