|
|
Analysis of Conformance Test Reliability Based on Formal Specification |
Lü Xin-yan; Zhao Bao-hua; Qu Yu-gui |
Computer Science and Technology Department, USTC, Hefei 230027, China |
|
|
Abstract Many description languages can be used by the formal specification, but there is a uniform method which can perform the conformance test under the formal specification. Adopting a statistical method, this paper analyses the conformance test reliability based on the formal specification, then it will give the confidence interval for the reliability and especially point out the conditions which can affect the reliability under ‘zero-error’.
|
Received: 02 September 2005
|
|
|
|
|
|
|
|