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

摘要：

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

关键词：一致性测试、形式规范、测试假设、可靠性

所属期刊栏目：29

分类号：TP393.04(计算技术、计算机技术)

资助基金：国家自然科学基金90104010;国家自然科学基金60241004;国家重点基础研究发展计划973计划2003CB314801

在线出版日期：2007-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：781-784