【摘 要】
：
布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研究方向。介绍了基于故障的软件测试的基本概
【机 构】
：
北京科技大学计算机通信与工程学院,中国科学院软件研究所计算机科学国家重点实验室
【基金项目】
：
国家自然科学基金(60903003);北京市自然科学基金(4112037);中国科学院软件研究所计算机科学国家重点实验室开放课题(SYSKF1105);中央高校基本科研业务费资助项目(FRF-SD-12-015A);北京市优秀人才培养资助项目(2012D009006000002)资助
论文部分内容阅读
布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研究方向。介绍了基于故障的软件测试的基本概念与原理,归纳了布尔表达式的各种故障类型,讨论了不同故障类型之间的检测包含关系;评述了几类代表性的面向布尔表达式的测试策略,提出了一种比较框架并比较了各种策略的适用情形、故障检测能力与测试用例精简程度。针对现有研究工作的不足,探讨了几个值得研究的问题,简要介绍了近年来此领域的研究工作。
其他文献
我国自改革开放以来,旅游业发展迅猛。进入21世纪,由于人们回归自然的愿望愈加强烈,生态旅游逐渐取代传统的观光旅游。作为生态旅游主要目的地的森林日益受到重视,森林公园也
作为我国刑事诉讼的一项特色制度,退回补充侦查是刑事诉讼活动在进入审查起诉或庭审阶段后,出现事实不清、证据不足等问题而被迫停留或反复存在的,它是一种例外而非常态的程
结合实际以高速公路项目为研究对象,首先解析公路路基沉降的主要原因,而后在研究沉降机理的基础上,对施工控制技术措施进行详细的探讨,以期通过论述后能够提高高速公路路基施
以Ce（NO3）3·6H2O和Gd（NO3）3·6H2O为原料, NH4HCO3作沉淀剂, 用雾化共沉淀法合成了Ce0.8Gd0.2O1.9-δ纳米粉体. 用X射线衍射仪、透射电镜和比表面测试仪等分析测试手段,
采用身心症状自评量表、社会适应能力诊断量表以及数理统计等研究方法，在高校体育教学中运用拓展训练塑造大学生心理品质，研究拓展训练对提升大学生心理素质的独特效能。
近年来不少大、中桥梁事故频繁发生,在役桥梁的安全问题成为一个广泛关注的问题。对在役桥梁进行有效地评估具有重大意义。本文引入非概率可靠度基本理论,对这一数学方法如何
积极心理学是心理学界一股新兴的研究思潮,主张对人类美德等积极品质进行研究,倡导最大限度地挖掘自身的潜力,促进个人和社会的发展。积极心理学的教育理念积极乐观,为高校学
路基是道路的根本所在,道路工程整体质量以及效益和路基工程有着深层次的联系。因此,本文从不同角度入手客观剖析了市政道路路基工程施工工艺以及质量控制,高效控制路基施工
天然气水合物是天然气开采、加工和运输过程中在一定温度和压力下天然气与液态水形成的冰雪状复合物。在天然气开采及储运中,水合物的危害性很大,堵塞井筒、管线、阀门和设备
近年来,随着我国经济的持续发展和对外开放的不断深入,我国名牌事业也取得了很大发展,并逐步形成了系统化的名牌评估认定体系,开展了一系列从国家到省级、市级等不同层级的名