【摘 要】
：
本文通过构造新的程序流图,利用Fibonacci法优化选取路径,为指定的分支生成测试数据.提出了路径测试数据生成代价的概念,并给出了代价的计算方法.当所选路径的分支谓词均为线
【机 构】
：
西安交通大学计算机软件研究所,西安,710049
【出 处】
：
第十五届全国测试与故障诊断技术研讨会
论文部分内容阅读
本文通过构造新的程序流图,利用Fibonacci法优化选取路径,为指定的分支生成测试数据.提出了路径测试数据生成代价的概念,并给出了代价的计算方法.当所选路径的分支谓词均为线性表达式时,直接求解线性约束集即可生成测试数据,或判定路径不可行;当分支谓词含有非线性表达式时,利用均差近似导数将非线性函数线性化,通过简单的迭代,亦能容易生成测试数据或判定路径在很大程度上不可行.若所选路径不可行或在很大程度上不可行,则选取新的路径,重复以上过程,直至求出所期望的数据,或无新的路径被选取,给定分支不可达.实例和实验表明,算法可行、有效.
其他文献
随着我国加入WTO和经济全球化,实施技术创新和低成本战略已成为我国石油产业发展的基本战略.同时,随着人们对环保和节能的逐渐重视,越来越多的石油工程都采用了先进的环保和
本文介绍国内解决在电网"晃电"时保证低压电动机不停车或"晃电"结束后低压电动机可靠再启动问题的几种方案,并进行比较.
本文对树立科学发展观,建设创新型发酵行业进行了探讨。文章围绕发酵工业在食品工业的地位和为国民经济的贡献、发酵工业面临的机遇和挑战、"十一·五"期间发酵行业发展方向
本文对诺维信(中国)公司可持续发展管理进行了介绍。该企业开发了一种棉清洗工艺,以经济、环保的方式代替经常用于该工艺的化学物质,能够减少环境污染、节约能源和水资源。
他,带有泥土的芳香,迈营矫健的步伐,从田野走上时代的讲坛。他在参加武威地区“四有”报告的日子里,对人们议论不休的人生价值问题,用自己的亲身实践作出了响亮的回答:人生
本文对诺维信的可持续发展管理进行了介绍。文章围绕诺维信的可持续发展观和诺维信实现可持续发展的案例进行了论述。
本文介绍了航天器热模拟环境试验中通过仿真真实的实验结果,并且利用了系统辨识的方法得到热环境模拟器与航天器之间的热控模型.最后的结果表明,这种方法在解决相似航天器以
Rose is a kind of favorite ornamental plant. This article briefly introduced the cultivation and the use of rose around the world both in ancient time and nowad
本文综合星型及环形拓扑结构的优点,提出了一种用于未来光传操纵飞机的超高速实时光纤网络设计方案.余度设计技术和分布式共享内存策略增强了整个系统的可靠性及容错性能.内
本文首先介绍了无功补偿的基础理论知识和当今无功补偿技术的发展情况及趋势,并对暂态稳定的概念、控制的重要性,及其应用所带来的经济效益进行分析.