安全集指引的有状态动态偏序化简算法研究

摘要：

本文针对自主可控计算机模型检测中存在的状态爆炸问题提出了安全集指引的有状态偏序化简算法,不仅能避免对相同状态的重复搜索,而且通过建立安全集高效覆盖各种”高风险”交叠,使得测试过程大大加快.实验证明该算法能在合理的空间开销内高效找出并发错误,更适合工程应用.

关键词： 软件测试 自主可控计算机 动态偏序化简算法 安全集

作者: 刘慧琳 宋晓秋

作者单位: 北京计算机技术及应用研究所 北京 100854

会议类型: 国内会议

会议名称: 全国抗恶劣环境计算机第二十四届学术年会

会议地点: 江西九江

会议语种:中文

页码: 288-296

在线出版日期: 2014-09-01（万方平台首次上网日期，不代表论文的发表时间）