资料下载
×
安全苛刻系统测试设备协同语句
消耗积分:2 |
格式:rar |
大小:1.93 MB |
2018-01-16
分享资料个
安全苛刻系统的可信性需求迫切，支持可信性评估的数据主要来自于测试．为了保证测试数据的可靠性和正确性，特别是对安全苛刻系统这类复杂系统，手工测试实际不可行，研发测试语言是实现自动化测试的有效途径，也是安全苛刻系统自动化测试发展的必然趋势．针对安全苛刻系统通用测试语言应独立于具体设备包括被测安全苛刻系统、测试设备的应用需求，对安全苛刻系统测试中的测试设备协同语句展开研究，针对安全苛刻系统测试中测试设备协同任务中的高阶性、实时性等特点通过给出测试语言中测试设备协同相关类型、设备协同表达式，定义测试设备协同语句，并通过设备协同表达式求值定义设备协同语句的操作语义规则．最后，对语句的正确性给出相关证明，从而支持安全苛刻系统测试过程中测试设备协同过程的动态性和开放性，支持安全苛刻系统测试语言的通用性．
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
