【摘 要】
：
随着软件的不断更新迭代,软件正确性检测的必要性愈加凸显,软件正确性检测的处理时间直接决定软件的维护成本。动态测试的断言编写和静态分析的符号执行均针对程序正确性进行
【基金项目】
：
国家自然基金(61402333,61272450),天津市自然科学基金(18JCZDJC30700),赛尔网络下一代互联网技术创新项目(NGII20160121)资助
论文部分内容阅读
随着软件的不断更新迭代,软件正确性检测的必要性愈加凸显,软件正确性检测的处理时间直接决定软件的维护成本。动态测试的断言编写和静态分析的符号执行均针对程序正确性进行优化完善,但分析结果易出现路径缺失甚至错误无法识别等问题。现有验证方法在路径扩展时易生成较多无用路径,且针对性不强,因此有必要研究一种更为可靠的方案。本文采用最弱前置条件对软件可行性加以分析,对程序执行语义正确建模,使用程序切片技术预处理程序代码,并根据层级结构存储节点及其子程序。实验结果表明,该方法可以有效减小静态分析对程序状态抽象操作带来的验
其他文献
长期以来,人们对数控技术有不同的理解,一种典型看法认为机械+电气=机电一体化,就是数控技术,这种看法是不全面的.下面就数控技术的发展趋势、人才需求与数控技术人才类型谈
国家开放大学成立，广播电视大学系统处于转型升级的重要时期。国家开放大学在办学宗旨、使命、任务等方面要高于、新于和超越广播电视大学，县级电大要成为国家开放大学的下属单
当管网发生事故时,及时确定人员逃生路径是应急疏散的重要环节。通过分析事故灾害对人员疏散的影响,采用猴群算法在所建立的节点监测矩阵中并行搜索,得到不同时刻的多个传感
进入90年代以来,随着对汽车安全、环保、节能的要求日趋严格,作为解决诸多技术问题最佳方案的电子技术已渗透到汽车的各个部位,现代汽车已成为以数十个微电脑、成百上千个传
随着第三次全教会的召开和<中共中央国务院关于深化教育改革,全面推进素质教育的决定>的贯彻实施,创新成为教育界关注的热点.创新教育是素质教育的核心,实施创新教育,必须建
多媒体计算机辅助教学(Multimedia ComputerAssisted Instruction,简称MCAI),是20世纪90年代在多媒体技术发展起来后,多媒体技术和CAI技术相结合的产物.