马晓东
- 作品数：8 被引量：23H指数：3
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家高技术研究发展计划霍英东青年教师基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- C程序内存错误静态分析技术研究
- 计算机软件在当今社会中发挥着越来越重要的作用。无论是在人们的日常生活中,还是在一些关键系统中——例如银行系统,飞行控制器和医疗系统——都大量地使用软件。软件运行的正确与否影响到人们的正常生活,软件的失效甚至会引发巨大的损...
- 马晓东
- 关键词：形态分析内存泄漏SUIF2
- 基于流敏感上下文敏感指向图的内存泄漏检测方法
- 本发明公开了一种基于流敏感上下文敏感指向图的内存泄漏检测方法，要解决的技术问题在于：一方面提高内存泄漏检测的精确度，一方面保证内存泄漏效率。技术方案是先对源代码做语法分析和词法分析，生成中间文件；对中间文件计算流敏感、上...
- 王戟马晓东董威徐厚峰刘万伟
- 基于抽象符号表的内存模型被引量：1
- 2011年
- 符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制。内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型。基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法。经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能。
- 代子营毛晓光马晓东王瑞
- 关键词：内存模型
- 基于流敏感上下文敏感指向图的内存泄漏检测方法
- 本发明公开了一种基于流敏感上下文敏感指向图的内存泄漏检测方法，要解决的技术问题在于：一方面提高内存泄漏检测的精确度，一方面保证内存泄漏效率。技术方案是先对源代码做语法分析和词法分析，生成中间文件；对中间文件计算流敏感、上...
- 王戟马晓东董威徐厚峰刘万伟
- 文献传递
- 面向路径的测试数据自动生成工具的设计与实现被引量：8
- 2002年
- 面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松弛方法[1 ] 求解该问题。文献[2 ]改进了该方法 ,证明改进后的方法与原方法生成的约束系统相同。文章以改进后的方法为核心算法 ,根据软件工程的思想 ,采用面向对象的方法 ,使用UML进行设计 ,并且在LinuxRedHat 7 0操作系统下用C + +语言实现一个为指定程序路径自动生成测试数据的原型工具 。
- 单锦辉王戟齐治昌马晓东单黎君
- 关键词：UML面向对象
- 面向路径的测试数据自动生成工具及其图形界面的Tcl/Tk设计被引量：11
- 2002年
- 面向路径的测试数据生成问题是软件测试中一个基本问题。文章介绍了自主开发的面向路径的测试数据自动生成工具。Tcl/Tk是一种图形界面设计工具,其功能强大,可运行于Windows,UNIX等操作系统上,具有良好的可移植性。文章简要介绍Tcl/Tk,并给出用Tcl/Tk设计面向路径的测试数据自动生成工具的图形界面的方法。
- 单锦辉王戟马晓东齐治昌
- 关键词：测试数据自动生成图形界面TCL/TK
- 程序时序属性测试预言的生成
- 测试预言(test oracle)是用来检测待测系统在一个特定执行中的行为是否正确的方法.它是软件测试的基础,任何一种软件测试都需要测试预言.测试预言的自动生成是当今软件测试的难点之一.本文研究了一种从描述反应式系统的时...
- 马晓东
- 关键词：LTL自动机
- 文献传递网络资源链接
- 程序时序属性的自动测试
- 2004年
- 测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先,作者将一线性时序逻辑公式转换为一个有限状态自动机,然后,管理源代码,以便抽取与线性时序逻辑性质有关的状态序列。最后,用该信息来模拟状态自动机,并决定程序执行是否满足线性时序逻辑的性质。
- 马晓东董威王戟齐治昌
- 关键词：线性时序逻辑FSALTL状态自动机反应式系统
