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

作品数：11被引量：66H指数：4
导出分析报告
相关作者：刘超金茂忠晏海华赫建营李虎更多>>
相关机构：北京航空航天大学更多>>
相关期刊：《计算机工程与应用》《电子学报》《计算机应用研究》《计算机工程》更多>>
相关主题：软件测试WEB性能压力测试EM算法高斯混合模型更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于静态词法树的程序相似性检测方法被引量：4
《计算机应用研究》2009年第4期1316-1319,1326,共5页熊浩 晏海华 赫建营 赵长海 
国家"863"计划资助项目(2001AA113100);国家自然科学基金资助项目(60703057;60573084)
传统的程序相似性检测工具并不能有效地检测出一些常见的高级词法、语义理解变换的抄袭方式。首先归纳了学生常用的三类抄袭手段,然后给出了基于词法树的程序相似性检测方法。以C语言为例,总结了生成词法树的结构体,并对程序的词法树进...
关键词：抄袭 相似性检测 词法树 形式化 聚类 
基于工作流技术的软件测试流程定义与监控被引量：8
《计算机应用研究》2007年第2期43-45,88,共4页郑小军 刘超 晏海华 
国家"863"计划资助项目(2001AA113100)
阐述了软件测试流程的相关概念,论述了基于工作流技术实现软件测试流程定义与监控的概念模型,详细探讨了软件测试流程定义与实例化和软件测试流程的执行与监控所涉及的主要内容及其具体实现方案。
关键词：工作流 测试流程 测试阶段 测试流程控制项 
一种有效的Web性能测试方法及其应用被引量：28
《计算机应用研究》2007年第1期275-277,285,共4页赫建营 晏海华 刘超 金茂忠 
国家"863"计划资助项目(2001AA113100)
针对W eb应用软件的特征,提出了一种基于目标的性能测试方法,其关注的主要内容包括与W eb应用相关的负载测试和压力测试两个方面。不但对这两个方面的测试方法进行了全面的分析和探讨,还强调了测试过程管理的重要作用,最后给出了这种方...
关键词：性能测试 负载测试 压力测试 软件测试 
Java构件的测试脚本生成技术被引量：1
《计算机工程》2006年第17期118-120,共3页刘冬懿 潘越 潘秋菊 金茂忠 柳永坡 
国家"863"计划基金资助项目(2001AA113100)
QESat/Java中的构件测试工具辅助用户生成测试脚本,通过测试脚本的执行获得功能测试结果以及程序覆盖信息。测试脚本生成技术是Java构件测试工具中的核心和难点部分,该文根据JUnit、Mockobject、InContainer等技术规范提出模板关键域替...
关键词：构件测试 JUNIT MOCK object: In CONTAINER 测试脚本 
遗留系统再工程中交叉构件划分方法被引量：2
《北京航空航天大学学报》2005年第10期1125-1129,共5页刘冬懿 李虎 金茂忠 刘超 
国家"863"高技术研究发展计划基金资助项目(2001AA113100)
在面向对象遗留系统的构件化再工程中,针对交叉构件提出划分方法.系统开发方分析遗留系统的功能和实现,描述新的构件化系统中每个构件合同.再工程开发人员依据构件合同从遗留系统中提取每个构件,此时会出现交叉构件共享重叠类.从构件复...
关键词：面向对象 遗留系统 构件化 合同 移植 
C++静态分析中对泛型构件的识别与表示方法被引量：7
《微计算机信息》2005年第09X期123-125,共3页蒋彬 刘超 
863项目"软件测试技术和软件测试平台"(编号2001AA113100)资助
本文从C++静态分析的角度出发,介绍了模板和泛型构件技术、一个C++静态分析器实现中对模板和基本泛型构件的分析和识别方法、以及一种基于UML的泛型构件的表示方法。
关键词：C++ 模板 泛型构件 UML 静态分析 软件测试 
一个高效的语法分析器生成工具被引量：4
《微计算机信息》2005年第08X期122-124,共3页张敏 金茂忠 李虎 许福 
国家863计划资助项目(No.2001AA113100)
VPGE(VisualParserGenerationEnvironment)是一个可视化语法分析器集成开发环境,除了具有良好的界面和强大的调试功能,其LALR(1)分析器的生成速度达到并超过公认的分析器生成速度最快的LALR(1)分析器自动生成器Bison,所能处理的文法规...
关键词：LALR(1)分析器 LR(0)自动机 分析器生成 
一种基于通道的层次布图算法的研究和实现被引量：2
《计算机应用研究》2004年第11期173-174,177,共3页欧胜高 刘超 
国家"863"计划资助项目(2001AA113100)
针对软件分析与测试工具中逆向建模出现的一些复杂情况,如聚合关系和非结构化的关系等。讨论了算法的步骤和关键技术,并给出了相对应的应用实例。该算法具有层次清晰、对称性强、交叉线少、可视化效果好等特点。
关键词：软件测试 软件理解 布图算法 
一种Java程序度量工具的设计实现被引量：2
《电子学报》2004年第F12期175-179,共5页李诺 金茂忠 刘超 
国家"8 63"高技术研究发展计划基金项目 (No .2 0 0 1AA1 1 31 0 0 )
IEEE软件工程术语标准中定义度量 (metric)为对一个系统、构件或具有的某个给定属性的度的一个定量测量 .为辅助这种定量的测量 ,设计了一种针对Java程序的度量工具 .首先给出一套度量Java程序的度量算法的详细定义 ,然后重点阐述如何...
关键词：面向对象度量 度量算法 Java度量工具设计 
基于活动图模型测试剖面的测试用例生成方法被引量：2
《计算机工程》2003年第21期45-47,共3页祝玉芬 刘超 
国家自然科学基金资助项目(60073005);国家"863"计划资助项目(2001AA113 100)
给出了测试用例的定义和如何根据UML活动图模型来生成测试用例的基本方法， 包括基于活动图模型控制流结构的测试场景生成和针对活动的输入量的测试数据生成。根据 活动图模型的层次型特点，引入了针对活动的层次化的测试剖面（Test Pro...
关键词：测试用例 UML活动图 测试场景 测试剖面 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部