公共文化服务平台

湖北省自然科学基金(2005ABA266): 作品数：16 被引量：87H指数：4; 相关作者：卢炎生毛澄映谢晓东马良荔聂南更多>>; 相关机构：华中科技大学江西财经大学中国人民解放军海军工程大学更多>>; 发文基金：湖北省自然科学基金国家自然科学基金中国博士后科学基金更多>>; 相关领域：自动化与计算机技术理学更多>>

IDL Compiler API Design, Application and Validation Based on XML API被引量：1: 2008年; 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 API ex- tension towards DOM API based on the idea of combining XML with IDL compilers. At last, the IDL compiler designing frame- work based on XML API is given, in which compiler front end can be managed and validated by some XML techniques and tools, IDL API can be validated on the basis of test, so IDL intermediate code is provided with maintainability, portability and generation. IDL compiler can be developed and extended by XML-based API, which realizes versatility and portability of modern compiler.; NIE NanLU YanshengZHANG SuzhiXIE Xiaodong; 关键词：程序语言中间体计算机技术

基于耦合测试信息元数据模型的构件集成测试被引量：3: 2007年; 文中提出一个方法,由构件开发方提供有关构件内接口变量定义和使用的信息,以提高构件的可测试性和可理解性.形式化地定义了构件耦合测试准则,定义-使用属性和观察点值.在此基础上,引入包含上述两项属性的定义-使用表(DU表),给出基于该表的构件框架.最后将上述方法应用于自主开发的构件中,并生成了相应的测试用例.将文中提出的方法与Orso方法和Kan方法进行了相关的比较,结果表明文中方法无论在测试用例生成,还是在变异发现上都更有效.; 马良荔郭福亮李永杰

基于插桩技术的并行程序的重演方法被引量：1: 2006年; 提出了一种新的跟踪、重演方法,采用插桩技术在源程序中插入控制程序执行的同步操作,使特定的同步事件序列再现.此方法将同步控制逻辑分散在源程序中,很好地适应了基于消息传递并行系统的运行特征,提高了重演执行的性能,并且不存在缓冲区溢出问题.; 殷贤亮丁宁; 关键词：竞争分析插桩

面向对象程序的异常分析与测试方法述评被引量：2: 2007年; 从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。; 毛澄映卢炎生闫伟江胜; 关键词：异常处理控制流图

数据挖掘技术在软件工程中的应用综述被引量：19: 2009年; 随着软件系统的规模和复杂性日益增长,软件开发已经演变成一项复杂的系统工程。软件工程中的对象、活动和过程更加难以控制和管理,因此该领域原有的经验直觉型的处理模式已经不能适应新的需求,而数据挖掘技术的引入为实现知识智能型软件工程提供了重要契机。以软件工程领域中的数据对象为主线,对在程序代码分析、故障检测、软件项目管理、开源软件开发等软件活动中所运用到的数据挖掘技术进行了系统的介绍和归纳,并在每一环节作了方法间的优劣性对比分析。最后还指出了若干值得进一步研究的方向。; 毛澄映卢炎生胡小华; 关键词：数据挖掘软件工程软件项目管理开源软件

基于XMLAPI的组件扩展接口变异测试方法被引量：6: 2008年; 在传统的组件接口变异测试方法基础上,提出一种基于XML API的组件扩展接口变异测试方法。首先给出组件扩展接口测试的框架,建立起扩展接口的定义模型。XML API在组件内部建立处理数据集的XML校验器,实现了原组件接口的扩展。借助组件外部的XML Schema变异算子,完成了组件内部数据集的自动验证和组件接口参数的测试。该方法具有多种优点,例如可视的多功能测试接口、可跨平台的通用性的测试语言等。实验表明,该方法可以应用于COM,CORBA,EJB等多种组件的测试环境。; 聂南谢晓东甘勇卢炎生; 关键词：组件测试 XML API 接口变异 XML SCHEMA 变异算子

一个C/C++程序集成测试平台的设计与实现被引量：4: 2007年; 研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响,并能有效提高软件生产率,是当今软件业界一个极具现实意义的课题.以目前广为使用的C/C++程序作为测试对象,从程序结构信息获取、插装、I/O重定向等方面探讨如何实现方法级结构性测试;按需求规约对类的状态转换行为运用EFSM建模,依据类状态转换图自动生成测试用例,在类测试驱动器的执行下实现基于状态的类测试.在系统级别上,运用等价类、边界值分析等常规策略进行黑盒测试.此外,运用聚类技术对失效执行进行聚类分析,并从中抽样出典型的测试执行用例用于指导程序的进一步诊断.所实现的原型系统CppTest具备多级别测试、测试项目化管理、自动化/可视化程度高、扩展性好等优点.; 毛澄映卢炎生谢晓东江胜顾海波; 关键词：结构性测试聚类分析

基于变更模型的元数据在构件回归测试中的应用研究: 2008年; 本文针对Orso元数据方法的不足,对构件可能的变更进行了充分分析和分类,并按照分类情况对相关的构件变更处理方法进行了详尽的形式化描述,构造了构件变更模型,描述了每个变更的具体表现形式,论述了方法变更到构件接口变更的映射机制和算法,给出了算法实现的框架,并将这些理论模型应用到自主开发的构件Register- StuGrade中,与没有元数据情况下的回归测试用例生成技术以及Orso方法进行回归测试用例教和回归测试运行时间两方面的分析和对比,给出了比较结果。; 马良荔郭福亮李永杰

构件软件测试技术研究进展被引量：42: 2006年; 软构件技术提供了一种较面向对象方法更为有效的软件设计模式,构件软件被广泛应用并成为一种主流软件形态·然而,构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等特点给构件软件系统的测试带来极大的挑战,寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界一个亟待解决的课题·分析和归纳近年来一些典型的构件、构件软件测试方法和技术并对当前较为有效的测试框架和工具进行总结;最后,对其今后若干研究方向进行了展望·; 毛澄映卢炎生; 关键词：可测试性网构软件可靠性

构造基于构件依赖关系矩阵的元数据模型: 2008年; 构件集成到应用环境中实施集成测试时,会与其它构件产生相应的依赖关系。本文在对这些依赖关系进行概述的基础上,给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义,并依据这些定义,提出了构件依赖矩阵(CmDM)的概念,用以描述构件Cm与构件系统中其它构件之间的依赖关系,接着进一步定义了复杂依赖关系矩阵(CmDDM),用以对依赖关系矩阵(CmDM)进行更为详细的描述。对依赖矩阵方法在回归测试、构件变更处理和软件重用的应用方法进行了形式化的描述,进一步将基于依赖关系矩阵的方法应用于学校内部开发的构件Register-StuGrade中,并另外选取了三个与之有关的构件,对其依赖关系进行分析,建立相应的构件依赖关系矩阵和复杂依赖关系矩阵,并与Orso方法、Spec方法(基于规范说明的方法)所生成的测试用例对于构件RegisterStuGrade源代码的覆盖情况进行了对比,从而证明了本方法的有效性。; 马良荔刘杰生李娟

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

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

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

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈