| 安全计算机平台测试序列的生成与优化 |
| |
| 引用本文： | 苏雅丽. 安全计算机平台测试序列的生成与优化[J]. 内蒙古师范大学学报(自然科学版), 2014, 0(6) |
| |
| 作者姓名： | 苏雅丽 |
| |
| 作者单位： | 呼和浩特民族学院 计算机系,内蒙古 呼和浩特,010051 |
| |
| 摘 要： | 基于模型检验的测试序列生成及优化方法,在描述符号模型检验原理和CTL(计算树逻辑,Computation Tree Logic)覆盖标准的基础上,通过分析测试序列的覆盖范围,证明了测试序列的覆盖完整性,并生成和优化了安全计算机平台测试序列.
|
| 关 键 词： | 安全计算机平台 模型检验 测试序列 |
Generation and Optimization of Safety-critical System Test Sequence |
| |
| Su Yali. Generation and Optimization of Safety-critical System Test Sequence[J]. Journal of Inner Mongolia Normal University(Natural Science Edition), 2014, 0(6) |
| |
| Authors: | Su Yali |
| |
| Abstract: | |
| |
| Keywords: | safety-critical system model checking test sequence |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
