论文部分内容阅读
测试数据自动生成对降低软件开发成本是非常重要的.本文首先提出了基于程序结构和程序规范相结合来设计适应度函数的新方法：分别设计基于程序结构和基于程序规范的适值函数,再将二者结合作为最终的适应度函数值;然后,在采用上述适应度函数定义的基础上,构造了一种软件测试数据的进化生成方法.
一种新的软件测试数据的进化生成方法
【摘 要】
：
测试数据自动生成对降低软件开发成本是非常重要的.本文首先提出了基于程序结构和程序规范相结合来设计适应度函数的新方法：分别设计基于程序结构和基于程序规范的适值函数,再
【机 构】
：
安阳工学院计算机工程系,河南师范大学算机工程系
【出 处】
：
微计算机信息
【发表日期】
：
2007年21期
【基金项目】
：
河南省自然科学基金资助（0324220079）
其他文献
目的探讨不同剂量氯化汞制备小鼠急性肾功能不全病理模型的实验教学效果。方法小鼠腹腔注射氯化汞0.15mg/10g、0.2mg/10g、0.25mg/10g、0.3mg/10g,比较4个不同剂量组所致的急
提出了井下用电设备智能保护系统抗干扰设计的思想,从抑制干扰源、切断干扰传播途径、提高敏感元气件抗干扰性能三个方面提出了系统的硬件抗干扰设计方案,提出了软件抗干扰设
本文提出一种基于亚象素图象处理方法的游标刻度计算机读取算法,该算法使用二次曲线拟合的图像亚像素边缘定位算法,在不影响精度的情况下大大降低了对图象采集装置的要求,可使使游标自动检定设备的成本大幅度降低。
目的对中山市溶剂型涂料行业员工进行职业卫生认知水平调查。方法以问卷的方式对603名员工进行职业卫生相关问题调查。结果中资，台日资和欧美投资等3类企业，在职业卫生管理认知
科研团队是科技创新和科研攻关的重要载体,是获取和整合资源的有效组织形式。高校科研团队具有其特点与复杂性。该文通过调研,聚焦海洋领域的科研团队建设,并根据组织模式的
为获得白菜收获机在切根过程中的最佳切割参数,试验采用自主设计的白菜收获机头。根据不同试验的特点,分别采用多因素正交试验和二次回归正交旋转组合试验,对白菜进行切根试
本文在讨论了故障和容错机制与故障注入模型相关的几个问题之后，提出了一种形式化的故障注入模型框架，并给出了其应用算法。
目的通过对装甲车舱室内CO浓度测定以及作业人员神经行为测试，分析CO对人体神经行为的影响。方法设立观察组和对照组，采用气体自动监测系统对舱室空气中CO浓度进行测试，采用神经