基于Petri网模型的嵌入式软件测试

摘要

嵌入式软件与运行时所处的硬件、设备结合紧密、具有实时性、并发性的特点,对安全性、可靠性的要求很高.这就需要一套有效的方法针对嵌入式软件的特点进行严格的测试验证,提高软件的质量.嵌入式软件测试的各个阶段具有不同的原理和特点,需要进行针对其特点的测试.形式化描述技术工具Petri网是一种基于形式化方法的描述和研究被测系统的图形化工具,非常适合分析同步、并行和不确定性高的系统,具备一套严密的数学理论及成熟的验证方法,有利于对被测系统进行验证和分析.通过Petri网在嵌入式软件单元测试中的实际应用,说明了这种测试方法的可行性和有效性.