基于Petri Net的CRETs测试用例生成子系统：设计、实现与效能剖析.docx

基于PetriNet的CRETs测试用例生成子系统：设计、实现与效能剖析

一、引言

1.1研究背景与动机

在当今数字化时代，软件系统已广泛应用于各个领域，其复杂性和规模不断攀升。从航空航天的飞行控制系统、金融行业的交易处理系统，到医疗领域的生命支持系统，这些高可靠性、高安全性、高实时性、高并发性的复杂软件系统，对软件测试提出了前所未有的挑战。传统的软件测试方法在面对这些复杂系统时，逐渐暴露出诸多不足。例如，传统的手工测试方法不仅效率低下，而且容易受到人为因素的影响，导致测试结果的准确性和可靠性难以保证。而基于脚本的自动化测试方法，虽然在一定程度上提高了测试效率，但由于脚本的编写和维护成本较