交互状态机模型模拟矢量自动生成方法

作     者：李暾 郭阳 李思昆 

作者机构：国防科学技术大学计算机学院湖南长沙410073 

基　　金：Supported by the National Natural Science Foundation of China under Grant No.69933030 (国家自然科学基金) 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2003年第14卷第3期

页      码：628-634页

摘      要：模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.

主 题 词：交互状态机模型 模拟矢量自动生成方法 数字系统 覆盖率测度 

学科分类：0711[理学-心理学类] 07[理学] 08[工学] 081104[081104] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 071102[071102] 081103[081103] 

核心收录：

D　O　I：10.13328/j.cnki.jos.2003.03.045

馆 藏 号：203351870...