资料下载
×
形式化方法和测试技术及其在安全中的应用
消耗积分:5 |
格式:rar |
大小:148 |
2009-06-11
分享资料个
本文回顾和讨论了形式化方法和测试技术，以及形式规格说明可以用于测试用例生成、测试顺序确定的途径；并提出了将形式化方法和测试技术应用于安全保密设备。
关键词 形式化方法；测试技术；安全保密设备
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 equipments is proposed.
Keywords Formal method; test technology; Security equipments
关键词 形式化方法；测试技术；安全保密设备
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 equipments is proposed.
Keywords Formal method; test technology; Security equipments
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
