基于形式规范的协议一致性测试的可靠性分析
吕欣岩; 赵保华; 屈玉贵
中国科学技术大学计算机系 合肥 230027
Analysis of Conformance Test Reliability Based on Formal Specification
Lü Xin-yan; Zhao Bao-hua; Qu Yu-gui
Computer Science and Technology Department, USTC, Hefei 230027, China
摘要 可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试。该文采用统计的方法分析基于形式规范的协议一致性测试的可靠性,通过计算给出待测实体经过这种测试后所能达到的可靠性的置信区间,特别指出在“零错误”下影响可靠性的条件。
关键词 :
一致性测试 ,
形式规范 ,
测试假设 ,
可靠性
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’.
Key words :
Conformance test
Formal specification
Test hypotheses
Reliability
收稿日期: 2005-09-02
基金资助: 国家自然科学基金重大研究计划项目(90104010),国家自然科学基金(60241004)和国家973计划(2003CB314801)资助课题
[1]
叶雪梅,李雪松,蔡艳宁,范青刚, 陈柏松,王庆文. 一种基于可靠最远转发的车载网广播协议 [J]. 电子与信息学报, 2016, 38(5): 1219-1226.
[2]
尚新文,李鑫伟,曹林林,肖刘,苏小保. X波段脉冲空间行波管输出结构可靠性研究 [J]. 电子与信息学报, 2016, 38(10): 2674-2680.
[3]
梁家荣, 白杨, 王新阳. 评估交换超立方体网络可靠性的一种新方法 [J]. 电子与信息学报, 2015, 37(3): 693-699.
[4]
邹卫霞, 康峰源, 杜光龙, 张春青. 基于中国医用体域网频段的物理层方案设计及干扰分析 [J]. 电子与信息学报, 2015, 37(2): 429-434.
[5]
蔡进科, 顾华玺, 卢冀, 余晓杉. 基于Openflow网络的高可靠性虚拟网络映射算法 [J]. 电子与信息学报, 2014, 36(2): 396-402.
[6]
胡升泽, 包卫东, 王博, 乐俊, 葛斌. 无线传感器网络基于多元簇首的分簇数据收集算法 [J]. 电子与信息学报, 2014, 36(2): 403-408.
[7]
熊飞, 乔迪, 王宏祥, 赵子岩, 杨洪, 沈亮. 一种基于有序二元决策图和布尔函数性质计算网络可靠性的算法 [J]. 电子与信息学报, 2014, 36(11): 2786-2790.
[8]
朱士信, 虞艺超. 使用边际信息降低复杂度的分阶统计软判决译码法 [J]. 电子与信息学报, 2013, 35(7): 1682-1686.
[9]
万武南, 王拓, 索望. 一种三容错数据布局 [J]. 电子与信息学报, 2013, 35(10): 2341-2346.
[10]
王志明, 汪斌强. 基于备份的可重构服务承载网可靠性映射方法 [J]. 电子与信息学报, 2013, 35(1): 126-132.
[11]
包学才, 戴伏生, 韩卫占. 可靠性约束下的无线Mesh网络拓扑控制优化方法 [J]. 电子与信息学报, 2013, 35(1): 159-165.
[12]
王志明, 汪斌强, 王保进. 基于拓扑影响度和回溯迁移的虚拟网可靠性映射方案 [J]. 电子与信息学报, 2012, 34(12): 2898-2904.
[13]
张剑贤, 周端, 杨银堂, 赖睿, 高翔. 处理器可靠性约束的电压频率岛NoC能耗优化 [J]. 电子与信息学报, 2011, 33(9): 2205-2211.
[14]
田心记, 袁超伟, 王秋才, 赵伟. 基于相位旋转的坐标交织分布式空时码 [J]. 电子与信息学报, 2011, 33(5): 1131-1135.
[15]
田心记, 袁超伟, 胡紫巍, 李琳. 基于相位旋转的多跳Alamouti放大转发协作方案 [J]. 电子与信息学报, 2011, 33(4): 880-884.