基于Petri网的嵌入式实时系统软件测试技术研究

摘要

在计算机软件开发领域,多年的经验积累得出这样的结论:在软件过程中软件测试占有最大百分比的技术工作量.并且伴随着软件功能的极度提高和软件规模的扩大,这种趋势还在加剧.为此科技人员作了大量的研究工作,无论是在传统的生命周期方法学中,还是在面向对象方法学中,已经研究出了一系列比较成功的软件测试技术.本文通过与传统的生命周期方法学以及面向对象方法学的比较，对嵌入式实时系统的特点作了综合描述。针对嵌入式实时系统所具有的特点，提出了一种基于Petri网模型的嵌入式实时系统软件测试技术。在嵌入式系统应用领域不断扩大和嵌入式实时系统软件复杂度不断增加的情况下，对于软件质量保证具有很好的实用价值。