论文部分内容阅读
测试数据生成是软件测试的核心与关键，本文介绍了迭代松弛法以及对迭代松弛法进行改进，改进后的方法比原方法生成测试数据的能力更强，不仅能够用于白盒测试数据的自动生成，还能够用于黑盒测试数据的自动生成。在此基础上提出一个面向路径的测试数据生成框架。并讨论该框架在单元测试、组装测试中的应用。
面向路径的测试数据生成框架及应用
【摘 要】
：
测试数据生成是软件测试的核心与关键，本文介绍了迭代松弛法以及对迭代松弛法进行改进，改进后的方法比原方法生成测试数据的能力更强，不仅能够用于白盒测试数据的自动生成，还能够
【机 构】
：
中国科学院新疆理化技术研究所
【出 处】
：
微计算机信息
【发表日期】
：
2010年6期
其他文献
我国刑事赔偿对无罪错拘、错捕、错判采取无过错责任原则,对其他刑事赔偿事项均采取违法归责原则,因此对无罪的人合法使用武器、警械以及对其财产合法的查封、扣押等行为的赔
本文介绍的数据库模型编辑器是一个进行数据库模型设计的图形化的编辑器。采用开放平台Eclipse和图形编辑器框架（GEF）,以Eclipse插件的方式运行。实现了对数据库中表的创建和表
设计了一款适用于对讲机系统的低噪声可编程锁相环,对该锁相环系统的各部分电路进行了详细地分析,并给出了仿真结果以及系统版图。
目的:总结1例不明原因消化道出血患者应用单气囊小肠镜检查的护理配合体会。方法:在无痛麻醉下经口进镜行单气囊小肠镜检查,充分术前准备,术中与医生密切配合、观察病情变化,
本文以一电子产品公司的交易系统为原型,提出了一种基于Web Services技术实现商业实体间信息共享的改进方案,基于J2EE技术设计并实现了一个原形系统。不同商家的商务系统可以
上消化道出血是一种临床常见的消化科急症,具有反复发作、发病迅急的特点,病死率高,达到8%~13.7%,并且老年人多于中青年人。杜氏病、溃疡等是引发上消化道出血的重要原因,患
我国加入WTO以后,农产品面临着激烈的国际市场的竞争,高度分散的小农经营方式和重复单一的农产品及农业生产效率的低下成为制约我国农村发展的瓶颈。因此,必须建立土地流转机
2021年1月28日,沈阳农业大学李天来/许涛团队在《PlantPhysiology》发表题为"Sl ERF52 regulates Sl TIP1;1 expression to accelerate tomato pedicel abscission"的学术论
Web认证系统已广泛应用于互联网的诸多领域,通过静态口令方式进行身份认证的安全性已成为Internet服务系统的隐患。引进验证码可增强Web认证系统的安全性,运用AJAX技术使用户