基于形式规范的协议一致性测试的可靠性分析

• 作者: 吕欣岩 屈玉贵 赵保华
• 来源期刊: 电子与信息学报
• 学科: 工学
• 关键词: 一致性测试 形式规范 测试假设 可靠性
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 论文
• 页码范围: 781-784
• 页数: 4页
• 分类号: TP393.04
• 字数: 4597字
• 语种: 中文

摘要

可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试.该文采用统计的方法分析基于形式规范的协议一致性测试的可靠性,通过计算给出待测实体经过这种测试后所能达到的可靠性的置信区间,特别指出在"零错误"下影响可靠性的条件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	屈玉贵	中国科学技术大学计算机系	98	1088	19.0	27.0
2	赵保华	中国科学技术大学计算机系	152	1481	21.0	28.0
3	吕欣岩	中国科学技术大学计算机系	4	44	3.0	4.0