【摘 要】
:
计算机软件在军用装备中所占比重越来越大,软件质量的好坏决定着装备质量的高低,而软件测试则是提高软件质量的重要手段。UML状态图是一种广泛用于基于模型测试的建模方法,迁
【基金项目】
:
国家安全重大基础研究计划No.613315~~
论文部分内容阅读
计算机软件在军用装备中所占比重越来越大,软件质量的好坏决定着装备质量的高低,而软件测试则是提高软件质量的重要手段。UML状态图是一种广泛用于基于模型测试的建模方法,迁移覆盖是其中重要的测试覆盖准则。状态图中迁移之间的依赖关系会使得迁移路径不能按照输入序列来执行,从而导致覆盖率的下降,影响测试效果。为此,提出了一种改进的分组遗传算法来实现可执行迁移路径的自动生成,该算法通过合理设计编码方式和适应度函数来解决问题。算法在遗传操作中引入自适应的交叉和变异算子以及模拟退火机制来提高求解速度,加入修补算子对个体长度
其他文献
目前,我国糖尿病的发病率很高,因糖尿病而致盲的患者也日益增多,对于维持糖尿病性视网膜病变患者的视力,及时、合理的治疗十分关键。屈光介质清楚的患者,视网膜激光光凝术是非常有
P-糖蛋白(P-gp)是一个ATP依赖性药物外排泵,可影响药物代谢动力学,是导致药物吸收差以及肿瘤多药耐药性产生的重要因素。综述P-gp抑制剂的作用机制和具有P-gp抑制作用的药用辅料
为了提高铬刚玉砖的抗热震性,在铬刚玉砖配料中添加不同量的红柱石等量取代相同粒度的电熔白刚玉,经混练、成型、干燥、烧成后,检测其致密度、常温强度、常温耐磨性、高温抗
研究了面向数字地球的虚拟现实系统关键技术,提出了多层场景引擎(MLSE)、视点相关动态多分辨率地形模型(VDDMTM)和ActiveX构件网络模型.MLSE采用层机制集成多元数据,实现场景
【正】集科研、经验优势于一身的企业长沙中和制药机械有限公司(以下简称"中和制药机械")始建于1996年,原名长沙市岳麓区中南制药机械厂,2000年更名为长沙中和制药机械有限公
在信息技术高速发展以及国家大力推动信息化和工业化深度融合的背景下,实现装备制造业信息化已成为我国装备制造企业发展壮大、应对全球化竞争的迫切需要。但是事实上很多装备制造企业在信息化实施过程中出现了“IT黑洞”或“信息孤岛”的现象,为了避免这种现象的发生,有效的信息化规划必不可少。本文以某装备制造企业S公司作为研究对象,在对信息化规划理论进行综述的基础上,分析S公司的业务现状、企业战略目标以及信息化现
为了提高高压蒸汽管道超声检测的效率,研究了超声导波在高压蒸汽管道缺陷检测中的应用。通过试验对比,设计并实践了高频导波换能器,确定了高压蒸汽管道高频导波检测灵敏度,为实现
土壤粒度、pH值、有机质、盐基离子等理化性质是评价土壤质量的重要指标,土壤理化性质在不同程度上受到土地利用方式的影响,土壤粒度、有机质、pH值受影响较大。通常,林地植
在高等数学教学过程中,高阶常系数非齐次常微分方程解法只有几种.比如,在解决齐次线性方程的时候所利用的特征代数方程,在本文当中提出了常系数线性非齐次常微分方程的其他解
近几年来气象灾害的发生频率很高,给广大人民群众的生产生活带来了很多不利的影响。气象灾害对于农村的影响是最大的,而当前情况下我国乡镇气象防灾工作的整体水平还比较低,