基于形式规范的协议一致性测试的可靠性分析
doi: 10.3724/SP.J.1146.2005.01105
Analysis of Conformance Test Reliability Based on Formal Specification
-
摘要: 可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试。该文采用统计的方法分析基于形式规范的协议一致性测试的可靠性,通过计算给出待测实体经过这种测试后所能达到的可靠性的置信区间,特别指出在零错误下影响可靠性的条件。
-
关键词:
- 一致性测试;形式规范;测试假设;可靠性
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. -
[1] Bernot G, Gaudel MC, and Marre B. Software testing based on formal specifications: a theory and a tool[J].Software Engineering Journal.1991, 6(6):387-405 [2] Marie-Claude Gaudel and Perry R James. Testing algebraic data types and processes[J].Formal Aspects of Computing.1998, 10(5-6):436-451 [3] 赵静, 屈玉贵, 赵保华. 一种基于RSL的协议形式化描述技术的研究. 计算机科学, 2003, 30(1): 97-99. [4] Hagwood C, Kacker R, Yen J, Banks D, Rosenthall L, Gallagher L, and Black P. Reliability of conformance tests. Computer Software and Applications Conference, Vinenna, Aug. 1998. [5] Hagwood C and Lynne Rosenthal. Reliability of conformance tests[J].IEEE Trans. on Reliability.2001, 50(2):204-208
计量
- 文章访问数: 3349
- HTML全文浏览量: 79
- PDF下载量: 768
- 被引次数: 0