专利内容由知识产权出版社提供
专利名称：一种软件演化中的系统功能行为一致性分析方法及
系统
专利类型：发明专利
发明人：郑交交,秦江龙,李彤,林英,谢仲文,莫启,王晓芳,成蕾,
刘妙,杨真谛,郑明,李响
申请号：CN201710966545.1申请日：20171017公开号：CN107797814A公开日：20180313
摘要：本发明属于软件演化技术领域，公开了一种软件演化中的系统功能行为一致性分析方法及系统，采用Petri‑net来对待演化软件系统进行形式化建模，之后将相应的系统Petri网模型转化为状态迁移图(Petri‑net可达图)，其中的每一个状态就是相应的系统行为状态，然后基于状态迁移图来进行系统演化一致性分析，因此该方法是从系统行为层而不是构件行为层出发去分析演化前后是否保证了一致性。本发明与直接分析系统的Petri‑net模型相比，更加简单而且易于理解；可以让系统在运行时刻以尽可能小的代价进行软件的动态配置和更新。
申请人：云南大学
地址：650091 云南省昆明市五华区翠湖北路2号
国籍：CN
代理机构：北京科亿知识产权代理事务所(普通合伙)
代理人：汤东凤
更多信息请下载全文后查看
