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

关键词: N版本编程, 容错, 面向方面的编程, 层次着色Petri网, 建模

Abstract: Aiming at detecting the design faults at early development stage and reducing the overhead that N-version Programming(NVP) fault tolerance strategy may bring into a system, this paper proposes an aspect-oriented modeling method based on Hierarchical Colored Petri Net(HCPN). NVP is modularized into an aspect sub-module and woven into a final executable HCPN. An aspect-oriented NVP model is built through a case study of searching system using this method. Analysis result verifies the correctness and effectiveness of this NVP model.

Key words: N-version Programming(NVP), fault tolerance, Aspect-oriented Programming(AOP), Hierarchical Colored Petri Net(HCPN), modeling

中图分类号: 

• TP311