CPN建模与on-the-fly方法相结合的测试用例生成

来源：软件学报杂志2017年第10期北京时间：

作者：张玉荣,李华,邢熠,王显荣,阮宏玮,张素梅

单位：张玉荣，内蒙古大学 计算机学院, 内蒙古 呼和浩特 01002111,李华，内蒙古大学 计算机学院, 内蒙古 呼和浩特 010021;内蒙古大学 网络信息中心, 内蒙古 呼和浩特 01002102,邢熠，内蒙古大学 计算机学院, 内蒙古 呼和浩特 01002103,王显荣，内蒙古大学 计算机学院, 内蒙古 呼和浩特 01002104,阮宏玮，内蒙古大学 计算机学院, 内蒙古 呼和浩特 010021;内蒙古大学 网络信息中心, 内蒙古 呼和浩特 01002105,张素梅，内蒙古大学 计算机学院, 内蒙古 呼和浩特 01002106

摘要：在对复杂的软件系统进行测试时，生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历，提出将on-the-fly方法与CPN形式化建模方法结合起来，用于生成测试例.在这种方法中，无需对整个状态空间进行遍历，只是仅对测试人员感兴趣的部分状态空间进行针对性的测试.首先，给出CPN和扩展可达图的定义，介绍了on-the-fly测试方法中涉及的相关概念，包括系统规约、测试目的、同步乘积和测试例等.然后，实现了同步乘积算法，并设计相关测试例对其进行了测试.最后，选定一个被测系统示例CPN建模与on-the-fly结合的方法，并通过适配器实现与被测系统的交互，生成和执行测试例，由此验证了方法的可行性和有效性.

关键词：on-the-fly测试;CPN层次模型;扩展可达图;同步乘积;测试例

基金资助：国家自然科学基金（61163011，61262082）；内蒙古自治区自然科学基金（2015MS0612）；内蒙古自治区高校科学技术研究项目（NJZY010）；赛尔创新项目（NGII20150112）