雅宝题库解析：
随着软件产业的不断发展，软件不断向系统化、集成化发展，软件所实现的功能越来越强大，复杂程度越来越高，最终导致软件质量越来越难以保证。软件测试性作为衡量软件测试难易程度的一种属性，它的研究工作越来越受到重视。软件测试性分析旨在软件开发过程中分析出软件测试性薄弱的环节，对其进行修正，以提到软件的测试性。 目前测试性分析的研究主要停留在理论阶段，难以实际运用到具体项目中，针对复杂嵌入式软件的分析方法更是一片空白。随着四代机研制纳入我国十二五规划，更是急切需要对复杂嵌入式软件的测试性分析工作进行研究。 本文分别从航电系统的发展历程和复杂系统两个方面来论述IMA(Integrated Modular Avionics)结构的复杂性及其特点，然后对比ASAAC和ARINC 653两种流行IMA软件体系结构来分析IMA软件的共同特征，进而将其应用程序进行对比分析，提出能够描述IMA应用程序的IMA任务图，指出节点与任务是IMA任务图中的两个基本组成元素。 文章针对IMA任务图中节点与任务的特点分别提出对应的测试性分析方法。在节点测试性分析方法中，首先将节点转换为SSA(Static Single Assignment)表格再进一步转换为ITG(Information Transfer Graph)图。以信息论为基础对ITG图进行测试性分析，针对测试性分析结果——流的数量以及每个模块在流中测试性值的分布——进行模糊综合评价，最终分析出整个节点的测试性值。在任务测试性分析方法中，以DRR(Domain Range Ratio)模型为原型，进一步分析软件内部信息的丢失，建立基线流测试性分析模型并与DRR模型进行对比，突出基线流模型的优势。方法最后分析了复杂嵌入式软件的时间测试性影响因素，通过三星模型对任务的时间测试性进行分析。 文章最后采用某一惯导软件中的XX模块作为验证对象，对本文提出的节点测试性分析方法和任务测试性分析方法进行了验证，证明了该方法的实用性和可行性。
发表于 2022-4-21 17:37:46
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
QQ登录
