北京航空航天大学硕士学位论文北京航空航天大学硕士学位论文PAGE2基于C++程序动态切片系统的设计与实现税收执法责任考核管理系统的设计北京航空航天大学硕士学位论文PAGE\*MERGEFORMAT75摘要为了方便开发、调试和测试等人员，提出了一种能便于程序理解、调试、维护、逆向工程的技术—程序切片技术。这种技术主要是通过将一个复杂程度高、规模大的程序通过一定的分解机制将程序分解成若干的复杂程度低、结构相对较低的程序片段，通过必要的程序切片技术可以有效的被程序开发人员理解、调试、维护。切片技术本身存在众多的趋于解决的问题，本文主要针对所发现的问题或者对问题进行了一定的改进。实现基于C++程序动态切片系统。通过对切片技术的优缺点分析，提出一种更加的高效的切片技术，对面向对象程序切片方法进行改进，利用简化的系统依赖图实现面向对象程序切片方法，这个可以减少复杂的系统依赖图产生不必要的麻烦。对切片技术的发展具有指导意义。首先系统依赖图的面向对象程序切片方法。对于系统依赖图而言，其最关键的缺点系统依赖图过于复杂，此外切片技术的关键就是需要正确的系统依赖图。换句话说对于在系统依赖图绘制过程中，若出现错误就不能进行正确的切片。为了这种切片技术的简单实现，采用对系统依赖图进行必要的简化，拟引用简单的系统依赖图实现面向对象程序切片方法。这种改进的依赖图切片方法主要对传统的切片方法进行改造。最后实现了基于C++程序动态切片系统的原型，并且提高了查找和追踪效率。切片技术本身存在众多的趋于解决的问题，本文主要针对所发现的问题或者对问题进行了一定的改进。通过对切片技术的优缺点分析，提出一种更加的高效的切片技术，对面向对象程序切片方法进行改进，利用简化的系统依赖图实现面向对象程序切片方法，这个可以减少复杂的系统依赖图产生不必要的麻烦。对切片技术的发展具有指导意义。关键字：C++，面向对象程序切片方法，程序动态切片系统AbstractInordertofacilitatethedevelopment,debuggingandtestingpersonnel,whichcanfacilitateprogramunderstanding,debugging,maintenance,reverseengineeringtechnologyprogramslicingtechnology.Thistechnologyismainlythroughahighlevelofcomplexity,largescaleprogramthroughthedecompositionmechanismofcertainprocedureswillbedecomposedintoseverallowcomplexity,structurerelativelylowprogramfragments,throughprogramslicingnecessarycaneffectivelybeprogramdeveloperstounderstand,debug,maintenance.Slicingitselfexistsmanytendtosolvetheproblem,thispapermainlyfoundfortheproblemorproblemsandmakessomeimprovement.ImplementationofDynamicSlicingSystemBasedontheC++program.Theadvantagesanddisadvantagesofslicingtechnologyanalysis,proposedamoreefficientslicingtechniques,theobject-orientedprogramslicingmethod,objectorientedprogramslicingmethodusingthesimplifiedsystemdependencegraph,thiscanreducethedependencegraphgeneratingunnecessarytroublecomplexsystem.Hastheguidingsignificancetothedevelopmentoftheslicingtechnique.Objectorientedprogramslicingmethoddependencegraphofthefirstsystem.Thesystemdependencegraph,themostcriticaldrawbacksystemdependencegraphistoocomplex,inadditionthekeysectio