基于形式规范的协议一致性测试的可靠性分析 analysis of conformance test reliability based on formal specification.pdfVIP

第29卷第4期 电子与信息学报 Vbl．29No．4 of 2007年4月 Journal Apr．2007 E1ectmnic8＆IⅡformation，11echnology 基于形式规范的协议一致性测试的可靠性分析 吕欣岩 赵保华 屈玉贵 (中国科学技术大学计算机系 合肥230027) 摘要：可以用于形式规范的描述语言很多，但存在一种统一的方法对形式规范进行一致性测试。该文采用统计的 方法分析基于形式规范的协议一致性测试的可靠性，通过计算给出待测实体经过这种测试后所能达到的可靠性的置 信区间，特别指出在“零错误“下影响可靠性的条件。 关键词：一致性测试；形式规范；测试假设；可靠性 中图分类号：TP393．04 文献标识码：A