【摘 要】
：
目前的数据流测试技术存在缺乏具体的数据驱动方法,测试用例的生成过程没有与测试需求结合起来等问题。基于此,文中提出一种自动生成测试用例的模型（TRGA）,利用控制流图（CFG）计算
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京大学计算机软件新技术国家重点实验室
【基金项目】
：
基金项目：国家自然科学基金资助项目（41301407）
论文部分内容阅读
目前的数据流测试技术存在缺乏具体的数据驱动方法,测试用例的生成过程没有与测试需求结合起来等问题。基于此,文中提出一种自动生成测试用例的模型（TRGA）,利用控制流图（CFG）计算生成测试用例所需的变量的定义使用对,使用数据类型结构图（DTG）来作为创建测试对象的数据驱动,利用遗传算法的搜索能力来生成数据,并提出了一种新的适应度计算方法。实验结果表明,该模型能够在减少搜索时间,降低生成测试用例规模的同时达到较高的测试覆盖率。
其他文献
解答实际应用问题的关键是建立数学模型，我们所遇到的数学模型绝大部分是函数模型。建立函数模型的一般途径是：先找到有关两个变量的方程，再化简方程，把化简后的方程转换成所要求的函数，最后确定该函数的定义域。实际上，建模的方式也有许多不寻常的路可走。 一、观察散点图，探求建模途径
上世纪90年代初，16岁的廖方红怀揣沉甸甸的创业梦想，在江西赣南这片土地上创建了赣南方大饲料厂（后更名为“加大集团”）企业凭借自创的优质乳猪熟化饲料、“饲料＋种猪”的经营模式
复旦大学发表了一项关于水溶液锂电池体系的最新研究，可将锂电池性能提高80%。电动汽车只需充电10s即可行驶400km，这种电池成本低廉，安全性高。集合与函数是同学们进入高中首先接触的内容，它是高中数学的重要内容之一，也是历年高考的必考内容，其重要性不言而喻。下面对这部分的知识点、考点进行归纳，以供大家学习参考。 一、知识点归纳 1.集合中的元素具有确定性、互异性、无序性三个特征，其中互异性是考
文中在理解域名解析系统结干句的基础上，针对DNS系统面向主机解析存在的缺陷，将一体化网络中面向资源的解折机制引入DNS系统．提出了兼容DNS的资源解析系统。该系统在原有DNS的查
若f1（x，y）=0对应于曲线C1（含直线）f2（x，y）=0对应于曲线C2（含直线），则f1（x．y）＋λf2（x，y）=0（AER）是与曲线C1，C2有关的曲线系方程．当曲线C1，C2有公共点P（x0，y0，）时，曲线系也过点P（x0，y0）；当曲线C1，C2没有公共点时，
匀变速直线运动是最简单的变速运动,而复杂运动则可以看作多个简单运动的合运动,可以通过分解为简单运动来研究其规律。所以学习匀变速直线运动很重要。下面结合自己的学习体
集合是同学们在高中所接触的第一个数学概念，是高中数学的基本知识，是现代数学的基本语言，是每年高考必考内容之一。集合可与函数、方程和不等式等知识结合起来进行考查。下面介绍集合的知识点及常见题型，以供同学们学习与提高。 一、集合的概念 （1）集合元素的三个特征：确定性、互异性、无序性。（2）元素与集合的关系是属于或不属于关系，用符号∈或表示。（3）集合的表示法：列举法、描述法、图示法、区间法。（4
循环结构主要有两种形式：当型循环结构和直到型循环结构。大家在学习时，要注意以下几种情况。
◎有人曾向诺贝尔物理奖获得者伊西多·拉比询问他的成才之道，拉比回答说，小时候每天放学后母亲都会问他当天的学习情况，她对儿子一天所学内容并不感兴趣，但她总是会问：今天你
上个世纪80年代末,欧洲和美国就陆续宣布禁用＂瘦肉精＂-盐酸克仑特罗,但在90年代初却在欧洲许多国家都出现了多次严重的中毒事件,成为监控重点,但至今使用仍未绝迹,还演绎出10多