国家自然科学基金(60373016)

作品数:21被引量:45H指数:4
导出分析报告
相关作者:金茂忠刘超吴际贾晓霞柳永坡更多>>
相关机构:北京航空航天大学西南通信研究所更多>>
相关期刊:《计算机工程与应用》《计算机工程》《计算机工程与设计》《北京航空航天大学学报》更多>>
相关主题:软件测试JAVA白盒测试JAVA程序垃圾回收更多>>
相关领域:自动化与计算机技术天文地球更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
程序动态分析系统中插装方式的改进被引量:6
《计算机工程与设计》2007年第19期4585-4588,共4页钟芳挺 刘超 金茂忠 
国家自然科学基金项目(60373016)
动态分析是程序理解的重要方法,而插装技术是其中常用的关键技术之一。介绍了QESat/C++中动态分析子系统的插装策略,在其基础上提出并实现了新的插装器并改进了插装探针库的效率。实验表明,改进后的动态分析子系统具有插装速度快、动态...
关键词:动态分析 插装 软件理解 探针 不变式分析 
软件问题生命周期模型研究
《计算机工程与设计》2007年第12期2765-2767,2771,共4页尹非凡 晏海华 赫建营 
国家自然科学基金项目(60373016)
软件问题管理是软件测试的核心活动,也是软件测试管理的灵魂。探讨了软件问题管理的重要性,介绍了两种软件问题生命周期建模的基本模型,提出了一种包含子状态控制的状态可定制的改进的生命周期模型,最后基于提出的生命周期模型给出与其...
关键词:软件问题 软件问题管理 软件问题生命周期 生命周期建模 建模方法 
软件测试项目的追踪与控制方法被引量:1
《计算机工程》2007年第22期86-88,共3页于蕾 晏海华 赫建营 
国家自然科学基金资助项目"基于统计学的软件使用测试及其分析方法研究"(60373016)
如何有效追踪和控制软件测试项目是一个亟待解决的问题。该文分析了项目追踪与控制在测试过程管理领域的实施方法,探讨了测试项目中计划、追踪与控制的定义以及三者之间的关系,并结合已经实现的软件平台分析了测试项目追踪与控制的实施...
关键词:软件测试 测试项目追踪 测试项目控制 
基于正交设计的软件过程度量分析方法被引量:3
《计算机工程与设计》2007年第15期3545-3547,共3页薛丽 钱红兵 
国家自然科学基金项目(60373016);国家863高技术研究发展计划基金项目(2004AA112090)
软件过程度量的一项工作是分析、确定影响过程能力的显著因素,并将其结果作为建立过程改进决策的基础,即在软件过程度量中找出影响某一指标的主要因素,针对这些因素对软件过程加以控制和改进。这一过程对建立过程改进的有效决策是至关...
关键词:正交设计 软件过程度量 因子 指标 极差分析 
基于XML的通用测试文档生成方法研究被引量:3
《计算机工程与设计》2007年第20期4836-4838,4844,共4页李菲 晏海华 赫建营 
国家自然科学基金项目(60373016)
针对目前软件测试过程中通用文档自动生成所面临的问题,介绍了一种基于XML的通用测试文档生成方法。分析了软件测试文档的基本种类及文档生成的重要性,论述了将XML技术用于通用文档生成中的优势,给出了一个基于XML的通用测试文档生成模...
关键词:软件测试 软件测试文档 文档生成 文档生成模型 通用 
面向对象系统灰盒测试模型的研究与应用
《计算机工程与设计》2007年第15期3551-3553,3562,共4页张懋 张茂林 杨海燕 柳永坡 
国家自然科学基金项目(60373016)
白盒测试是保证高可靠性软件质量的有效手段。由于传统白盒测试成本较高,且具有相对的局限性,对大型可靠性软件实施测试可能并不实用。因此,在实际测试过程中需要使用一套黑盒和白盒相结合的灰盒测试的工程化方法。结合实际项目,给出了...
关键词:灰盒测试 代码审查 功能测试 覆盖测试 回归测试 
面向Java的对象行为建模及可视化方法被引量:1
《计算机工程》2007年第18期48-50,共3页贾晓霞 吴际 李郭欢 金茂忠 
国家自然科学基金资助项目(60373016)
程序行为的描述和"可视化"方法是理解程序的重要手段。该文基于对象的方法调用和被调用序列,描述了对象生命周期内的行为,定义了Java对象生存期行为模型,并使用活动树进行可视化。实例分析表明,LBM可以帮助用户理解不同对象行为间的差异。
关键词:对象行为建模 软件可视化 JAVA 
J2EE应用软件静态模型重构技术研究被引量:1
《计算机应用研究》2007年第11期196-199,共4页伞云飞 金茂忠 刘超 闫磊 
国家自然科学基金资助项目(60373016)
给出了J2EE应用软件静态模型的详细描述,并提出一种利用静态分析技术自动重构J2EE应用软件静态模型的方法,实现了原型工具,有效地帮助用户分析、理解、测试J2EE应用软件系统。最后通过一个实例描述模型的建立过程。
关键词:J2EE静态模型 J2EE构件 逆向工程 
大型交互式领域应用软件白盒测试的组织和实施被引量:2
《计算机应用研究》2007年第10期235-237,共3页柳永坡 杨海燕 晏海华 金茂忠 张志良 
国家自然科学基金资助项目(60373016)
针对具有大型、交互式、领域特点的软件系统,对于实际的白盒测试项目进行了认真总结,系统地阐述了该类软件测试的技术、方法、策略、过程以及管理。通过描述测试项目的组织和实施过程,提出了进行大型交互式软件测试的基本思路,即从过程...
关键词:白盒测试 交互应用软件 测试过程管理 测试用例 软件问题报告 
基于本体的软件测试知识管理模型研究被引量:4
《计算机科学》2007年第10期281-283,289,共4页赫建营 晏海华 刘超 
国家自然科学基金(编号:60373016)。
本文针对知识管理在软件测试领域的具体应用,提出了一个基于本体的软件测试知识管理模型,其关注的主要对象是软件测试过程中产生的具有高知识密集性的创造性文档。该模型的主要思想是:将软件测试知识分为个人知识和组织知识,并以本体索...
关键词:本体 软件测试 知识管理 
检索报告 对象比较 聚类工具 使用帮助 返回顶部