论文部分内容阅读
简要介绍了逆向建模测试的相关概念;给出了逆向建模测试的过程;系统介绍了逆向建模测试过程中测试用例生成的方法;提出了一种利用参数约束关系的逆向建模测试用例集精简方法,并给出了该方法的相关实验数据。
逆向模型测试中的测试用例集生成方法
【摘 要】
：
简要介绍了逆向建模测试的相关概念;给出了逆向建模测试的过程;系统介绍了逆向建模测试过程中测试用例生成的方法;提出了一种利用参数约束关系的逆向建模测试用例集精简方法,
【机 构】
：
安徽建筑大学电子与信息工程学院
【出 处】
：
上饶师范学院学报
【发表日期】
：
2017年3期
【基金项目】
：
安徽省教育厅自然科学基金（KJ2011B041）,安徽建筑大学博士及引进人才基金资助项目（建院函（2012）33号）,安徽省教育厅自然科学研究重点项目（KJ2016A155）
其他文献
本文分析了当代印度建国至今国家创新系统的演进过程。文中将这一演进过程分之为两个时间段，即独立建国到经济体制改革时期（1947-1991），以及上世纪90年代初期至今的经济体制改革
日本研制出一种“完全装备型活鱼运输车”。这种车备有水槽设施、输送车专用冷却循环装置．盒式暖房交换器等全套装备，不仅可运输常见的比目鱼、车虾等水生动物．连特别准运输的活
大庆市作为全国重要的石油和石油化工工业基地,但同时作为资源型城市也不可避免地具有产业结构单一、结构失衡、基础设施不足、经济辐射力弱、生态环境破坏严重等先天性弱点
为适应渔船分散经营的生产方式，完善“三产”服务，辽宁省营口市老边区路南乡新兴村渔民成立了渔民协会，深受渔民的拥护。
鄱阳湖是我国最大的淡水湖，也是全国重要淡水渔业基地之一。近年来，由于多种原因，渔业资源急剧衰退，面临枯竭的危险，产量锐降，品种减少，个体小型低龄化。保护增殖鄱阳湖渔业资源，已成
滑坡治理是工程建设过程中常见的问题，以某油库边坡为分析对象，通过滑坡的特征对滑坡原因进行综合分析，在正确认识边坡的基础上，提出了多种支护方法综合应用和优化组合的治理方案
拟态环境不是现实环境的复制, 但却以真实的方式构筑和影响了人们生活的价值空间.拟态环境的碎微化破坏着人们对社会主义核心价值观认识的整体性, 虚假性侵蚀着人们对社会主
广东省番禺县新垦镇与香港商人合作经营的新利水洋养殖场，养殖尖吻鲈500余亩获得成功，商品鱼于9月开始陆续上市，预计总产将超过80吨，总产值约300多万元。