题目：面向测试的软件测试性设计技术研究

软件规模及复杂程度的提高使得软件测试的难度和成本不断增大。被视为解决方法之一的软件测试性研究工作正受到越来越多关注。软件的测试性设计旨在提高软件产品的测试性，以达到简化测试流程，降低测试成本的目的。当前，软件测试性设计尚处于分散的研究状态，大都致力于提高软件某一方面的测试性，远未形成完整的理论与操作体系。因此本文在综合现有的软件测试性研究成果的基础上，提出了具有实际指导意义的软件测试性设计方法和准则，在软件测试性实践化的道路上迈出了十分重要的一步。本文研究了软件测试性的相关定义及度量方法，结合软件外部表现形式提出了软件测试性目标层的概念，并详细分析了软件测试性目标层的组成，确立了目标层元素与软件测试性的相关性，为软件测试性的参数分解提供了基础。之后对软件测试性的影响因素进行研究，并从中提取出22个典型软件测试性参数。本文以此为基础，构建出了完整的软件测试性参数体系。结合软件需求工程成熟的理论框架，本文提出了软件测试性需求的概念，并给出了具体的软件测试性需求分析方法。该方法首先以软件特性和软件测试类型作为外部输入，获取详细的软件测试性需求，继而从工程化角度提出了软件测试性需求的分析、验证和管理等方法。论文最后结合具体的软件工程过程(需求分析，体系结构设计，详细设计)和软件测试性参数，提出了详实的软件测试性设计准则或规范，用于指导实际软件开发工作，提高软件产品的测试性。