ava接口代码信息一致性检测方法.PDFVIP

第３４卷第２期　　　 计算机应用与软件 Ｖｏｌ３４Ｎｏ．２ ２０１７年２月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｆｅｂ．２０１７ 基于ＵＭＬ模型的多态性与Ｊａｖａ接口代码信息一致性检测的方法 １ １，２ １，２ １ 余双双 　曾　一 　刘慧君 　杨燕宁 １（重庆大学计算机学院　重庆４０００３０） ２（软件理论与技术重庆市重点实验室　重庆４０００３０） 摘　要　　ＵＭＬ模型是面向对象系统开发常用的建模语言，在由模型生成代码的过程中常常出现不一致问题， 从而造成系统后期测试成本以及维护成本的增加。而ＵＭＬ模型中的多态性因执行路径的不确定性会对模型与 代码的一致性产生重要影响，因此针对此问题提出以ＵＭＬ模型为基准，针对多态特性，对ＵＭＬ模型类图、时序图 以及Ｊａｖａ接口代码信息进行解析预处理从而获取时序调用图以及代码调用图，并对其进行多态性扩展。根据模 型的信息来对代码的信息进行检测，如果出现不一致问题时根据模型信息对代码信息进行修改。通过以上提出 的方法能够更加完善模型与代码的一致性检测，使检测更为有效、精准。 关键词　　ＵＭＬ模型　多态性　多态性扩展　一致性检测 中图分类号　ＴＰ３　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１７．０２．００２ ＴＨＥＣＯＮＳＩＳＴＥＮＣＹＤＥＴＥＣＴＩＯＮＭＥＴＨＯＤＯＦＰＯＬＹＭＯＲＰＨＩＳＭＡＮＤＪＡＶＡ ＩＮＴＥＲＦＡＣＥＣＯＤＥＩＮＦＯＲＭＡＴＩＯＮＢＡＳＥＤＯＮＵＭＬＭＯＤＥＬ １ １，２ １，２ １ ＹｕＳｈｕａｎｇｓｈｕａｎｇ　ＺｅｎｇＹｉ　ＬｉｕＨｕｉｊｕｎ 　ＹａｎｇＹａｎｎｉｎｇ １（ＣｏｌｌｅｇｅｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙ，Ｃｈｏｎｇｑｉｎｇ４０００３０，Ｃｈｉｎａ） ２（ＫｅｙＬａｂｏｒａｔｏｒｙｏｆＳｏｆｔｗａｒｅＴｈｅｏｒｙａｎｄＴｅｃｈｎｏｌｏｇｙｉｎＣｈｏｎｇｑｉｎｇ，Ｃｈｏｎｇｑｉｎｇ４０００３０，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　ＵＭＬｉｓａｃｏｍｍｏｎｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅｆｏｒｏｂｊｅｃｔｏｒｉｅｎｔｅｄｓｙｓｔｅｍｄｅｖｅｌｏｐｍｅｎｔ．Ｗｈｅｎｔｈｅｃｏｄｅｉｓｇｅｎｅｒａｔｅｄ ｆｒｏｍｔｈｅｍｏｄｅｌ，ｔｈｅｉｎｃｏｎｓｉｓｔｅｎｔｐｒｏｂｌｅｍａｌｗａｙｓｅｘｉｓｔａｎｄｉｔｗｉｌｌｉｎｃｒｅａｓｅｔｈｅｌａｔｅｒｔｅｓｔｃｏｓｔａｎｄｔｈｅｍａｉｎｔｅｎａｎｃｅｃｏｓｔ． ＳｉｎｃｅｕｎｃｅｒｔａｉｎｔｙｏｆｅｘｅｃｕｔｉｏｎｐａｔｈｓｏｆｐｏｌｙｍｏｒｐｈｉｓｍｉｎＵＭＬｍｏｄｅｌｗｈｉｃｈｍａｋｅｓｉｍｐｏｒｔａｎｔｉｍｐａｃｔｏｎｃｏｎｓｉｓｔｅｎｃｙ ｄｅｔｅｃｔｉｏｎｏｆｔｈｅｍｏｄｅｌａｎｄｔｈｅｃｏｄｅ，ｕｓｉｎｇｔｈｅＵＭＬｍｏｄｅｌａｓｔｈｅｂｅｎｃｈｍａｒｋａｎｄｔｈｅｐｏｌｙｍｏｒｐｈｉｓｍ（Ｏｖｅｒｌｏａｄｉｎｇａｎｄ Ｏｖｅｒｒｉｄｉｎｇ）ａｓｔｈｅｋｅｙｅｌｅｍｅｎｔｓ，ｔｈｅＳｅｑｕｅｎｃｅＤｉａｇｒａｍＣａｌｌＧｒａｐｈ（ＳＤＣＧ）ａｎｄＣｏｄｅＣａｌｌＧｒａｐｈ（ＣＣＧ）ｉｓａｂｌｅｔｏｂｅ ｏｂｔａｉｎｅｄｂｙａｎａｌｙｚｉｎｇａｎｄｐｒｅｐｒｏｃｅｓｓｉｎｇｔｈｅｃｌａｓｓｄｉａｇｒａｍ，ｓｅｑｕｅｎｃｅｄｉａｇｒａｍａｎｄｔｈｅＪａｖａｉｎｔｅｒｆａｃｅｃｏｄｅｉｎｆｏｒｍａｔｉｏｎ， ｗｈｉｃｈｓｈｏｕｌｄｂｅｔｒｅａｔｅｄｗｉｔｈｐｏｌｙｍｏｒｐｈｉｃｅｘｔｅｎｓｉｏｎ．Ｔｈｅｃｏｄｅｉｎｆｏｒｍａｔｉｏｎｉｓｄｅｔｅｃｔｅｄａｃｃｏｒｄｉｎｇｔｏｔｈｅｉｎｆｏｒｍａｔｉｏｎｏｆｔｈｅ ｍｏｄｅｌ，ｉｆｔｈｅｒｅａｒｅｉｎｃｏｎｓｉｓｔｅｎｔｐｒｏｂｌｅｍｓ，ｔｈｅｃｏｄｅｉｎｆｏｒｍａｔｉｏｎｗｉｌｌｂｅｍ