摘要： 为能够在软件开发早期检测设计故障，降低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
中图分类号:
孙晓星, 虞慧群. 基于HCPN的面向方面NVP建模与分析[J]. 计算机工程, 2012, 38(16): 61-64.
SUN Xiao-Xing, YU Hui-Qun. Modeling and Analysis of Aspect-oriented NVP Based on HCPN[J]. Computer Engineering, 2012, 38(16): 61-64.