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

第38卷 第 16期 计 算 机 工 程 2012年 8月 V0l_38 No．16 ComputerEngineering August2012 · 软件技术与数据库 · 文章缩号；1o00-_3428(2012)l每__006l 4 文献标识码，A 中圈分类号tTP311 基于HCPN 的面向方面NVP建模与分析 孙晓星 ，虞慧群1,2 (1．华东理工大学计算机科学与工程系，上海 200237；2．上海市计算机软件评测重点实验室，上海 201112) 摘 要：为能够在软件开发早期检测设计故障，降低N 版本编程(NVP)容错策略给系统带来的额外开销，提出一种基于层次着色 Petri网 (nceN)的面向方面NVP建模方法，将NVP模块转化为方面子模块，并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立面向 方面的NVP模型，结果验证了该NVP模型的正确性和有效性。 关健词：N版本编程；容错；面向方面的编程；层次着色Petri网；建模 M odelingandAnalysisofAspect·orientedNVPBased0nHCPN SUN Xiao．xing ‘ ． YUHui．qun， (1．DepartmentofComputerScienceandEngineering，EastChinaUniversityofScienceandTechnology,Shnaghai200237，Chnia； 2．ShanghaiKeyLaboratoryofComputerSoftwareEvaluatingTesting，Shanghai201I12，China) [AbstractiAimingatdetectingthedesignfaultsatearlydevelopmentstageandreducingtheoverheadthatN—versionProgramming(NVP)fault tolerancestrategymaybringintoasystem，thispaperproposesanaspect—orientedmodelingmethodbasedonHierarchicalColoredPetriNet(HCPN)． NVPismodularizedintoanaspectsub—moduleandwovenintoafinalexecutableHCPN．Anaspect—orientedNVPmodelisbuiltthrouhg aease studyofsearchingsystem usingthismehtod．An alysisresultverifiesthecorrectnessandeffectivenessofthisNVPmode1． [Keywords!N—versionProgramming(NVP)：faulttolernace；Aspect—orientedProgramming(AOP)；HierarchicalColoredPetriNet(HCPN)； modeling DOI：10．39690．issn．1000．3428．2012．16．015 性契合了AOP中方面实现分离和编织执行组合的思想。 l 概述 AOP包含基本模块和一组方面。基本模块中可识别的执 N版本编程(N-versionProgramming，NVP)是一种通 过增加版本开发间的独立性，降低不同版本同时出现相似 行点为连接点(Joinpoint)。编织(Weaving)lip在执行到达符 错误的概率，从而提高软件可靠性的容