您的位置: 专家智库 > >

国家高技术研究发展计划(2001AA113100)

作品数:11 被引量:88H指数:5
相关作者:刘超金茂忠晏海华赫建营李虎更多>>
相关机构:北京航空航天大学更多>>
发文基金:国家高技术研究发展计划国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 11篇中文期刊文章

领域

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

主题

  • 4篇软件测试
  • 2篇面向对象
  • 2篇聚类
  • 1篇形式化
  • 1篇压力测试
  • 1篇再工程
  • 1篇软件工程
  • 1篇软件可靠性度...
  • 1篇软件可靠性模...
  • 1篇设计实现
  • 1篇图模型
  • 1篇图算
  • 1篇图算法
  • 1篇流技术
  • 1篇面向对象度量
  • 1篇聚类思想
  • 1篇混合模型
  • 1篇活动图
  • 1篇脚本
  • 1篇工作流

机构

  • 11篇北京航空航天...

作者

  • 8篇刘超
  • 6篇金茂忠
  • 3篇晏海华
  • 2篇刘冬懿
  • 2篇李虎
  • 2篇赫建营
  • 1篇张敏
  • 1篇潘秋菊
  • 1篇欧胜高
  • 1篇许福
  • 1篇潘越
  • 1篇李诺
  • 1篇柳永坡
  • 1篇汪浩
  • 1篇祝玉芬
  • 1篇赵长海
  • 1篇熊浩
  • 1篇郑小军
  • 1篇蒋彬

传媒

  • 4篇计算机应用研...
  • 2篇计算机工程
  • 2篇微计算机信息
  • 1篇电子学报
  • 1篇计算机工程与...
  • 1篇北京航空航天...

年份

  • 1篇2009
  • 2篇2007
  • 1篇2006
  • 3篇2005
  • 2篇2004
  • 1篇2003
  • 1篇2002
11 条 记 录,以下是 1-10
排序方式:
C++静态分析中对泛型构件的识别与表示方法被引量:7
2005年
本文从C++静态分析的角度出发,介绍了模板和泛型构件技术、一个C++静态分析器实现中对模板和基本泛型构件的分析和识别方法、以及一种基于UML的泛型构件的表示方法。
蒋彬刘超
关键词:C++UML软件测试
Java构件的测试脚本生成技术被引量:1
2006年
QESat/Java中的构件测试工具辅助用户生成测试脚本,通过测试脚本的执行获得功能测试结果以及程序覆盖信息。测试脚本生成技术是Java构件测试工具中的核心和难点部分,该文根据JUnit、Mockobject、InContainer等技术规范提出模板关键域替换方法生成测试脚本。
刘冬懿潘越潘秋菊金茂忠柳永坡
关键词:JUNITMOCKCONTAINER测试脚本
一个高效的语法分析器生成工具被引量:5
2005年
VPGE(VisualParserGenerationEnvironment)是一个可视化语法分析器集成开发环境,除了具有良好的界面和强大的调试功能,其LALR(1)分析器的生成速度达到并超过公认的分析器生成速度最快的LALR(1)分析器自动生成器Bison,所能处理的文法规模也优于Bison.本文在DeRemer和Pen-nello的LALR(1)分析器自动生成基本原理的基础上,在设计数据结构和算法实现中采用了大量优化技术.
张敏金茂忠李虎许福
一种基于静态词法树的程序相似性检测方法被引量:7
2009年
传统的程序相似性检测工具并不能有效地检测出一些常见的高级词法、语义理解变换的抄袭方式。首先归纳了学生常用的三类抄袭手段,然后给出了基于词法树的程序相似性检测方法。以C语言为例,总结了生成词法树的结构体,并对程序的词法树进行主数据流、结构控制流和时序流分析后得出结构体依赖图;使用形式化的图同型方法来判断代码是否相似,还给出了一个聚类方法以获得彼此相似的程序子集。通过与JPlag、BuaaSim系统针对一组典型的抄袭样本集进行评测结果对比,本方法具有更好的检测效果。
熊浩晏海华赫建营赵长海
关键词:抄袭形式化聚类
基于活动图模型测试剖面的测试用例生成方法被引量:4
2003年
给出了测试用例的定义和如何根据UML活动图模型来生成测试用例的基本方法, 包括基于活动图模型控制流结构的测试场景生成和针对活动的输入量的测试数据生成。根据 活动图模型的层次型特点,引入了针对活动的层次化的测试剖面(Test Profiles)概念和 输入输出数据描述规范,用以支持用户在活动图上分层次地提供有关测试数据生成的约束条 件。同时,给出了基于测试剖面的基本测试数据的生成方法,以及基于测试场景和基本测试 数据的组合来生成一组测试用例的方法。
祝玉芬刘超
关键词:测试用例UML活动图测试剖面
一种基于通道的层次布图算法的研究和实现被引量:4
2004年
针对软件分析与测试工具中逆向建模出现的一些复杂情况,如聚合关系和非结构化的关系等。讨论了算法的步骤和关键技术,并给出了相对应的应用实例。该算法具有层次清晰、对称性强、交叉线少、可视化效果好等特点。
欧胜高刘超
关键词:软件测试布图算法
遗留系统再工程中交叉构件划分方法被引量:3
2005年
在面向对象遗留系统的构件化再工程中,针对交叉构件提出划分方法.系统开发方分析遗留系统的功能和实现,描述新的构件化系统中每个构件合同.再工程开发人员依据构件合同从遗留系统中提取每个构件,此时会出现交叉构件共享重叠类.从构件复用、构件间松耦合和构件内高内聚等构件特性出发,提出划分规则实现交叉构件中重叠类的划分.此方法已在软件分析与测试系统的构件化过程中得到应用.
刘冬懿李虎金茂忠刘超
关键词:面向对象构件化合同
一种Java程序度量工具的设计实现被引量:2
2004年
IEEE软件工程术语标准中定义度量 (metric)为对一个系统、构件或具有的某个给定属性的度的一个定量测量 .为辅助这种定量的测量 ,设计了一种针对Java程序的度量工具 .首先给出一套度量Java程序的度量算法的详细定义 ,然后重点阐述如何通过分层的体系结构实现这些度量算法 .该设计实现的度量工具具有良好的可扩展性 ,在实际应用中能确实帮助改进程序质量 .
李诺金茂忠刘超
关键词:面向对象度量
基于工作流技术的软件测试流程定义与监控被引量:8
2007年
阐述了软件测试流程的相关概念,论述了基于工作流技术实现软件测试流程定义与监控的概念模型,详细探讨了软件测试流程定义与实例化和软件测试流程的执行与监控所涉及的主要内容及其具体实现方案。
郑小军刘超晏海华
关键词:工作流
一种有效的Web性能测试方法及其应用被引量:37
2007年
针对W eb应用软件的特征,提出了一种基于目标的性能测试方法,其关注的主要内容包括与W eb应用相关的负载测试和压力测试两个方面。不但对这两个方面的测试方法进行了全面的分析和探讨,还强调了测试过程管理的重要作用,最后给出了这种方法在W eb应用性能测试实践中的一个具体应用。
赫建营晏海华刘超金茂忠
关键词:压力测试软件测试
共2页<12>
聚类工具0