云南高校图书馆联盟文献共享服务平台- 湖北省自然科学基金(2005ABA266)

湖北省自然科学基金(2005ABA266): 作品数：16被引量：71H指数：3; 导出分析报告; 相关作者：卢炎生毛澄映谢晓东马良荔聂南更多>>; 相关机构：华中科技大学江西财经大学中国人民解放军海军工程大学郑州轻工业学院更多>>; 相关期刊：《Wuhan University Journal of Natural Sciences》《计算机应用研究》《小型微型计算机系统》《计算机研究与发展》更多>>; 相关主题：XMLAPISCHEMA构件软件测试可靠性更多>>; 相关领域：自动化与计算机技术理学更多>>

数据挖掘技术在软件工程中的应用综述被引量：21: 《计算机科学》2009年第5期1-6,26,共7页毛澄映卢炎生胡小华; 国家自然科学基金项目(60803046,70571025);中国博士后科学基金(20070410946);湖北省自然科学基金(2005ABA266);江西省教育厅科技项目(赣教技字[2007]267号)资助; 随着软件系统的规模和复杂性日益增长,软件开发已经演变成一项复杂的系统工程。软件工程中的对象、活动和过程更加难以控制和管理,因此该领域原有的经验直觉型的处理模式已经不能适应新的需求,而数据挖掘技术的引入为实现知识智能型软...; 关键词：数据挖掘软件工程预测软件项目管理开源软件

一种Java并发程序死锁动态检测的新方法被引量：1: 《小型微型计算机系统》2008年第12期2258-2261,共4页毛澄映卢炎生张金隆卢超; 国家自然科学基金项目(70571025)资助;教育部高等学校博士点基金项目(20060487005)资助;湖北省自然科学基金项目(2005ABA266)资助;江西省教育厅科学技术研究项目(赣高教技字[2007]-267)资助;中国博士后科学基金项目(20070410946)资助;江西财经大学校级青年课题资助; 死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖...; 关键词：死锁执行追踪信息加锁控制依赖线程间控制流图动态检测

构造基于构件依赖关系矩阵的元数据模型: 《计算机科学》2008年第7期269-273,共5页马良荔刘杰生李娟; 湖北省自然科学基金资助(编号2005ABA266); 构件集成到应用环境中实施集成测试时,会与其它构件产生相应的依赖关系。本文在对这些依赖关系进行概述的基础上,给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义,并依据这些定义,提出了构件依赖矩阵(CmDM)的概念,用以描述构...; 关键词：构件构件集成测试构件依赖关系构件元数据

基于XMLAPI的组件扩展接口变异测试方法被引量：4: 《计算机科学》2008年第6期283-286,共4页聂南谢晓东甘勇卢炎生; 国防预研基金(51315061);中国湖北省自然科学基金(2005ABA266);河南省自然科学基金(0611054800); 在传统的组件接口变异测试方法基础上,提出一种基于XML API的组件扩展接口变异测试方法。首先给出组件扩展接口测试的框架,建立起扩展接口的定义模型。XML API在组件内部建立处理数据集的XML校验器,实现了原组件接口的扩展。借助组件外...; 关键词：组件测试 XML API 接口变异 XML SCHEMA 变异算子

基于变更模型的元数据在构件回归测试中的应用研究: 《计算机科学》2008年第5期280-283,共4页马良荔郭福亮李永杰; 湖北省自然科学基金资助(2005ABA266); 本文针对Orso元数据方法的不足,对构件可能的变更进行了充分分析和分类,并按照分类情况对相关的构件变更处理方法进行了详尽的形式化描述,构造了构件变更模型,描述了每个变更的具体表现形式,论述了方法变更到构件接口变更的映射机制和算...; 关键词：构件构件集成测试构件回归测试构件元数据构件变更

IDL Compiler API Design, Application and Validation Based on XML API被引量：1: 《Wuhan University Journal of Natural Sciences》2008年第1期27-32,共6页NIE Nan LU Yansheng ZHANG Suzhi XIE Xiaodong; Supported by the Natural Science Foundation of Hubei Province (2005ABA266);the Natural Science Foundation of Henan Prov-ince (0611054800); In order to adapt different languages and platforms, the paper discusses how to process and validate IDL symbol table and intermediate code by XML API. It puts emphasis on IDL AP1 extension towards DOM API based on th...; 关键词：IDL COMPILER XML API UML

构件软件变更风险分析技术被引量：3: 《计算机科学》2008年第1期274-277,共4页毛澄映张金隆卢炎生; 国家自然科学基金项目(70571025);教育部高等学校博士点基金(20060487005);湖北省自然科学基金(2005ABA266)资助; 构件软件相较于传统软件系统有更快的演化速度,对其变更进行有效的度量将有利于后期的维护活动。本文分别针对代码可见及不可见两种类型的构件,运用改进的构件依赖图建模,表示构件软件系统。分两步分析构件变更所带来的风险:首先在计算...; 关键词：构件软件变更风险构件依赖图构件依赖树

Combination Reduction:A SYN-Sequence Selection Strategy for Reachability Testing of Concurrent Programs: 《Wuhan University Journal of Natural Sciences》2007年第6期1024-1028,共5页LU Chao LU Yansheng; Supported by the "Tenth-Five Years" National Science Pre-Research Foundation of China (41315.9.2);the Natural Science Founda-tion of Hubei Province (2005ABA266); Reachability testing is an approach to testing concurrent programs, which can systematically exercise every partially ordered SYN-sequence without constructing the static model. In fact, not all the SYN-sequences need...; 关键词：software testing reachability testing CONCURRENCY SYN-sequence

基于耦合测试信息元数据模型的构件集成测试被引量：3: 《计算机学报》2007年第10期1705-1712,共8页马良荔郭福亮李永杰; 湖北省自然科学基金(2005ABA266)资助; 文中提出一个方法,由构件开发方提供有关构件内接口变量定义和使用的信息,以提高构件的可测试性和可理解性.形式化地定义了构件耦合测试准则,定义-使用属性和观察点值.在此基础上,引入包含上述两项属性的定义-使用表(DU表),给出基于该...; 关键词：构件构件系统构件集成测试构件耦合测试构件元数据

面向对象程序的异常分析与测试方法述评被引量：2: 《计算机应用研究》2007年第8期25-29,37,共6页毛澄映卢炎生闫伟江胜; 国家"十五"科技预研基金资助项目(41315.9.2;10104010201);湖北省自然科学基金资助项目(2005ABA266); 从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。; 关键词：异常处理分析与测试控制流图形式推理覆盖准则

湖北省自然科学基金(2005ABA266)