Partial validation of a design specification with respect to requirements

摘要

This paper presents a method for partial validation of system design specifications. In our method, the requirements are given as a set of views described with MSC and referred to as a set of MSC{sub}R. The design specification can be given in any formal language. Our method allows for the verification, against each MSC{sub}R, of each simulation of the design specification collected into a MSC and referred to as MSC{sub}T in this paper. For the verification of MSC{sub}T against MSC{sub}R, we introduce a conformance relation and an algorithm to verify this relation. Our method is illustrated with an example, the INRES protocol.