【摘 要】
:
软件测试是一种软件质量保证活动,目的是通过切实可行的测试方法,发现软件中可能存在的缺陷,来保证软件质量,提高软件的可靠性。本文通过对DTS中现有的文件单元处理策略的分
论文部分内容阅读
软件测试是一种软件质量保证活动,目的是通过切实可行的测试方法,发现软件中可能存在的缺陷,来保证软件质量,提高软件的可靠性。本文通过对DTS中现有的文件单元处理策略的分析,发现其存在中间文件中头文件的重复展开问题和全局文件分析次序问题。其中,第一个问题会导致中间文件的规模冗余,影响后续静态分析单元的处理效率。第二个问题则是未能充分考虑到文件之间的依赖关系,导致文件的串行分析效率低下。针对第一个问题,本文提出了中间文件化简处理策略。该策略针对中间文件的重复头文件展开进行处理,并合理处理被删除的头文件部分。针对第二个问题,本文提出一种可并行分析的文件次序处理策略。该策略基于全局文件依赖关系,分离出相互之间没有关系的文件单元进行并行分析,后续关联单元串行分析。作者在软件缺陷检测系统(Defect Testing System,DTS)中编码实现了上述二种策略,并通过相关实验来检测这些策略的有效性。中间文件化简策略的实验结果表明,该策略能够有效的减少中间文件的规模,缩短整体的静态分析时间,保证分析精度的正确性。文件并行分析次序策略的实验结果表明并行分析文件算法的可行性。
其他文献
在对阶梯柱状构件的初步设计中,设计算往往希望有一个计算简便,精度高的公式来确定其稳定性。本文基于这种考虑给出了几个阶梯柱稳定性的近似公式,这些公式计算简便,精度优于文献
数字中间片技术(DI)在现代数字影视行业及研究中渐趋占据主导性地位,它被直接应用于影视制作全流程中的各个环节,给导演、制片人等影视决策者的工作带来了便捷与革新,更加催
“在偏远落后的农村逐步实现‘坐有沙发、睡有木床、吃饭有饭桌、学习有课桌’。”这是《政府工作报告》中提到的一个今年工作的目标。“坐有沙发、睡有木床、吃饭有饭桌、学
从多起涉及文化遗产保护的行政审批事例中可以看到,在现行城市文化遗产保护的行政审批中,存在着制度上的漏洞和缺环,给文化遗产保护带来隐患。为此需要进行改革,把文化遗产保
在我国科技迅速发展的带动下,我国固井技术也在不断的更新换代,因此要确保能源的质量,对石油固井技术进行分析能够在一定程度上满足社会能源的大量需要,随着时代的发展我国石
水质自动监测站是快速了解我省河流湖库水质信息的重要手段.可以为环保部门提供水质实时监测信息,为环境决策提供重要依据。在我省水质自动监测站运行过程中,远程监控是对自动监
通过对碳纳米管进行表面改性制得具有引发ATRP反应活性的碳纳米管(MWNT-Br),以MWNT-Br作引发剂经过两次ATRP反应将聚乙烯基吡咯烷酮(PVP)和聚甲基丙烯酸特丁酯(PtBMA)先后接枝到多壁
本文介绍了鱼类抗菌肽基因工程中使用的原核和真核表达系统,并展望了其应用前景。
外径千分尺是常见的长度精密测量仪器,主要用来测量各种外尺寸。文章分析了千分尺的使用方法、注意事项和环境温度要求,总结了千分尺示值误差与被测件允许误差的合理关系,以
我国挖掘机行业中,安装和使用挖掘机专用GPS智能服务系统的企业越来越多,越来越普遍。一方面是为了适应金融管理的需要,另一方面可为售后服务部门和挖掘机所有者实时远程提供设