【摘 要】
:
在评估软件可靠性之前,必须要进行软件测试.该文采用遗传算法来进行测试算例的自动生成,重点对于两类典型的遗传算法--杂乱遗传算法和遗传K-均值算法进行较为详细的分析,从而
论文部分内容阅读
在评估软件可靠性之前,必须要进行软件测试.该文采用遗传算法来进行测试算例的自动生成,重点对于两类典型的遗传算法--杂乱遗传算法和遗传K-均值算法进行较为详细的分析,从而较好的解决了软件测试中测试算例自动生成及被测软件可靠性评价的实际问题.该文根据产生有效测试点原因的不同,提出了一种较为新颖的测试算例生成策略,将种群相似度的概念引入到杂乱遗传算法的编码方式中,从而给出了一种补码方法,能有效进行遗传算法的交叉操作,运算结果较为理想.另外,将遗传算法的思想和K-均值算法相结合,使得K-均值算法可以在无监督的情况下,从输入数据中自发地找出有意义的遗传规律.通过实例可以发现,该方法能较好地解决从输入算例中自发进行搜索聚类的问题.该文对软件可靠性进行了系统的讨论和研究.首先介绍了软件可靠性的主要评估指标及其各指标之间的关系,并对软件可靠性评价模型进行了分类;其次按照优先级对软件的错误级别进行了分类,针对某型号软件的特点,对各个优先级分别选取适当的软件可靠性评价模型;最后,对于Schneidewind模型、Jelinski-Moranda模型和Goel-Okumoto模型进行了数值分析,并给出了具体的算法和数值试验结果.软件测试算例的自动生成是实现软件测试自动化的关键.这一技术的实现可以节省用于软件开发的时间和费用,因而具有实际意义.
其他文献
有效的课堂教学过程应该是师生互动、共同发展的过程.然而,在新课程实施多年之后的今天,我们依然发现部分老师仍旧“穿新鞋、走老路”,在平时教学中坚持传统的教学方法.教师
本文首先分析了班主任管理之中常见的问题:管理意识比较弱化;班主任结构混乱;班主任管理制度不足够完善,分析增强中职班主任管理工作的对策:转变班主任管理理念;完善班主任管
本文主要研究对象是全纯凸流形上赋有奇异度量的全纯线丛.在恰当的曲率条件下,我们得到一些带乘子理想层(multiplier ideal sheaves)的上同调群的性质,包括消没定理,有限性定理
该文利用算子约化理论的思想,引入了一类特殊的向量丛-s-Bundle的概念,并进而定义了它的BIR(HIR)分解.刻划了s-Bundle的一些特殊性质.对特殊的s-Bundle,给出了其BIR分解在相
本文是“机动车牌照自动识别系统”课题研究的一部分。“机动车牌照自动识别系统”(VLPRS-Vehicle License Plate Recognition System)是北京市公安交通管理局主持开发的重大
三维射影几何的线几何模型有许多良好的性质,例如三维射影变换的李代数sl(4)同构于Cl(3,3)的2-向量代数;线几何与三维刚体运动的经典螺旋理论密切相关。同时该模型也有许多缺陷
该文的研究目标是从时间序列集中挖掘偏离程度高的序列集-Top-k例外集.首先,针对现有例外模式定义存在的不足,该文提出了一种新的例外模式度量方法.例外模式具有全局性和局部
该文的主要内容如下:第一部分,利用势为n的均匀概率空间的无穷乘积,在一类n值命题逻辑系统中定义了公式的α-真度及真度概念;在五种三值命题逻辑系统I及Lukasiewicz n值(4≤n≤
本文主要围绕有限CW-复形的分类和不可分解空间压挤乘积的同伦分解这两个同伦论中的基本课题,对Akn-复形,即(n-1)-连通,胞腔维数≤n+k(n≥k+1)的有限CW-复形进行了一些研究. 一
该文主要从两方面讨论连续Domain理论中的几个问题.一方面在经典Domain理论中,对连续Domain本身的性质进行了深入研究,得到连续Domain的许多类似连续格的性质,给出了连续Doma