随着软件复杂性的增长和入侵攻击的加剧,可信性问题日益严峻,如何在软件可信性增长系统中生成测试用例成为当前研究的一个热点。本文在软件可信性研究与软件测试相关研究的国内外基本现状的基础上,针对软件可信性增长测试用例生成的问题开展了一系列研究,主要体现在如下几个方面：首先,设计了一种软件可信性增长系统框架,该框架以组件、连接件、接口、配置信息等要素为基本成分,同时,该框架具有开放式关键任务系统结构,支持自顶向下、多层次的可信性设计,以自调节、自配置为增长方式,并具有自毁的能力。其次,基于该框架的体系结构,对测试用例生成方法进行了研究。本文定义了软件体系结构覆盖准则,依据生成的可信性增长体系结构描述构造配置行为图和配置中间信息,在分析可信性增长体系各基本组成成分之间的依赖关系的基础上,利用测试覆盖准则,生成了反映软件可信性增长系统元素端口事件路径的测试用例。再次,本文研究了可信软件的属性,在此基础上提出了一种软件可信性增长测评模型。本文形式化的描述了该测评模型,并对其基本指标集进行了定义和量化。同时,本文给出了软件可信性增长测评模型的自律规则,增大了该模型的使用范围。最后,本文利用前文提出的面向软件可信性增长系统测试用例生成方法进行了实验,同时,依据该测试用例生成方法和可信性增长测评模型,开发了软件可信性增长测评工具CGT-Test,并利用该工具对试验系统的恢复性属性进行了评价。