谢晓东
- 作品数:24 被引量:98H指数:6
- 供职机构:华中科技大学计算机科学与技术学院更多>>
- 发文基金:湖北省自然科学基金国防科技技术预先研究基金国家部委预研基金更多>>
- 相关领域:自动化与计算机技术理学建筑科学经济管理更多>>
- 一种UML活动图与合作图的集成方法
- 2006年
- 在进行基于统一建模语言UML的分析测试过程中,单图使用存在局限性,两图或多图的综合应用是解决此问题的一种可行方式。论文首先论述了利用UML活动图与合作图进行集成的原因与可行性,结合实例分析,提出了一种以活动图为主体,通过提取合作图中必要信息进行完善的集成方法,为后续的分析测试工作提供进一步精确有效的依据。
- 米磊卢炎生谢晓东
- 关键词:UML活动图
- ARTs-CS数据字典的并发控制技术
- 2001年
- 提出了通过将事务划分为不同的数据字典事务类型 ,分别采用不同的事务并发控制策略的并发控制技术 .减少了事务因为对数据字典进行操作而需要进行全网络封锁的概率 .在ARTs CS原型系统上实现了该并发控制技术 .模拟实验表明 。
- 谢晓东卢炎生
- 关键词:并发控制主动实时数据库
- 软件错误注入测试技术研究被引量:34
- 2009年
- 软件错误注入测试(software fault injection testing,简称SFIT)技术经过近30年的发展,一直是软件测试领域最活跃的研究内容之一.作为一种非传统的测试技术,在提高软件质量、减少软件危害及改进软件开发过程等方面起着重要作用.对软件错误注入测试的研究现状及动态进行了调研,对该领域相关技术进行了归类及介绍,并对当前较为有效的测试框架和原型工具进行了总结,同时介绍了正在研发的基于SFIT技术的构件安全性测试系统CSTS.在认真分析现有技术的基础上,总结了当前软件错误注入测试存在的问题和面临的挑战,并指出了其未来发展的趋势.
- 陈锦富卢炎生谢晓东
- 关键词:软件测试鲁棒性
- 基于XMLAPI的组件扩展接口变异测试方法被引量:6
- 2008年
- 在传统的组件接口变异测试方法基础上,提出一种基于XML API的组件扩展接口变异测试方法。首先给出组件扩展接口测试的框架,建立起扩展接口的定义模型。XML API在组件内部建立处理数据集的XML校验器,实现了原组件接口的扩展。借助组件外部的XML Schema变异算子,完成了组件内部数据集的自动验证和组件接口参数的测试。该方法具有多种优点,例如可视的多功能测试接口、可跨平台的通用性的测试语言等。实验表明,该方法可以应用于COM,CORBA,EJB等多种组件的测试环境。
- 聂南谢晓东甘勇卢炎生
- 关键词:组件测试XMLAPI接口变异XMLSCHEMA变异算子
- 一个C/C++程序集成测试平台的设计与实现被引量:4
- 2007年
- 研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响,并能有效提高软件生产率,是当今软件业界一个极具现实意义的课题.以目前广为使用的C/C++程序作为测试对象,从程序结构信息获取、插装、I/O重定向等方面探讨如何实现方法级结构性测试;按需求规约对类的状态转换行为运用EFSM建模,依据类状态转换图自动生成测试用例,在类测试驱动器的执行下实现基于状态的类测试.在系统级别上,运用等价类、边界值分析等常规策略进行黑盒测试.此外,运用聚类技术对失效执行进行聚类分析,并从中抽样出典型的测试执行用例用于指导程序的进一步诊断.所实现的原型系统CppTest具备多级别测试、测试项目化管理、自动化/可视化程度高、扩展性好等优点.
- 毛澄映卢炎生谢晓东江胜顾海波
- 关键词:结构性测试聚类分析
- 一个组件安全自动化测试平台的设计与实现被引量:9
- 2008年
- 研制自动化的组件安全测试工具将对基于组件的软件工程产生重大影响,并能有效保障组件软件的安全性和可靠性,是当今软件业界一个极具现实意义和挑战的课题。针对广泛使用的微软第三方COM组件,设计和实现了一个组件安全性测试的原型系统CSTS(Component Security Testing System)。CSTS主要对组件从静态和动态两个级别进行安全性测试。在静态级别上,先分析出组件接口信息,然后对接口方法从参数个数、参数顺序、参数范围和参数类型等方面进行错误注入测试;在动态级别上,先执行测试驱动,然后对组件所依赖的内存、磁盘文件系统和注册表等环境进行错误注入,再通过强大的监测机制监视错误注入后组件执行情况来判断组件安全异常。所实现的原型系统CSTS具有自动化程度高、操作简单及测试效果较好等优点。
- 陈锦富卢炎生谢晓东游亮温贤鑫
- 关键词:测试工具COM组件安全测试动态监测
- 基于UML序列图的测试方法被引量:5
- 2008年
- 提出了一种基于UML序列图的面向对象类簇级测试的方法。这种方法根据序列图进行分析提取类交互信息和用户的输入数据生成测试用例,并根据序列图对代码进行插桩,构造测试模块;最后测试驱动器执行测试模块得到测试结果。该方法也支持UML2.0中为序列图添加的新特征。
- 徐丽萍蒋志龙谢晓东
- 关键词:面向对象统一建模语言序列图软件测试
- 一种构件安全测试错误注入模型被引量:8
- 2009年
- 构件特别是第三方构件的可靠性及安全性是影响构件技术发展的重要因素之一.目前在构件安全漏洞的测试方法和技术方面研究还不够深入.提出了一种构件安全测试错误注入模型FI M(fault injection model of component security testing),并对FI M模型的相关定义及其矩阵形式进行了详细阐述,同时基于FI M模型给出了一种错误注入测试用例生成算法TGSM(test-case generating based on solution matrix).TGSM算法根据矩阵形式的FI M模型生成满足K因素覆盖的解矩阵,解矩阵的所有行数据组成了错误注入测试用例.在研究项目CSTS(component securitytesting system)中实现了FI M模型,实验结果表明FI M生成的三因素覆盖错误注入测试用例效果显著,能用适当的测试用例触发绝大部分构件安全异常.FI M模型具有较好的可操作性及可用性.
- 陈锦富卢炎生谢晓东
- 关键词:测试用例生成
- Class Tester:一个基于状态转换的类测试工具的设计与实现被引量:2
- 2007年
- 面向对象软件测试的类测试方法有三种:基于规约说明的类测试方法、基于类流图的类测试方法、基于状态转换的类测试方法.本文描述了一个针对C++语言的基于状态的类测试工具的设计和实现,介绍了该工具的体系结构和主要算法.对测试驱动器的自动生成的方法作了详细介绍.最后通过一个实例描述了该工具的工作流程.
- 谢晓东卢炎生
- 关键词:软件测试面向对象软件测试类测试测试工具
- 基于模型比较的软件测试用例生成方法研究
- 随着计算机应用范围不断扩大,关键领域的计算机应用越来越多。从而对软件质量和可靠性提出了更高的要求。作为软件质量和可靠性保证最重要的技术手段,软件测试在软件开发中的地位日益重要。
软件工程相关技术的发展不断对软件测...
- 谢晓东
- 关键词:软件测试测试用例生成灰盒测试
- 文献传递