| 基于形式规范的协议一致性测试的可靠性分析 |
| |
| 引用本文： | 吕欣岩,赵保华,屈玉贵.基于形式规范的协议一致性测试的可靠性分析[J].电子与信息学报,2007,29(4):781-784. |
| |
| 作者姓名： | 吕欣岩 赵保华 屈玉贵 |
| |
| 作者单位： | 中国科学技术大学计算机系,合肥,230027 |
| |
| 基金项目： | 国家自然科学基金
,
国家自然科学基金
,
国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 可以用于形式规范的描述语言很多，但存在一种统一的方法对形式规范进行一致性测试。该文采用统计的方法分析基于形式规范的协议一致性测试的可靠性，通过计算给出待测实体经过这种测试后所能达到的可靠性的置信区间，特别指出在零错误下影响可靠性的条件。
|
| 关 键 词： | 一致性测试 形式规范 测试假设 可靠性 |
| 文章编号： | 1009-5896（2007）04-0781-04 |
| 收稿时间： | 2005-09-02 |
| 修稿时间： | 2006-04-03 |
Analysis of Conformance Test Reliability Based on Formal Specification |
| |
| Lü Xin-yan,Zhao Bao-hua,Qu Yu-gui.Analysis of Conformance Test Reliability Based on Formal Specification[J].Journal of Electronics & Information Technology,2007,29(4):781-784. |
| |
| Authors: | Lü Xin-yan Zhao Bao-hua Qu Yu-gui |
| |
| Affiliation: | Computer Science and Technology Department, USTC, Hefei 230027, China |
| |
| Abstract: | |
| |
| Keywords: | Conformance test Formal specification Test hypotheses Reliability |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《电子与信息学报》浏览原始摘要信息 |
|
点击此处可从《电子与信息学报》下载全文 |
|
