刘冬懿
- 作品数：12 被引量：15H指数：3
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- EJB构件的逆向分析建模及测试技术研究
- 本论文研究了EJB构件的逆向分析建模及在此基础上的测试技术。通过对EJB构件的Jar包内Class文件以及EJB的部署文件的分析,提取出构件的基本信息以及构件与构件之间的实体关系、关联关系和聚集关系,Jar包之间的依赖关...
- 潘秋菊金茂忠刘超刘冬懿
- 关键词：EJB构件测试技术软件工程
- 文献传递
- 从UML设计模型到测试模型的研究被引量：7
- 2007年
- 为保证软件测试与设计的一致,分析了UML设计模型和UTP测试模型的异同点,提出了从设计模型到测试模型的映射过程。通过实例说明如何从UML设计模型转换为UTP测试模型的过程。此方法可为模型驱动体系结构中设计模型和测试模型的自动转换提供支持。
- 刘冬懿金茂忠刘超伞云飞
- 关键词：标准建模语言映射
- 软件构件测试技术
- 软件构件的质量关系到基于构件开发的软件产品的质量和可靠性。如何通过构件测试提高构件的质量越来越受到关注。由于构件具有与其他一般软件有所不同的特征,研究人员针对构件特有的错误类型提出了构件测试策略。本文从现有构件测试方法、...
- 刘冬懿金茂忠刘超
- 关键词：测试技术软件测试
- 文献传递
- Java构件的测试脚本生成技术被引量：1
- 2006年
- QESat/Java中的构件测试工具辅助用户生成测试脚本,通过测试脚本的执行获得功能测试结果以及程序覆盖信息。测试脚本生成技术是Java构件测试工具中的核心和难点部分,该文根据JUnit、Mockobject、InContainer等技术规范提出模板关键域替换方法生成测试脚本。
- 刘冬懿潘越潘秋菊金茂忠柳永坡
- 关键词：JUNITMOCKCONTAINER测试脚本
- 一个Java构件测试工具的设计与实现
- 本文为了支持构件开发者的白盒和黑盒构件测试,设计实现了QESat/Java中的构件测试工具.此工具辅助用户生成符合JUnit、Mockobject、InContainer等技术的测试脚本,在模拟的或实际的构件运行环境中执...
- 刘冬懿潘越潘秋菊金茂忠
- 关键词：测试脚本
- 文献传递
- 使用BIT技术构造可自测试构件
- 本文主要讨论了使用BIT技术构造可自测试构件的实现方法.文中首先给出了BIT、可自测试构件、软件可测试性等定义,在此基础上阐述了使用BIT技术构造可自测试构件的四种方法,并对这些方法进行分析和比较.最后,讨论了使用BIT...
- 黄瑶高仲仪刘冬懿
- 关键词：软件测试BIT技术
- 文献传递
- 模型驱动的构件测试方法研究
- 刘冬懿
- 面向测试的多视图构件模型
- 2007年
- 构件模型不仅是构件使用者理解、使用构件的重要依据,也是构件开发者和构件使用者测试构件的基础。目前已有的构件模型主要从分析设计以及使用的角度描述构件,对构件测试中的测试要素的描述并不充分。在分析已有构件模型和构件测试要素的基础上,提出了扩展UML2.0描述的面向测试的多视图构件模型,并给出了实例。
- 刘冬懿金茂忠高仲仪
- 关键词：UML2.0
- 一个Java构件测试工具的设计与实现
- 2005年
- 为了支持构件开发者的白盒和黑盒构件测试,设计实现了QESat/Java中的构件测试工具.此工具辅助用户生成符合JUnit、Mock object、In Container等技术的测试脚本,在模拟的或实际的构件运行环境中执行测试脚本,获得构件执行的错误、失效等功能测试信息,以及程序覆盖信息.
- 刘冬懿潘越潘秋菊金茂忠
- 关键词：JUNITMOCKOBJECTCONTAINER测试脚本
- 基于设计模式的可扩展Java静态分析器设计被引量：4
- 2006年
- 鉴于静态分析器设计的复杂性,提出运用多种设计模式构建静态分析器系统。结合实例详细论述单件、访问者、外观及工厂方法等模式在构建Java静态分析器中的应用。旨在促使静态分析器系统开发中应用设计模式,设计出灵活、可复用和易理解的软件,提高软件的质量和软件的复用性及可扩展性。
- 王越刘冬懿金茂忠
- 关键词：静态分析器设计模式软件复用
