张凯
- 作品数：6 被引量：4H指数：1
- 供职机构：华中师范大学计算机学院计算机科学系更多>>
- 相关领域：自动化与计算机技术动力工程及工程热物理更多>>
- 基于SAAM方法的CASL编译程序软件体系结构分析被引量：1
- 2004年
- 介绍了一种基于场景的 ,面向对象的软件体系结构分析方法 (SAAM) ,并根据 SAAM方法提供的评价软件体系结构的可行的步骤对 CASL 编译程序所选用的管道过滤器风格的体系结构进行了一些分析 ,最终对 CASL编译程序采用的这种体系结构作出了整体的评价 .
- 程林辉张凯
- 关键词：软件体系结构
- 需求干扰问题的研究
- 2007年
- 针对需求阶段的特征干扰,分析其中出现的问题,应用形式化的方法检测,并用实例说明。
- 沈宁陈利张凯
- 关键词：形式化
- 堆栈溢出的BLP形式化研究及实现被引量：2
- 2007年
- 堆栈溢出是一种在各种操作系统、应用软件中广泛存在普遍且危险的漏洞,可以利用它执行非授权指令,甚至可以取得系统特权,进而进行各种非法操作。从安全操作系统的角度分析了堆栈溢出的原理,以BLP模型为工具对堆栈溢出进行了形式化并在此基础上适当调整了该模型,从安全模型的层次上消除了堆栈溢出的隐患。最后给出了调整后的BLP模型在LSM(Linux security module)上的实现。
- 张凯杨晓艳沈宁
- 关键词：安全操作系统堆栈溢出形式化BLP模型LINUX安全模块
- Linux中断系统的程序依赖性度量
- 2005年
- Linux开源的特性为修改该操作系统提供了途径.但是目前很少有相应的理论对该系统的修改结果进行量化.程序依赖性分析是软件分析的基本理论,可以对程序的多项依赖性指标进行度量.基于此根据依赖性理论对Linux(0.11版本)的中断模块进行分析,并根据分析结果提出对系统程序的改进方向,为理解和度量复杂系统程序提供了一种方法.
- 张凯陈利
- 基于状态图的测试用例自动生成方法
- 2007年
- 测试用例的生成是软件测试的关键和难点所在。基于UML状态图的测试是近年来研究的热点。本文根据UML状态图的层次结构,提出了对UML状态图分层产生测试用例的测试用例生成方法。对迁移关系冲突而导致测试无法正确执行的情况,给出了插入测试子序列来避免迁移冲突的测试方法。
- 杨小艳陈利张凯
- 关键词：软件测试状态图
- 基于UML的局域网通信程序的设计开发被引量：1
- 2005年
- 在介绍TCP/IP协议的通信控制原理的基础上,采用UML为建模工具,构建了在局域网环境中基于Socket的计算机之间通信程序的设计、开发的全过程,说明了在Windows下利用Socket进行网络编程的方法和特点,最终给出了一个在局域网中计算机之间通信传输和远程控制的实例。
- 张凯
- 关键词：TCP/IP通信程序局域网TCP/IP协议SOCKET控制原理
