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

项目分析了基于网络的软件系统的发展趋势，并基于被测属性对网络的不同层面展开研究。针对自实现的或者成熟的软件系统进行层次化CPN建模，对已有模型的软件系统进行基于属性的模型提取。从交互属性、可扩展属性等方面深入分析研究CPN建模方法。基于选定被测的基础CPN模型，为其扩展属性提出了模型的扩展方法,并根据修改后的模型得到测试例集，从该测试例集中减去基础模型的测试例集，最终得到被测扩展属性的测试例集。对CPN模型形成的状态空间，提出了有效的化简算法，并对算法进行优化。而对于安全属性基于CPN和On the fly 方法给出攻击序列的生成方法。依据本组建模经验及CPN模型执行的反馈信息，提出先分段，再分角色的层次CPN建模方法，并将符号执行和CPN建模相结合进行研究，减少了问题的整体状态空间，并论证了该方法的有效性。实现了一种CPN的状态空间向测试序列的自动转换方法以及测试序列向测试例的自动转换算法。 . 项目针对基于CPN并发模型容易产生状态爆炸的问题，提出了基于功能组合的模型抽象方法，减小模型的规模，提高其抽象性。给出基于CPN的on-the-fly测试算法的主要过程，实现了on-the-fly的核心算法——同步乘积算法，并对其进行测试和评估。以火车售票系统为被测，生成和执行测试例，并将测试结果与传统测试方法的结果进行比较和分析，证明了该方法的有效性。本项目考虑了可观察性与可控制性，进行从形式化模型到测试目的的推导、以及测试例的推导过程等方面的研究。本项目也依据需要构建了包含本地及远程的测试环境，并开发与执行生成的测试套。项目组利用已有的IPv4和IPv6实验环境及条件，完成了选定软件系统的安全检测。. 本项目的研究工作对软件系统属性的形式化建模及测试方法进行了有益的探索并取得较好的成果，在创新型人才培养方面也获得了较好的成果。