刘孟仁
- 作品数:30 被引量:184H指数:7
- 供职机构:中国人民解放军海军工程大学电子工程学院计算机工程系更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术军事电子电信交通运输工程更多>>
- 基于构件的软件测试技术研究被引量:3
- 2005年
- 1引言
过去的几十年,软件开发模式发生了很大的改变.随着软件开发机构对开发成本、周期要求的提高,产生了软件构件化.
软件构件技术的提出解决了面向对象技术无法使大量结构相似的应用程序结构得到重用的矛盾.因此构件技术对软件重用和集成具有非常重大的意义,已成为当前软件领域主流技术和研究热点.
- 马良荔卢炎生刘孟仁
- 关键词:软件测试技术软件开发模式构件化
- 信息安全意识教育浅议被引量:1
- 2004年
- 论述了网络信息安全与经济发展、社会稳定、国家安全和战争胜负的关系,说明保护网络信息安全是网络边防的任务。分析了当前院校存在有网无防和信息安全教育薄弱的现象,指出除了应建立网络信息安全保障机制外,更要着眼信息战人才的需要,全面培养学员的信息素质,迎接信息战的挑战。
- 刘海庆刘孟仁
- 关键词:信息安全信息战信息素质
- 软件过程改进方法的研究与设计被引量:13
- 2004年
- 成熟度模型(CMM)是当前国内外研究的热点。给出了如何理解CMM的基本概念,提出了两种软件过程改进方法,即基于同行评审和测试的软件过程改进方法和基于CASE工具和文档的软件过程改进方法。这两种方法是分别针对现有软件开发机构实施过程改进时遇到的实际问题,结合CMM的关键实践而设计的。最后对现有软件过程活动中存在的问题进行了相关总结。
- 马良荔刘孟仁
- 关键词:能力成熟度模型CASE软件质量
- 模型检测在软件测试中的应用被引量:8
- 2006年
- 随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题。在为此提出的诸多理论和方法中,模型检测(model checking)以其简洁明了和自动化程度高而引人注目。具体介绍了模型检测的一些理论,同时将它应用于具体的软件程序,运用模型检测方法对软件进行测试。从而证明了模型检测方法与测试结合对于软件可靠性和正确性所起的巨大作用。
- 张宁宁刘孟仁
- 关键词:软件测试
- Agent技术在数据仓库中的应用研究被引量:8
- 2003年
- agent和数据仓库技术一直是当前国内外研究的热点。首先概括了数据仓库的定义、体系结构 ,然后 ,对agent的基本特征进行具体的与数据仓库技术相关的描述 ,并分析了移动agent的优势 ,接着 ,就如何在数据仓库的数据获取和信息访问两个阶段引入agent技术给出了具体的设计思想和说明 。
- 马良荔刘孟仁
- 关键词:移动AGENT技术数据仓库分布式人工智能数据获取信息访问
- 基于Agent的“信息路由”通信模型
- 2004年
- 针对一种基于Agent的信息收集系统,提出了一个具备"信息路由"模块的通信模型.依据该通信模型,定义了一种用作消息传送的通信语言,并给出了该语言XML的描述.
- 刘海庆邹云松刘孟仁
- 关键词:AGENT系统通信模型通信语言
- 用于构件集成测试的分层元数据的设计与实现被引量:1
- 2007年
- 在对构件元数据的基本思想进行概述的基础上,提出了一种分层元数据的概念,并从构件使用方和构件开发方两个角度分析了对构件的需求。设计了分层元数据对象的模型以及分层元数据的层次结构,并进一步给出了元数据的具体内容及其XML表示的实现思想。最后结合一个描述构件硬件运行环境的元数据实例,给出了相关的XML代码。
- 马良荔卢炎生刘孟仁
- 关键词:构件软件测试UML
- 一种支持原型法的应用软件开发环境
- 1989年
- 目前,各种应用软件日益庞大复杂,如各种管理信息系统(MIS)、决策支持系统(DSS)和正在研究的各种大规模综合集成系统等,这种日益增长的复杂性和传统的软件开发方式导致了漫长的软件开发周期。传统的“软件开发生命周期”(SDLC)方法已满足不了快速开发应用软件的要求。本文论述了SDLC方法及其存在的问题,原型法及其特点,最后提出了一种支持原型法的应用软件开发环境,并简要介绍了它在开发MIS中的一个应用。
- 诸葛海刘孟仁
- 关键词:原型法应用软件开发软件开发方式软件开发周期自动生成系统
- 遗传算法应用于知识处理
- 余少波严隽永刘孟仁
- 关键词:遗传学
- 软件工程能力成熟度模型研究被引量:24
- 1998年
- 本文首先对能力成熟度模型(CMM)进行了介绍,然后分析了CMM的结构,明确了其中的概念,接着对能力成熟度模型中的每一成熟级别进行了分析,最后讨论了CMM的研究现状及其发展趋势。
- 马良荔刘孟仁贲可荣
- 关键词:能力成熟度模型