论文部分内容阅读
随着人们对软件的需求越来越多,软件的复杂性也越来越高,开发软件的难度也随之越来越大,如何使软件开发有条不紊成为一个热点的研究方向。从过程的角度来改善软件的质量成为一种行之有效的方法,过程需要不断的演化才能适应用户不断变化的需求,而在演化过程中动态的加入可信属性可使整个过程更可信,能更好的满足用户的需求。过程的演化分为动态的演化与静态的演化,动态的演化更具有实用性。本文研究软件过程的动态演化,并采用高效的过程继承技术来检验实例的可迁移性。过程继承技术虽然很适合用来检验可信过程的可迁移性,但其局限性较大,本文在多色集合的相关理论基础上提出了基于基本结构的Petri网分解方法并证明了这种分解方法符合Petri网的一些基本且重要的性质,用这种方法能使按原计划不能一步迁移的多个过程分解开来多步迁移并尽可能保证其并行性。对于不支持过程继承的动态演化本文提出了结构调整演化,并写出了相关的演化算法框架。通过上述方法可使可信演化的成功率提高,使软件更可信。在软件的可信演化过程中往往会出现很多异常情况使整个软件演化过程中断,从而破坏了演化的自动性,降低了演化效率,为了解决这样的问题必须对可信演化的异常进行处理。首先对异常进行分类,找出可以在建模阶段解决的异常;然后对于可预测的异常提出基于Petri网的异常处理建模方法及异常处理框架并使用余弦相似性查找最符合的异常处理方法。总之,本文从建模到实例迁移再到异常处理,完整的研究了整个软件演化过程中运行实例的动态可信演化,这种可信演化对提高整个软件的可信性具有十分重要的实际意义。