您的位置： 专家智库 > >

国家高技术研究发展计划(2004AA112030)

作品数：11 被引量：32H指数：4
相关作者：金茂忠刘超贾晓霞吴际刘冬懿更多>>
相关机构：北京航空航天大学西南通信研究所高等教育出版社更多>>
发文基金：国家高技术研究发展计划国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 11篇自动化与计算...

主题

  • 3篇JAVA
  • 2篇软件测试
  • 2篇内存
  • 2篇内存泄漏
  • 2篇垃圾
  • 2篇垃圾回收
  • 2篇回收
  • 2篇JAVA程序
  • 1篇多视图
  • 1篇遗传算法
  • 1篇映射
  • 1篇软件产品
  • 1篇软件产品线
  • 1篇软件复用
  • 1篇设计模式
  • 1篇视图
  • 1篇数据自动生成
  • 1篇特化
  • 1篇自动机
  • 1篇自动生成

机构

  • 11篇北京航空航天...
  • 1篇东北石油大学
  • 1篇西南通信研究...
  • 1篇高等教育出版...

作者

  • 11篇金茂忠
  • 5篇刘超
  • 4篇刘冬懿
  • 4篇吴际
  • 4篇贾晓霞
  • 3篇高仲仪
  • 2篇王越
  • 2篇柳永坡
  • 1篇潘秋菊
  • 1篇孙惠丽
  • 1篇连舒明
  • 1篇潘越
  • 1篇刘昶
  • 1篇郭聪宾
  • 1篇邢瑜琨
  • 1篇李郭欢
  • 1篇伞云飞

传媒

  • 3篇南京大学学报...
  • 2篇计算机应用研...
  • 2篇计算机科学
  • 1篇计算机工程
  • 1篇计算机应用
  • 1篇小型微型计算...
  • 1篇微计算机信息

年份

  • 1篇2008
  • 3篇2007
  • 4篇2006
  • 3篇2005
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
从UML设计模型到测试模型的研究被引量：7
2007年
为保证软件测试与设计的一致,分析了UML设计模型和UTP测试模型的异同点,提出了从设计模型到测试模型的映射过程。通过实例说明如何从UML设计模型转换为UTP测试模型的过程。此方法可为模型驱动体系结构中设计模型和测试模型的自动转换提供支持。
刘冬懿金茂忠刘超伞云飞
关键词：标准建模语言映射
一个基于下推自动机的Web测试自动执行器被引量：3
2006年
随着 Web 应用系统的广泛应用,对其质量要求也越来越高。如何进行有效的测试以保证 Web 应用系统的质量是值得关注的研究问题。支持测试用例自动执行的测试执行器(Test runner)是其中的一个热点和难点。文章研究并提出了基于下推自动机的 Web 测试自动执行器,并实现了其原型系统。该执行器支持测试用例的自动执行并给出测试结果报告,并通过 Web 应用测试实例验证了其有效性。
贾晓霞刘昶吴际柳永坡金茂忠刘超
关键词：下推自动机WEB测试
Java并发程序动态分析技术研究
2005年
并发程序应用越来越普遍,但其固有的运行不确定性,加大了设计、编码、测试和纠错的难度.介绍一种基于插装的Java并发程序动态执行轨迹跟踪技术,通过该技术可视化地向用户展示并发程序执行的内部逻辑.详细讨论Java并发同步原理、动态测试的模型、插装库设计与插装策略等,该项技术在实际工作中已得到应用.
王越金茂忠刘超
关键词：软件测试插装技术并发程序
一种C++程序类模板偏特化匹配算法
2005年
在类属编程(Generic Programming)以及科学计算领域中,C++中的模板愈发显示出其不可替代的作用.但是模板也进一步增加了C++语法的复杂度.由于模板的广泛应用,对支持模板分析的分析器的需求也日益增强.因此必须要解决模板分析中的几个难点.针对难点之一:类模板偏特化(partial specialization)匹配问题,提出了一种行之有效的算法,并在John Lilley的C++分析器基础上实现了该算法.最后给出了该算法实际应用的效果,并与相关工作进行了比较.
郭聪宾金茂忠刘超连舒明
关键词：类模板
应用遗传算法自动生成测试数据的实验分析被引量：2
2007年
将遗传算法应用于覆盖指定路径的测试数据生成已得到了广泛的研究.具体实现中,影响测试数据生成效率的因素很多,如先验知识,GA参数,路径复杂度等.本文在简要介绍应用GA生成测试数据的关键技术后,设计实验分析了影响测试数据生成的部分因素,并据此得出了一些结论.
贾晓霞吴际金茂忠高仲仪
关键词：遗传算法测试数据自动生成软件测试
一个Java构件测试工具的设计与实现
2005年
为了支持构件开发者的白盒和黑盒构件测试,设计实现了QESat/Java中的构件测试工具.此工具辅助用户生成符合JUnit、Mock object、In Container等技术的测试脚本,在模拟的或实际的构件运行环境中执行测试脚本,获得构件执行的错误、失效等功能测试信息,以及程序覆盖信息.
刘冬懿潘越潘秋菊金茂忠
关键词：JUNITMOCKOBJECTCONTAINER测试脚本
基于设计模式的可扩展Java静态分析器设计被引量：4
2006年
鉴于静态分析器设计的复杂性,提出运用多种设计模式构建静态分析器系统。结合实例详细论述单件、访问者、外观及工厂方法等模式在构建Java静态分析器中的应用。旨在促使静态分析器系统开发中应用设计模式,设计出灵活、可复用和易理解的软件,提高软件的质量和软件的复用性及可扩展性。
王越刘冬懿金茂忠
关键词：静态分析器设计模式软件复用
面向测试的多视图构件模型
2007年
构件模型不仅是构件使用者理解、使用构件的重要依据,也是构件开发者和构件使用者测试构件的基础。目前已有的构件模型主要从分析设计以及使用的角度描述构件,对构件测试中的测试要素的描述并不充分。在分析已有构件模型和构件测试要素的基础上,提出了扩展UML2.0描述的面向测试的多视图构件模型,并给出了实例。
刘冬懿金茂忠高仲仪
关键词：UML2.0
Java程序内存低效使用问题的分析被引量：1
2008年
Java程序内存的低效使用是导致其性能问题的主要因素。该文分析了泄漏对象、蚍蜉对象和空闲对象3类导致内存低效使用的情况,探讨解决上述问题的方法,并提出构造对象行为模式。实验结果表明,该方案是有效的。
柳永坡贾晓霞吴际金茂忠孙惠丽
关键词：内存泄漏垃圾回收
基于构件和框架、面向方面的软件产品线开发方法CFB-AOD被引量：8
2006年
本文提出了一种基于构件和框架、面向方面的软件产品线设计方法CFB-AOD(ComponentandFrameworkBased,AspectOrientedDesign)。CFB-AOD关注实际的软件开发过程,致力于在软件产品线的开发过程中融入构件技术、框架技术和面向方面技术,对软件开发特别是软件产品线开发有实际的指导意义。并以北航软件所白盒测试工具产品线QESat为例,介绍了CFB-AOD的实际运用。
邢瑜琨刘超高仲仪金茂忠
关键词：软件产品线面向方面编程
全选 清除 导出
共2页<12>
聚类工具0