一种软件演化中的系统功能行为一致性分析方法及系统

摘要

本发明属于软件演化技术领域，公开了一种软件演化中的系统功能行为一致性分析方法及系统，采用Petri‑net来对待演化软件系统进行形式化建模，之后将相应的系统Petri网模型转化为状态迁移图(Petri‑net可达图)，其中的每一个状态就是相应的系统行为状态，然后基于状态迁移图来进行系统演化一致性分析，因此该方法是从系统行为层而不是构件行为层出发去分析演化前后是否保证了一致性。本发明与直接分析系统的Petri‑net模型相比，更加简单而且易于理解；可以让系统在运行时刻以尽可能小的代价进行软件的动态配置和更新。