题目：测试性验证样本充分性评价软件设计

测试性验证是通过试验方式来验证产品的故障检测能力与故障隔离能力是否满足测试性设计要求。测试性试验验证过程包括三个主要环节：故障样本选取、故障注入试验、试验结果评价。其中故障样本选取是进行测试性试验验证的首要工作。本文在研究应用充分性度量和准则进行样本选取新方法的基础上，设计实现了样本充分性评价软件。首先，分析了目前测试性验证中各种传统的样本选取方法存在的问题，根据充分性度量和准则进行样本选取新方法的优点，以及对样本选取工具的需求。其次，在定义UUT和样本集的故障模式信息数学模型基础上，给出了样本集充分性度量的通用定义，以及结构、功能、测试三种典型特性样本集充分性度量和准则、综合充分性度量和准则的定义。进而从理论上分析了对样本集进行充分性评价的数据构成、数据模型以及数据关联模型。第三，应用UML建模语言先从需求分析入手，介绍了样本充分性评价软件的功能和结构框架设计；给出了软件各信息数据，主要是结构、功能、测试、故障模式、样本集、充分性度量的数据结构以及各数据间关联关系的详细设计；并对软件主要功能模块，包括产品信息数据管理模块、抽样分析模块、充分性度量与传统方法配合建立样本集模块、样本量与充分度趋势分析模块进行了流程描述。第四，结合典型案例证明了软件功能及算法的正确性和可用性。建立了案例的各种典型特性数据，进行了样本集充分性度量，样本集补充，样本量与充分度趋势分析。