基于CPN的软件开发过程建模.pdf

《基于CPN的软件开发过程建模.pdf》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、中国石油大学（华东）硕士学位论文基于CPN的软件开发过程建模姓名：李青申请学位级别：硕士专业：计算机应用技术指导教师：朱连章20090501摘要随着计算机软件项目规模和复杂度的日益增大，软件产品的质量问题逐渐突出。在软件开发的需求分析、概要设计和详细设计等阶段，建立一个能够准确描述和分析开发活动的软件开发模型，已成为成功实现软件开发的重要手段。有效的软件开发模型可以尽早地发现设计早期阶段的错误，降低软件开发的成本和风险，提高软件的开发质量和效率。本文提出利用CPN建立和分析软件开发过程模型，使用CPNTools对软件开发各个阶段进行建模，针对仿真中的问题提出改进办法，用仿真结果说明改进

2、后的模型能够提高软件性能。在软件开发的需求分析阶段，以方案设计系统为例建立基于CPN的需求模型，利用状态空间验证需求模型的正确性，找出需求模型缺陷，提出需求的优化模型，保证开发人员和客户理解的一致性。软件开发的概要设计阶段提出对软件重要的模块或数据库建模，对分布式数据库中两阶段提交协议建立模型，利用数学分析和数据监视法分析模型性能。实例证明CPN是概要设计阶段提高软件性能的有效手段。软件开发的详细设计阶段采用CPN描述算法，通过仿真分析评价算法性能，同时给出算法模型向代码转化的规则。通过CPN在软件开发各个阶段上的应用，说明软件开发中采用着色Petri网技术可以有效的避免软件开发周期的

3、反复，优化软件性能，提高软件开发的可靠性，从而保障整个软件开发过程的顺利进行。关键词：着色Petri网、软件开发模型、正确性验证、性能分析ModelingofSoftwareDevelopmentProcessBasedonCPNLiQing(ComputerApplicationTechnology)DirectedbyProfessorZhuLianzhangAbstractAlong谢thincreasinglyexpansionofthescaleandcomplexityofthesoftwareproject，thequalityproblemoftheproducthas

4、graduallybeenhighlighted．Atsomestagesofsoftwaredevelopment，suchastherequirementanalysis，summarydesignanddetaileddesign,etc，softwaredevelopingmodelthatdescribesexactlyandanalyzesdevelopingactivityshouldbeestablished，whichisanimportantmeasuretoachievethesoftwaredevelopment．TheerrorCallbefound、)I，i

5、thaneffectivemodelofsoftwaredevelopmentasearlyaspossibleinthedesignstage，whichnotonlyreducethecostandriskofsoftware，butalsoimprovethequalityandefficiencyofsoftwaredevelopment．Inthispaper,itputsforwardtoestablishmentandanalysisoftheprocessmodelofthesoftwaredevelopment、ⅣitllCPN，makesmodeling谢thCPN

6、Toolsforeachstageofsoftware，andsuggestswaytoimprovetheproblemsatthesimulation，andexplainsthattheimprovedmodelCanimprovetheperformanceofthesoftware．Attherequirementanalysisstageofsothvaredevelopment，takingthesystemofprojectdesignasanexample，weestablishtherequirementmodelbasedonCPN，validateitsaccu

7、racyaccordingtothestatespace，findoutthedefects，introducetheoptimizationmodelandtheconsistencyoftheunderstandingkeepbetweendevelopersandcustomers．Thestageofsummarydesignsuggeststoestablishmodelsfortheimportantmoduleanddatabas