基于HCPN的面向方面NVP建模与分析  

Modeling and Analysis of Aspect-oriented NVP Based on HCPN

作　　者：孙晓星[1] 虞慧群[1,2] 

机构地区：[1]华东理工大学计算机科学与工程系,上海200237 [2]上海市计算机软件评测重点实验室,上海201112

出　　处：《计算机工程》2012年第16期61-64,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60773094;61173048)

摘　　要：为能够在软件开发早期检测设计故障,降低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.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]