论文部分内容阅读
为能够在软件开发早期检测设计故障,降低N版本编程（NVP）容错策略给系统带来的额外开销,提出一种基于层次着色Petri网（HCPN）的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立面向方面的NVP模型,结果验证了该NVP模型的正确性和有效性。