基于数据流依赖关系分析的模型间一致性分析方法、系统及应用

本发明公开了一种基于数据流依赖关系分析的模型间一致性分析方法，方法包括如下步骤：步骤一、将自然语言需求文档转化为形式化需求条目，基于形式化需求条目生成需求模型，再利用形式化设计的精确语法、语义和假设条件对低层需求进行形式化建模，得到设计模型；步骤二、基于需求模型和设计模型，进行数据流分析，获取两者模型的变量依赖影响关系；步骤三、通过变量映射、拓扑排序从而进行模型间基于数据流依赖关系的一致性对比分析。本发明通过基于数据流依赖关系分析的模型间一致性分析方法来有效替代传统的人工测试和审查方法，提高验证的效率和准确性。本发明还公开了实现上述方法的系统及上述方法或者系统在模型间一致性分析中的应用。
华东师范大学 | 上海工业控制安全创新科技有限公司
徐奕龙飞 | 缪炜恺 | 蒲戈光 | 冯劲草 | 郑寒月