| 形式化方法和测试技术及其在安全中的应用 |
| |
| 引用本文： | 魏怀鉴,鲍皖苏.形式化方法和测试技术及其在安全中的应用[J].微计算机信息,2006,22(33):55-57. |
| |
| 作者姓名： | 魏怀鉴 鲍皖苏 |
| |
| 作者单位： | 450004,河南,郑州,解放军信息工程大学电子技术学院 |
| |
| 基金项目： | 河南省杰出青年科学基金 |
| |
| 摘 要： | 本文回顾和讨论了形式化方法和测试技术,以及形式规格说明可以用于测试用例生成、测试顺序确定的途径;并提出了将形式化方法和测试技术应用于安全保密设备。
|
| 关 键 词： | 形式化方法 测试技术 安全保密设备 |
| 文章编号： | 1008-0570(2006)11-3-0055-03 |
| 修稿时间： | 2006年4月28日 |
Formal Method and Test Technology and Applying Them to Security Equipments |
| |
| WEI HUAIJIAN,BAO WANSU.Formal Method and Test Technology and Applying Them to Security Equipments[J].Control & Automation,2006,22(33):55-57. |
| |
| Authors: | WEI HUAIJIAN BAO WANSU |
| |
| Abstract: | This paper reviews and discusses formal methods and test technology, and the approaches in which formal specifications can be exploited for the generation of test cases, for sequencing the tests; and applying formal methods and test technology to security e- quipments is proposed. |
| |
| Keywords: | Formal method test technology Security equipments |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
