搜索筛选:
搜索耗时0.7373秒,为你在为你在102,267,441篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：沈咸飞,李兆鹏,梁家彪,,
来源：电子技术 年份：2015
静态分析技术作为一种重要的提高程序安全性的手段，目前已被广泛地用于查找程序中的错误和漏洞。性能作为静态分析工具的一个重要指标，直接影响到工具的实用性和可伸缩性。在多......
[期刊论文] 作者：朱玲,李兆鹏,梁家彪,邓维,,
来源：小型微型计算机系统 年份：2016
在一个C程序静态分析工具的实现中,设计了一种描述函数行为的规范语言,包括描述程序状态的基本断言,描述内存的谓词以及描述链表、二叉树等递归数据结构的形状谓词.该工具基...
[期刊论文] 作者：梁家彪,李兆鹏,朱玲,沈咸飞,
来源：计算机科学 年份：2016
目前提高软件可靠性的方法有3种：动态测试、静态分析和程序验证.动态测试的结果依赖于测试集的设计,误报率低,漏报率高,分析结果不稳定.程序验证可以对程序的各种性质进行完备...
相关搜索：
