面向属性的CPN建模及On the Fly辅助的测试生成方法研究

项目名称： 面向属性的CPN建模及On the Fly辅助的测试生成方法研究

项目编号： No.61163011

项目类型： 地区科学基金项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 李华

作者单位： 内蒙古大学

项目金额： 48万元

中文摘要： 本项目的研究对象为基于网络的软件系统，其所处环境具有动态性、自身实现可能具有不确定性。本项目对于该类系统进行面向交互属性、可扩展属性及安全属性的CPN建模及测试方法研究。在建模方面，对于已有CPN模型的被测系统，提取欲测属性的CPN模型；对于没有CPN模型的被测系统，直接进行欲测属性的CPN建模，由此缩小问题的状态空间。在生成测试序列的过程中，给出属性测试覆盖标准，利用on the fly 方法进一步缩小欲测属性的CPN的状态空间，并对测试生成算法的有效性进行证明；通过符号执行的方法进行测试数据的选择，仅在需要时，考虑给出实际值，由此减少测试例的数目。研究考虑可观察与可控制性的可执行测试序列的生成方法；研究具有分布式特点的测试例之间的协同方法；进行具有分布式特点的TTCN-3测试套的设计与开发。使用基于IPv4、IPv6、IVI的可信任网络作为实际的试验环境，检验本项目提出的方法的有效性。

中文关键词： CPN建模；测试；属性；on the fly；符号执行

英文摘要：

英文关键词： CPN modeling；testing；property；on the fly；symbolic execution