公共文化服务平台

陈利: 作品数：54 被引量：145H指数：7; 供职机构：华中师范大学计算机学院更多>>; 发文基金：国家自然科学基金软件工程国家重点实验室开放基金国防科技技术预先研究基金更多>>; 相关领域：自动化与计算机技术文化科学电子电信动力工程及工程热物理更多>>

合作作者

Linux中断系统的程序依赖性度量: 2005年; Linux开源的特性为修改该操作系统提供了途径.但是目前很少有相应的理论对该系统的修改结果进行量化.程序依赖性分析是软件分析的基本理论,可以对程序的多项依赖性指标进行度量.基于此根据依赖性理论对Linux(0.11版本)的中断模块进行分析,并根据分析结果提出对系统程序的改进方向,为理解和度量复杂系统程序提供了一种方法.; 张凯陈利

开放系统中信任的自动建立被引量：3: 2006年; 鉴于一个用户的身份在开放系统中不足以证明他是否可信,本文提出了一种基于属性的信任自动建立方法.交互的双方首先互相交换自己的信任书,信任书中包含了一些加密的敏感属性,然后根据自己的访问控制策略多次交换密钥,逐步向对方显示自己的敏感属性.该方法与传统的信任建立方法相比,具有存储空间小,计算量小以及抗攻击能力强等优点.; 郭亚军徐芬洪帆陈利李蓉; 关键词：信任开放系统

基于状态图的测试用例自动生成方法: 2007年; 测试用例的生成是软件测试的关键和难点所在。基于UML状态图的测试是近年来研究的热点。本文根据UML状态图的层次结构,提出了对UML状态图分层产生测试用例的测试用例生成方法。对迁移关系冲突而导致测试无法正确执行的情况,给出了插入测试子序列来避免迁移冲突的测试方法。; 杨小艳陈利张凯; 关键词：软件测试状态图

计算机学科的教学同国际模式接轨的探讨被引量：2: 1996年; 从计算机软件专业的培养目标、教学计划、教学内容、教学方法、教学手段、教学评估、教学管理等方面探讨了计算机学科的教学同国际模式接轨的途径，并介绍了实现这些教学改革措施的初步效果．; 冯刚何婷婷李邦几魏开平张瑞庆陈利; 关键词：计算机学科教学改革教学计划教学方法教学评估

基于软件体系结构的测试及其工具研究被引量：2: 2003年; In this paper ,we discuss the objective and the significance of software testing on the basis of software ar-chitecture; we propose the content of testing planing of software architecture and testing criteria; on the level of ar-chitecture,through comparison with traditional testing tools,we present testing tools in integration environment andanalyze the roles of these tools. On the basis of this,we further suggest the structure of a integration testing environment.; 叶俊民王振宇陈利赵恒; 关键词：软件体系结构软件工程软件测试工具

动态合同网安全模型的研究: 2009年; 以往的多Agent间的通信都是建立在理论安全的网络传输的基础上,但网络中信息的传递必须考虑安全问题。为此,引入数字签名技术,运用加解密算法对合同网协议中的信息进行处理,构造了一个具有安全性的动态合同网模型。运用有色Petri网建模,CPN Tools分析,实验结果表明,该模型具有可达性、活性、公平性的特点。; 刘灵敏陈利顿煜卿刘静董刚刚; 关键词：动态合同网数字签名有色PETRI网 CPN TOOLS

微机接口虚拟实验系统的设计与实现被引量：2: 2008年; 论述了微机接口虚拟实验系统的设计与实现,针对现在微机接口虚拟实验系统的不足,提出了相应的改进方案。给出了改进后的虚拟实验室结构,虚拟实验系统的模型及其工作原理,并介绍了实现的技术。系统为用户远程学习微机接口课程提供了良好的实验平台。; 王光伟陈利李丹李功丽; 关键词：虚拟实验系统接口技术智能客户端

以培养计算思维能力为核心的操作系统实验教学: 2014年; 计算思维采用计算机科学的思想和方法进行问题求解和系统设计，是目前国内外教育界的研究重点。针对操作系统课程实践性强，实践教学和理论教学难以有效结合等问题，提出将计算思维应用于操作系统课程的实验教学中：通过调整实验教学目标、制定以计算思维能力培养为核心的实验教学方案，来改善该门课程的实验教学效果，提高课程的教学质量。教学实践证明，本教改思路是可行有效的。; 李琼陈利; 关键词：计算思维操作系统课程实验教学

软件体系结构讲座(七) 软件体系结构的语言问题被引量：2: 2000年; 本讲讨论为什么同软件体系结构相关的有一个语言问题、对软件体系结构描述语言的要求,如何对已有语言进行增补使之支持某些体系结构构造,等等。主要内容来自第7章。; 王振宇况银瓶陈利; 关键词：软件体系结构体系结构描述语言软件工程

并发软件的图形化设计方法研究(一):并发设计语言CONDL的定义被引量：2: 2002年; 这项研究的目标是:为并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架(并发程序单元的划分和它们之间的通信)。这样做的好处在于提高软件的生产率,改善软件质量。在论文的这一部分,给出了并发设计语言CONDL的定义。; 王振宇陈利; 关键词：并发软件通信软件质量