内蒙古师范大学学报（自然科学汉文版）
內矇古師範大學學報（自然科學漢文版）
내몽고사범대학학보（자연과학한문판）
JOURNAL OF INNER MONGOLIA NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
2014年
6期
744-747
,共4页
安全计算机平台%模型检验%测试序列
安全計算機平檯%模型檢驗%測試序列
안전계산궤평태%모형검험%측시서렬
safety-critical system%model checking%test sequence
基于模型检验的测试序列生成及优化方法，在描述符号模型检验原理和 CTL (计算树逻辑， Computation Tree Logic)覆盖标准的基础上，通过分析测试序列的覆盖范围，证明了测试序列的覆盖完整性，并生成和优化了安全计算机平台测试序列。
基于模型檢驗的測試序列生成及優化方法，在描述符號模型檢驗原理和 CTL (計算樹邏輯， Computation Tree Logic)覆蓋標準的基礎上，通過分析測試序列的覆蓋範圍，證明瞭測試序列的覆蓋完整性，併生成和優化瞭安全計算機平檯測試序列。
기우모형검험적측시서렬생성급우화방법，재묘술부호모형검험원리화 CTL (계산수라집， Computation Tree Logic)복개표준적기출상，통과분석측시서렬적복개범위，증명료측시서렬적복개완정성，병생성화우화료안전계산궤평태측시서렬。
To improve the completeness and efficiency of SCS testing program,the testing based on model checking method as a kind of formalization is introduced in the paper,and to avoiding present tradi—tional solution occurring question,such as low efficiency lead by subj ectivity and no—guarantee of complete—ness of system performance.Analysis and modeling of SCS is completely described in this paper through the model checking tool NuSMV,simulation testing is conducted and result is given.
