【摘 要】
：
目前提高软件可靠性的方法有3种：动态测试、静态分析和程序验证.动态测试的结果依赖于测试集的设计,误报率低,漏报率高,分析结果不稳定.程序验证可以对程序的各种性质进行完备
【机 构】
：
中国科学技术大学计算机科学与技术学院,中国科学技术大学先进技术研究院中国科大-国创高可信软件工程中心,不详
【基金项目】
：
本文受国家自然科学基金面上项目（61170018）资助.
论文部分内容阅读
目前提高软件可靠性的方法有3种：动态测试、静态分析和程序验证.动态测试的结果依赖于测试集的设计,误报率低,漏报率高,分析结果不稳定.程序验证可以对程序的各种性质进行完备的验证.但目前程序验证通常都需要手动证明,分析成本最高.而程序静态分析可以更早、更全面、较高效和低成本地检测到程序中的缺陷.其中符号执行技术是一种比较有应用前景的静态分析技术,可以很好地控制精确度.针对符号执行可伸缩性差和容易产生路径爆炸的问题,在符号执行过程中利用形状分析技术实现自动推导循环不变式和构建函数行为规范,实现了一个较为实用的C
其他文献
社会主义百万富翁问题（SMP）即是保密地比较数据是否相等的问题,其解决方案可以作为很多应用系统的基础协议。首先,提出一种对保密数据进行编码的新方案。然后,基于该编码方案和
针对射频识别系统存在的安全问题和成本问题,提出了一种低成本超轻量级RFID双向认证协议。采用BAN逻辑形式化证明方法对协议进行了形式化证明,并进行了安全性分析,结果表明本
疲劳裂纹的萌生和扩展是机械零件在变载荷作用下的主要失效形式.使用近几年来得到迅速发展的模态声发射技术获取疲劳裂纹的声发射波形,使接收到的声发射信号与声发射源的物理
近年来,CP-ABE作为适用于云存储环境的访问控制机制,成为研究热点。由于现有的基于CP-ABE的访问控制方案在云存储环境下不支持系统属性灵活变更,利用云存储服务提供者的存储
研究了基于回归神经网络(RNN)为化工颜料锌钡白建立质量指标软测量模型的问题。利用SPSS统计软件对过程历史数据进行预分析处理,进而利用这些数据训练回归神经网络,建立质量指标消色力的软测量模型。针对回归神经网络训练效率低,泛化能力差等问题,尝试引入一种初始权值优化方法加以改进。仿真结果表明,利用回归神经网络可以为此类化工过程建立具有一定预测能力的软测量模型,引入的初始权值优化方法有助于提高回归神经
设计了一种基于PC104嵌入式计算机记录仪;该记录仪用于记录外部设备工作时输出的变化的电信号,通过数据采集板采集外部隔离放大后的信号,实时打印出采集到的信号波形,并且存