代子营
- 作品数：6 被引量：3H指数：1
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于抽象符号表的内存模型被引量：1
- 2011年
- 符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制。内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型。基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法。经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能。
- 代子营毛晓光马晓东王瑞
- 关键词：内存模型
- 面向方面体系结构建模研究被引量：1
- 2011年
- 面向方面体系结构建模是面向方面软件开发(AOSD)的重要组成部分,也是近些年面向方面领域研究的热点问题。传统的软件体系结构设计方法没有单独地考虑横切关注点。因此,在软件体系结构设计阶段,建模人员需要新的机制来描述这些横切关注点。本文首先提出一个以横切为中心的面向方面体系结构概念框架;然后通过在体系结构设计阶段引入该框架中的核心概念,提出一种在体系结构设计阶段建模横切关注点的方法,从而支持其在早期进行横切关注点的分离。
- 王瑞毛晓光代子营王燕妮
- 关键词：体系结构横切关注点
- 面向符号执行的内存模型研究
- 在软件可信性质保证的诸多方法中,面向软件源代码的分析与验证具有重要意义。形式化方法在软件可信性质保证中有不可替代的作用,但是距离大规模广泛应用还有不小的差距。符号执行是一种重要的形式化方法,在测试数据生成和静态分析中有广...
- 代子营
- 关键词：内存模型LLVM
- 面向资源的规约挖掘与强制技术研究
- 当前普遍使用的垃圾收集器减轻了程序员手工管理内存的负担，提高了程序的可信性。但是，除了内存外，还有很多其他的有限系统资源，比如文件柄和数据库连接，程序员必须认真地管理这些资源。程序员不正确地使用资源造成的资源使用故障，主...
- 代子营
- 关键词：软件开发软件测试
- 文献传递
- 一种基于性质规约模式的软件运行时性质监测方法
- 本发明公开了一种基于性质规约模式的软件运行时性质监测方法，目的是提供一种有利于故障发现和诊断的软件运行时性质监测方法。技术方案是将软件运行时性质监测需求划分为多种性质规约模式，为每种性质规约模式构造一个性质规约模版；提取...
- 毛晓光吴海亮万小敏代子营王瑞王承松雷晏王燕妮
- 文献传递
- 一种基于性质规约模式的软件运行时性质监测方法
- 本发明公开了一种基于性质规约模式的软件运行时性质监测方法，目的是提供一种有利于故障发现和诊断的软件运行时性质监测方法。技术方案是将软件运行时性质监测需求划分为多种性质规约模式，为每种性质规约模式构造一个性质规约模版；提取...
- 毛晓光吴海亮万小敏代子营王瑞王承松雷晏王燕妮
