APP下载
[00040426]一种基于活动图模型的系统行为仿真方法
联系人： 南京大学
所在地：江苏 南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明是一种基于活动图模型的系统行为仿真方法，首先读取并解析待仿真的统一建模语言活动图模型，从中抽取出重要的模型元素信息并在内存中构建一个完整的模型映射；然后对读入的统一建模语言活动图模型进行解析，分别从统一建模语言活动图模型中解析出各种模型元素；再结合采用混合执行的思想对其进行持续的具体执行、符号执行以及约束求解，在达到节点覆盖度阈值的情况下结束该过程；最后使用上一步收集到的仿真用例对统一建模语言活动图模型进行仿真执行。实现了用于统一建模语言活动图模型仿真执行的仿真用例自动生成、统一建模语言活动图模型的仿真执行环境构建、统一建模语言活动图模型仿真用例的节点覆盖度信息统计以及仿真执行结果反馈。
