张普含
- 作品数：27 被引量：92H指数：4
- 供职机构：中国信息安全测评中心更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种Android平台下应用软件的安全漏洞挖掘方法和装置
- 本发明公开了一种Android平台下应用软件的安全漏洞挖掘方法，包括：S1.提取多种Android平台下应用软件源代码的漏洞规则，形成漏洞规则库；S2.构建ant脚本，对源代码进行编译，形成字节码文件；S3.控制流分析引...
- 吴世忠张普含时志伟张*韩建吴迪
- 基于软件代码差异分析的智能模糊测试方法
- 为了及时对不断更新的大型软件进行漏洞分析,该文提出了一种基于软件代码差异分析的智能模糊测试方法.新旧代码经逆向分析和比对后确定代码差异区,再通过基于数据与控制依赖关系的双向传播分析,识别差异潜在影响区和相关输入变量,生成...
- 王嘉捷郭涛张普含章磊
- 关键词：软件工程
- 文献传递
- 一种面向任务关键软件安全性的自动化测试方法
- 任务关键软件的正确性是信息安全的重要组成部分,并且oracle问题经常制约到此类软件的测试.蜕变测试(MT)能够有效解决此类问题,但现有方法大多需要人为参与,且没有充分考虑程序结构的信息.本文首先提出了一种白盒蜕变测试准...
- 董国伟郭涛张普含
- 关键词：自动化测试遗传算法
- 文献传递
- 基于语言等价关系化简Büchi自动机的算法被引量：1
- 2009年
- 为了缓解模型检测中状态空间爆炸问题,尽可能多的化简Büchi自动机的状态和迁移。该文定义了基于Büchi自动机语言等价关系的语言等价类概念,并基于该等价类概念提出了化简自动机状态和迁移的有效算法。由于该算法充分考虑了等价类中状态之间的可达关系,并通过模拟等价关系来计算语言等价关系,使得自动机的商和语言等价类相结合,因而可在多项式时间内尽可能多的化简Büchi自动机的状态空间。通过典型例子分析以及算法的正确性证明显示了该算法比现有算法可获得更好的化简效果。
- 易锦郭涛黄永刚张普含
- 关键词：自动机状态空间爆炸
- 基于语言等价关系化简Buchi自动机的算法研究
- 为了缓解模型检测中的状态空间爆炸问题,使其在安全领域获得更大应用范围,本文基于Bchi自动机语言等价关系定义了语言等价类概念,并提出了化简自动机状态和迁移的有效算法。该算法利用了模拟等价关系来计算语言等价关系,并将自动机...
- 易锦郭涛黄永刚张普含
- 关键词：自动机状态空间爆炸
- 文献传递
- 基于移动Agent的网络管理系统的研究与实现
- 随着网络规模和服务的飞速发展,传统的集中式管理模式越来越暴露其在性能、可扩展性、灵活性等方面固有的局限性.为此该文对基于移动agent的网络管理系统进行了深入的研究和探讨,设计并实现了一个基于移动agent的网络故障检测...
- 张普含
- 关键词：移动AGENT网络管理网络故障检测负载平衡
- 文献传递
- 软件安全构建成熟度模型综述
- 随着学术界和产业界对软件安全性认识的不断深入,在软件构建过程中融入安全举措成为保障软件安全的重要手段之一.本文在回顾软件质量控制体系的基础上,综述了几种常见的软件安全成熟度模型。然后根据评价框架对这些模型进行对比分析，并...
- 章磊郭涛王眉林张普含
- 关键词：软件工程成熟度模型
- 文献传递
- 基于路径簇归约的并行符号执行方法
- 本发明涉及一种基于程序符号执行路径簇划分的计算机软件安全性测试方法。一种基于路径簇规约的并行符号执行方法，将被测可执行程序进行反汇编；得到被测可执行程序的汇编代码，并转换为统一的中间汇编语言形式；然后根据中间汇编语言形式...
- 吴世忠郭涛张普含王嘉捷
- 文献传递
- 基于路径分析和迭代蜕变测试的Bug检测被引量：2
- 2014年
- 该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试。蜕变测试(MT)能够有效解决此类问题,但随机性较大。该文针对二元蜕变关系,提出了2种迭代的蜕变测试算法AESIST和AEMIST,在依据此2种方法的测试中,上一轮生成的测试用例可以作为下一轮的原始用例而生成新的测试用例,并且所有的测试用例满足蜕变关系全路径覆盖准则(APCEM)。实验结果表明:2种算法产生的测试用例能够在尽量少地运行程序的情况下有效发现程序中的错误。因此,本文提出的2种迭代蜕变测试算法在程序bug检测方面是高效的。
- 董国伟郭涛张普含贾依真
- 一种文档结构检测方法及装置
- 本发明公开了一种文档结构检测方法及装置，包括：基于预创建的目标文档模型对待检测文档进行解析，获得所述待检测文档的文档树；获取与所述待检测文档对应的目标文档，并获取与所述目标文档对应的文档树，所述目标文档为具有目标模板的文...
- 刘林谢丰张普含程岩霍杏梅
- 文献传递
