【摘 要】
：
以程序结构测试自动生成为研究背景，提出了一种重叠路径结构用以描述程序路径，并以此为基础设计了一种多路径测试数据生成适应值算法，实现了一次搜索完成多条路径的测试数据生成
【基金项目】
：
国家科技支撑计划No.2009BAI79B03;国家自然科学基金No.60906050/F040604;航天医学基础与应用国家重点实验室开放基金资助项目No.SMFA09K08~~
论文部分内容阅读
以程序结构测试自动生成为研究背景，提出了一种重叠路径结构用以描述程序路径，并以此为基础设计了一种多路径测试数据生成适应值算法，实现了一次搜索完成多条路径的测试数据生成。算法通过目标路径间共享遗传算法产生的中间个体减少单一路径搜索始于随机产生的无序个体的初期迭代，从而加快搜索收敛的速度。应用于常用的基准程序和取自实际项目的程序，该算法与典型的分支谓词距离算法相比平均消耗时间缩短了70．6％。
其他文献
研究背景阻塞性睡眠呼吸暂停低通气综合征(obstructive sleep apnea—hypopnea syndrome,OSAHS,)是指由于患者睡眠时上气道完全或部分阻塞,或伴有呼吸中枢驱动降低,从而导致
目的建立猪肉和猪肝中烯丙孕素残留测定的超高效液相色谱-串联质谱法(ultra performance liquid chromatography-tandem mass spectrometry,UPLC-MS/MS)。方法肌肉和肝脏样品
民法是权利法,权利体系的构建对民法有重要作用,形成权是民法权利体系中的新成员,本文介绍了形成权概念及其由来,阐述了形成权在大陆法系国家的发展,本文认为形成权属于变动
近年来，国内外企业产品伤害危机频繁发生，干扰了企业利益相关者的正常生产和生活，也对社会造成了严重的负面影响，从而引起了社会各界的广泛关注。伴随着产品伤害危机的发生，在一定
单细胞蛋白酵母是菌类蛋白饲料，其生产方法是以动植物蛋白、淀粉、水解糖和无机盐为基料，经多种酵母菌和产赖氨酸的杆菌共同发酵而成，单细胞蛋白占总蛋白６０％以上，并含有丰富的维生素
由于医疗行为存在高风险性的特征,这就使医方和患方在诊疗过程中都要承担相对的风险。一旦发生这些风险,难免会发生纠纷。医疗技术发展的局限性,人类疾病多样性的特征,以及患
自1985年中国银行发行国内的第一张银行卡到至今,中国的银行卡业务经过几十年的发展,己具备产业化发展基本格局的雏形,其中随着中国农业银行业务的快速发展,其银行卡产品品种
本文通过建立一般均衡下单方程模型,根据1980~2003年的年度数据,利用单位根检验、协整分析、误差修正模型对人民币的均衡汇率进行实证分析。本文研究认为①20世纪80年代以来,
西部少数民族地区的经济发展是中国经济发展战略的重要组成部分,西部大开发为少数民族地区经济发展提供了契机.发展经济学的资本形成理论认为,资金是欠发达地区经济发展的瓶
受全球金融危机的影响,国际市场外需低迷。2015年,我国对外贸易出现“双降”的现象,而此时跨境电商B2B模式交易额度却呈现较高的增长速度,在我国对外贸易中的占比也有所增加