马晓东

作品数：4被引量：5H指数：2
导出分析报告
供职机构：国防科学技术大学更多>>
发文主题：内存泄漏自动生成工具词法分析LTL内存泄漏检测更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与应用》《计算机工程与科学》《计算机科学》更多>>
所获基金：国家高技术研究发展计划霍英东青年教师基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于抽象符号表的内存模型被引量：1
《计算机工程与科学》2011年第6期84-90,共7页代子营 毛晓光 马晓东 王瑞 
国家863计划资助项目(2007AA010301)
符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、...
关键词：符号执行 内存模型 抽象符号表 程序分析 
程序时序属性的自动测试
《计算机科学》2004年第6期132-134,179,共4页马晓东 董威 王戟 齐治昌 
测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先,作者将一线性时序逻辑公式转换为一个有限状态自动机,然后,管理源代码,以便抽取与线...
关键词：测试预言 线性时序逻辑 FSA LTL 状态自动机 反应式系统 
面向路径的测试数据自动生成工具的设计与实现被引量：2
《计算机工程与科学》2002年第1期103-107,共5页单锦辉 王戟 齐治昌 马晓东 单黎君 
国家自然科学基金资助项目 (69973 0 5 1);国家 863计划资助项目 (863 3 0 6 ZT0 6 0 4 1);霍英东青年教师基金资助项目 (710 64 )
面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松弛方法[1 ] 求解该问题。文献[2 ]改进了该方法 ,证明改进后的方法与原方法生成的约束系统相同。文章以改进后的方法为核心算法 ,根据软...
关键词：测试数据自动生成工具 软件工具 UML 面向对象 
面向路径的测试数据自动生成工具及其图形界面的Tcl/Tk设计被引量：2
《计算机工程与应用》2002年第1期74-77,共4页单锦辉 王戟 马晓东 齐治昌 
国家自然科学基金项目"面向UML的形式化测试技术"(编号:69973051);国家863高技术研究发展项目"混合实时系统的验证技术"(编号:863-306-ZT06-04-1);武汉大学软件工程国家重点实验室访问学者基金;霍英东青年教师基金(编号:71064)
面向路径的测试数据生成问题是软件测试中一个基本问题。文章介绍了自主开发的面向路径的测试数据自动生成工具。Tcl/Tk是一种图形界面设计工具,其功能强大,可运行于Windows,UNIX等操作系统上,具有良好的可移植性。文章简要介绍Tcl/Tk,...
关键词：测试数据自动生成 软件工具 图形界面 TCL/TK 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部