摘要
为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立面向方面的NVP模型,结果验证了该NVP模型的正确性和有效性。
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 ease study of searching system using this method. Analysis result verifies the correctness and effectiveness of this NVP model.
出处
《计算机工程》
CAS
CSCD
2012年第16期61-64,共4页
Computer Engineering
基金
国家自然科学基金资助项目(60773094
61173048)
关键词
N版本编程
容错
面向方面的编程
层次着色PETRI网
建模
N-version Programming(NVP)
fault tolerance
Aspect-oriented Programming(AOP)
Hierarchical Colored Petri Net(HCPN)
modeling