简介:用不同于已有的方法证明了任意实Banach空间中一致Lipschitz强连接伪压缩算子在具误差的修正的Mann迭代和具误差的修正的Ishikawa迭代下收敛和稳定的等价性,其中迭代参数{βn}仅需limsupn→∞βn〈k/L(L+1),这推广和改进了目前需假设limn→∞βn=0和两迭代程序初始点的取值需相同条件下的已有结果.
简介:基于软件维护性尽早、全过程迭代验证的思想,提出了贯穿软件生命周期的维护性迭代验证策略及过程,建立了基于功能块平均维护时间的维护性迭代验证模型。通过阶段性地开展软件维护性验证,可及时发现软件维护性设计缺陷并及早更改,避免造成严重的维护性质量问题,大大降低软件使用阶段的维护费用,提高软件系统的完好率。通过制定规范的软件维护性验证策略和方案,规范了软件维护性验证实施过程,为软件维护性验证人员提供了可行的操作指南,也为软件维护性验证平台开发人员明确平台需要提供参考。实例验证结果表明:所提出的软件维护性迭代验证方法是有效、可行的,可为软件研制人员提供理论指导,也为软件使用和维护人员制订软件维护计划、配置软件维护资源提供决策依据。
简介:在算法的分析与设计中,递归和迭代都是特别有力的工具,很多难解的问题都是通过递归或迭代算法解出来的。本文在比较这两种算法在不同情况下的可行性的基础上,阐述了怎样对这两种算法进行有效的选择。
简介:针对传统瀑布式测试不再适用于迭代式软件开发,探索式测试有效却复用性差的问题,提出了在测试设计阶段采用质量属性、用户场景和业务逻辑(QUB)设计方法框架进行探索式测试,并结合思维导图进行测试设计.应用实例表明,该测试方法为快速迭代开发模式下的系统测试提供了-种新思路,有利于提高迭代开发测试的效率与质量.