面向安全需求的安全通信协议测试序列生成算法
作者机构：同济大学电子与信息工程学院上海201804 上海大学悉尼工商学院上海201800
基 金：国家自然科学基金资助项目(60674004) 铁道部科技研究开发计划项目(2007X003)
出 版 物：《计算机应用》 (journal of Computer Applications)
年 卷 期：2009年第29卷第7期
页 码：1828-1831,1848页
摘 要：安全苛求系统仿真测试中,安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求,提出安全因子的定义,通过建立带安全因子的安全EFSM模型,设计了一种新的基于最小安全因子的协议安全性测试序列生成算法,该算法与传统的算法相比具有较高的安全性测试效率,能确保安全性测试的完备性。此方法已成功应用到高速铁路客运专线列车运行控制系统中的安全通信协议仿真测试中。
主 题 词：通信协议测试 扩展有限状态机 唯一输入输出序列 安全因子
学科分类：0839[0839] 08[工学] 081201[081201] 0812[工学-测绘类]
核心收录：
馆 藏 号：203418115...
