支持软件可信性分析和评估的生产线项目组2010年06月30日.docVIP

国家863计划重点课题 可信软件生产工具及集成环境 支持软件可信性分析和评估的生产线 IA4J用户手册 版本：v1.0 支持软件可信性分析和评估的生产线项目组 2010年06月30日 1引言 3 1.1编写目的 3 1.2背景 3 1.3定义 3 1.3.1 属性的不变性 3 1.3.2 方法的不变性 4 1.3.3 类的不变性 4 1.4参考资料 4 2用途 5 2.1功能 5 2.2性能 5 2.2.1精度 5 2.2.2灵活性 5 3运行环境 5 3.1硬设备 5 3.2支持软件 5 4使用过程 6 4.1安装与初始化 6 4.2输入 7 4.3输出 7 4.3.1 分析结果的统计信息 8 4.3.2 分析结果的详细信息 8 5附录 部分分析结果的详细信息 10 1引言 1.1编写目的 本手册是IA4J工具的用户手册，旨在帮助该工具的用户正确使用工具所提供的功能。 1.2背景 IA4J是一个分析程序不变性的工具。它能够对Java程序的字节码进行静态分析，输出该程序中所有的类，属性和方法的不变性信息。首先通过对Java程序的字节码进行静态扫描获得程序中的基本信息，然后通过迭代的分析技术分析程序中各个类，属性和方法的不变性信息。此工具由南京大学计算机系软件工程教研室独立设计与开发完成。 1.3定义 1.3.1 属性的不变性 属性的不变性性质分为三类：不变（immutable），可变（mutable）和不确定（undecided），在不确定（undecided）的类别中又细分出引用逃逸（reference escape）一类，下面分四种具体情况进行说明（在这些定义中，都不考虑类的构造方法）： 属性是不变的，当且仅当该属性满足如下任意条件之一：（1）它是基本数据类型，并且没有被重新赋值；（2）它是引用类型，其指向关系没有被重新赋值，并且它所指向的对象所属的类是不变的；（3）它是引用类型，其指向关系没有被重新赋值，并且它所指向的对象所属的类是可变的，但是该引用没有被逃逸，并且该引用没有调用可变的成员方法； 属性是可变的，当且仅当该属性满足如下任意条件之一：（1）它是基本数据类型，并且被重新赋值；（2）它是引用类型，其指向关系被重新赋值或者它调用了可变的成员方法； 属性是引用逃逸，当且仅当该属性是引用类型，其指向关系没有被重新赋值，但是该引用被逃逸，并且该引用所指向的对象所属的类是可变的； 其它情况都是不确定的。 1.3.2 方法的不变性 方法的不变性性质分为三类：不变，可变和不确定，下面分三种具体情况进行说明： 方法是不变的，当且仅当该方法同时满足以下所有条件：（1）该方法中不存在对属性的赋值语句；（2）该方法中没有调用引用类型属性的可变成员方法；（3）该方法没有将那些所指向的对象所属的类是可变的引用类型属性逃逸 方法是可变的，当且仅当该方法满足以下任意条件之一：（1）该方法中存在对属性的赋值语句；（2）该方法调用了引用类型属性的可变成员方法；（3）该方法中存在将引用类型属性逃逸的语句，且这些逃逸的引用所指向的对象所属的类是可变的； 其它情况都是不确定的（例如，该方法将引用类型属性逃逸，但是该引用所指向的对象所属的类是不确定的；该方法调用了引用属性的成员方法但是该成员方法是不确定的）。 1.3.3 类的不变性 类的不变性性质划分成三类：不变，可变和不确定，下面分三种具体情形进行说明： 类是不变的，当且仅当该类中定义的所有属性都是不变的； 类是可变的，当且仅当该类中至少存在一个属性是可变的； 其它情况都是不确定的（例如：该类中所有属性都是不确定的；该类中部分属性是不变的但是其他属性都是不确定的）。 1.4参考资料 于利前，王林章，雷斌，赵建华，李宣东. 静动态结合的Java程序不变性分析方法. 计算机学报，2010年4月，第33卷（第四期）. 2用途 2.1功能 本工具的开发目的是：为程序员设计一套分析程序不变性的分析工具，方便程序员在开发程序时能够利用程序中的不变性信息优化他们的程序，并且减少程序中一些隐藏的bug和缺陷。 本工具提供的主要功能有： 分析Java程序中类的不变性 分析Java程序中属性的不变性 分析Java程序中方法的不变性 2.2性能 2.2.1精度 IA4J对时间的统计精确到毫秒级。 2.2.2灵活性 本软件用Java语言开发，可在多种操作系统平台上运行，灵活性高。 3运行环境 3.1硬设备 本系统对硬件设备没有硬性要求，为了性能起见，建议处理器PentiumⅣ 2.0G, 内存1G. 3.2支持软件 IA4J要求用户平台上安装有1.3版本及以上的JDK。 IA4J支持在下列操作系统及平台上运行： Micros