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

作者：吕欣岩; 赵保华; 屈玉贵一致性测试形式规范测试假设可靠性

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社