软件动态度量及其在逆向工程中的应用

在对软件度量进行分析的基础上,指出常用的软件度量是静态的,只反映了系统可能的属性,而不是实在属性.定义了动态扇入扇出度量,用实例说明它们不但反映了系统实在的的属性,还可以用于确定系统中的关键组件,推断系统的功能.基于这个特性,提出了一种在逆向工程中快速认定系统中某一功能的具体实现过程的方法.在这种方法中使用了标有动态扇入扇出值的程序依赖图和部分植入技术.运用这种方法得到的信息量较少但都是与用户的关注点密切相关的,有助于用户快速理解系统.

软件系统结构的复杂性度量研究

软件规模及其复杂性的不断增大,致使传统的度量方法不能满足开发人员对软件质量的控制;为了解决这个问题,开发人员需要有新的方法来测量软件的复杂度,从而控制软件质量,优化软件结构。复杂网络的研究为软件开发人员在系统层面上度量软件的复杂性提供了新的认识和理论支持;讨论了基于复杂网络的软件静态结构和动态结构的复杂性度量方法及其对当今大规模软件开发的指导意义;给出了一个软件结构复杂性度量的研究工具。

一种基于可信计算的涉密文件抗丢失技术

分析软件的安全威胁和涉密文件的安全威胁,概述可信计算中软件行为动态度量技术和涉密文件数字水印技术,提出一种基于可信计算软件动态度量和文件水印标签技术相结合的涉密文件抗丢失技术方案.最后对该技术模型的特点进行了总结.