【摘 要】
：
减少误报和漏报是基于缺陷的软件静态测试的核心问题之一，应用路径敏感的检测算法是减少误报的重要手段。本文提出了一种多项式复杂度的路径敏感缺陷检测算法，该方法采用变量的
【机 构】
：
北京邮电大学 网络与交换技术国家重点实验室，北京 100876
【出 处】
：
中国计算机学会全国软件与应用学术会议(NASAC2009)
论文部分内容阅读
减少误报和漏报是基于缺陷的软件静态测试的核心问题之一，应用路径敏感的检测算法是减少误报的重要手段。本文提出了一种多项式复杂度的路径敏感缺陷检测算法，该方法采用变量的抽象取值范围来表示属性状态条件，通过属性状态条件中的变量抽象取值范围为空来判断不可达路径，并在所有控制流汇合节点上合并相同属性状态的状态条件从而避免完整路径上下文分析的组合爆炸问题。该算法已应用于缺陷检测系统DTS(Defect Testing System)，实际测试结果表明该方法能够有效地减少误报。
其他文献
——养老保险福建省于1985在全国范围内率先实现企业职工基本养老保险省级统筹,目前全省企业职工基本养老保险参保人数达到407万人,其中领取养老金人数为
- Pension Insuran
中央银行、银监会的“房贷新政”公布已半月之久,而关于“第二套房”如何界定,目前仍是一道糊涂题。由于没有第二套(含)以上住房具体认定标准,给各家商业银行具体执行带来了
2008年俄罗斯推出了一部影片,自从其预告片在网络上公布以后,立即激起了包括笔者在内的海战爱好者的浓厚兴趣。在这个预告片里,有日俄战争时期的驱逐舰布雷的场景,还有前无畏
就地产发展而言,天津远远落后于同样是直辖市的上海、北京等城市,甚至省会城市杭州都曾将其远远拉下。但从2005年开始,天津走向地产大市的势头不可阻挡。到了2007年,情势更加
软件开发早期对可靠性进行分析对于构造满足可靠性需求的软件有着重要的作用。软件模型是软件开发早期最主要的制品，它与可靠性分析所用的数学模型之间在语法和语义上存在较大
日趋成熟的Internet环境为软件服务的发布和使用提供了有力的技术支持，从而使大量开放软件系统，如网构软件，开放资源联盟等，可通过动态的服务组合与协作的方式构建，其中选取可信的
一个人的成功,除了主观因素,往往离不开他人的帮助。这就是人们常常说的遇到贵人。鲁迅的一生,有两次陷入困境,两次都是蔡元培先生帮他度过的,蔡先生是他的同乡加前辈。很难
本文介绍了一种基于自动机理论的参数化LTL公式的运行时预测监控器合成方法。参数化LTL公式是描述与系统中动态对象和数据结构相关性质的有效途径，因此本文一方面研究参数化LT
整数溢出错误是一类极其隐蔽的错误，经常能逃过高可信软件发布前严格测试并造成严重后果。本文提出了一种完全自动地二进制级整数溢出错误全面发掘方法(DAIDT，Dynamic Automati
针对开放环境中的分布网络软件可信保障问题，提出了将监控纳入软件构造和运行时的可信保障框架．该框架为程序员提供了表达监控需求的语言MRL，将监控需求编译为方面代码并植入系