论文部分内容阅读
针对测试路径覆盖的可行性问题,给出了一种新的面向路径测试覆盖准则的测试数据自动生成工具.并对Length_N路径覆盖准则进行了定义,运用该准则对被测程序进行静态分析,得到完整路径表（CFG_PT）,结合程序插装技术和遗传模拟退火算法自动生成测试数据.实验表明,该工具在实际应用中有较好的效果.
面向路径的测试数据自动生成工具
【摘 要】
：
针对测试路径覆盖的可行性问题,给出了一种新的面向路径测试覆盖准则的测试数据自动生成工具.并对Length_N路径覆盖准则进行了定义,运用该准则对被测程序进行静态分析,得到完
【机 构】
：
四川大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2007年15期
【基金项目】
：
国家中小企业创新基金资助项目（06C26225101730）,四川省科技厅基金资助重点项目（05GG021-003-2）
其他文献
粗看这个案子，医务界的同仁们可能要叫屈。这是一个难度很大的手术，而且医生似乎没有大的过错，最终却还是要承担不小的责任。果真有这样的认识的话，那么可以说医务界对医疗损害的
目的观察米非司酮预处理后行腹腔镜子宫肌瘤剔除术的效果及安全性。方法选择我院2005年5月～2010年5月拟行子宫肌瘤剔除术98例（肌瘤直径均〉5 cm）,术前应用米非司酮预处理52例纳
提出引入生物信息技术解决Web挖掘中的用户识别问题的设想及基于隐马尔科夫模型的虹膜识别方法,该方法仅需要虹膜的方向域作为输入参数,对虹膜图像的噪声与扭曲并不敏感,从而使该方法具有鲁棒性的特点。通过准确识别用户,克服了现有Web体系无状态的缺陷,可以实现对Web日志数据按"用户维"进行切片,使挖掘出的结果能够满足对用户个性化使用的需求。
目的分析平板运动试验中出现ST-T假性正常化原因及临床意义。方法 对1例按Bruce方案进行平板运动试验中出现ST-T假性正常化患者的临床资料进行回顾分析。结果本例因反复发作
为建立装备战损评估决策支持系统的需要,对装备战损等级评定方法进行了研究。分析了装备战损等级的划分标准、评判因素以及评估信息来源,建立了适应决策系统实际需要的评定流
吴军,中国扬琴学会副会长,中国音乐家协会理事、新疆兵团音乐家协会主席,中国文联授予全国“百名优秀青年文艺家”称号,国家文化部授予“文化部优秀专家”称号。16岁时,吴军
随着生态问题的突出,党和国家将生态文明建设写入党章并摆在五位一体总布局的高度来论述,使生态文明建设的战略地位更加明确。生态文明建设旨在人与自然协调发展,其理论依据
自2007年《中华人民共和国农民专业合作社法》首次颁布以来,我国从法律层面确定了农民合作社的市场主体地位,农民合作社成为带动农民共同致富和实现农业现代化的重要载体。但
目的观察三氧化二砷（arsenic trioxide,As2O3）诱导人肺腺癌A549细胞增殖和凋亡的形态学改变及计数变化。方法体外培养A549细胞至对数生长期后随机分为实验组和空白对照组。实验
目的探讨喉新生物的不典型临床表现，以减少误诊。方法回顾性分析4例误诊为支气管哮喘的喉新生物临床资料。结果4例均有咳嗽、咳痰、喘息，并出现渐进性呼吸困难，以支气管哮喘收入