【摘 要】
：
为了测试程序指令的可达性,需要搜索可触发包含该指令的控制流路径执行的测试用例。该问题可等价为路径约束满足问题的自动求解,求解结果即为验证指令可达的测试用例。为了提
【机 构】
：
四川大学计算机学院,成都信息工程学院计算机系
【基金项目】
：
四川省重点科技攻关资助项目（05GG021）,国家科技型中小企业技术创新基金资助项目（06C26225101730）
论文部分内容阅读
为了测试程序指令的可达性,需要搜索可触发包含该指令的控制流路径执行的测试用例。该问题可等价为路径约束满足问题的自动求解,求解结果即为验证指令可达的测试用例。为了提高自动求解的性能,在前向检测算法基础上改进设计了R_BinSearchFC算法,算法结合了边界测试数据选取和二叉树搜索技术,可有效提高对数据空间的搜索速度,并可扩展到在实数域空间的求解搜索。实验结果表明,采用了启发式学习的R_BinSearch算法可自动生成有效的测试用例,完成对指令的可达性测试。
其他文献
据研究表明，合作学习与交流有助于青少年智力和身心的发展。青少年的智力和身心发展必须建立在其原有的实践经验之上，而与同伴的合作学习与交流则是给他提供补充这些实践经验的
话说从前有一位道士,名叫张果,隐居在恒州中条山修道,修成了长生不老之术。他到底有多大年纪,谁也说不清楚。当地一位八十多岁的老人说,他很小的时候就见过张果,那时张果就有
声回波对消中，双端语音检测用以判定远端语音是否混和有近端语音。为了提高双端语音检测性能，采用自适应声回波对消器输出信号（而非远端语音信号）与麦克风输出信号构建检测统计量
一、现象描述在课堂教学研讨中，我们经常能看到这样的一幕：在老师的激励下，许多孩子急于表现自我，都高高地举着小手。老师指名让一名孩子站起来表达，于是，有的孩子一屁股坐下．似乎为
采用阻燃芳纶/粘胶混纺纱作为表经表纬,普通纯棉纱线作为里经里纬,设计并成功织造了五种表层阻燃、里层舒适的阻燃双层机织物试样.通过对试样进行阻燃性能测试,结果表明,五种
在经济全球化迅猛发展的今天，英语已经成为全球化语言，在这种环境下，小学英语教学就显得尤为重要。但在实际教学课堂中，每一位学生的智力发展水平和英语接受情况不尽相同，尤其学生
小学阶段分为低年级和高年级两个阶段,在小学生们学会低年级阶段的语文初学技巧后,便要进入高年级开始深入的语文学习,及时进行课前预习能让课堂学习更加轻松容易,能够提高学
小学语文课程标准把写字教学摆在相当重要的地位。写字能力既是语文教育的重点,又是一项重要的语文基本功。教师要依据学生的年龄特征和身心发展规律,采取丰富多彩的教学活动
游戏是小学英语教学中的一种常见的手段。它可以激发学生学习英语的兴趣。让学生通过参与游戏使用语言，提高学生的语言应用能力。因此，一直以来．游戏都被广泛地运用在小学英语课