航空软件综合测试验证平台制造技术

本发明专利技术涉及航空软件综合测试验证平台，该平台根据项目立项、需求分析、项目策划、项目实施、项目总结的业务顺序为测试人员搭建有测试级别选择模块、文档审查模块、代码审查模块、动态测试模块、模型测试模块以及云服务；所述测试级别选择模块用于选择待测目标的级别；所述文档审查模块配置有与待测目标的级别相对应的文档测试工具实现对待测目标的文档审查；所述代码审查模块配置有不同类型的代码自动测试工具用于测试待测目标的代码；所述动态测试模块根据待测目标的级别分别设置有对应的测试系统；所述模型测试模块配置有自动化模型测试工具；所述云服务用于将测试过程数据、管理数据上传至网络平台。

【技术实现步骤摘要】
航空软件综合测试验证平台
本专利技术涉及航空软件测试领域，具体涉及一种航空软件综合测试验证平台。
技术介绍
为了满足测试业务的要求和测评实验室的建设，应该准备好相应的硬件和软件环境。根据当前所内开展的测试业务及其配套设备，对实验室环境建设进行了以下总结：实验室拥测试管理平台，能够实现对测试信息化等方面的管理；实验室拥有多种测试工具，如Testbed、EMRunner以及模型开发工具Scade等，实现测试的自动化；现有技术的缺点在于：实验室缺少模型测试工具，验证模型设计的正确性及完整性；实验室缺少更加专业化的配置项/系统测试平台，实现对各专业进行系统仿真测试；实验室缺少智慧化的测试平台，能够集成各个专业的测试工具以及测试环境，分析测试数据，简化测试过程，丰富测试手段，更好的服务于测试工作。为保质保量的完成测评实验室资质申请，以上支持工具需及时得到有效解决，才能快速、高效的完成测评实验室建设。
技术实现思路
本专利技术的目的在于克服现有技术的不足，提供一种航空软件综合测试验证平台，结合测试业务，从立项-策划-文档审查-模型测试-代码审查-单元及部件测试-配置项及系统测试-评审-总结-试验，针对性的集成或研发相对应阶段的测试工具来辅助完成测试和管理工作。本专利技术的目的是通过以下技术方案来实现的：航空软件综合测试验证平台，该平台根据项目立项、需求分析、项目策划、项目实施、项目总结的业务顺序为测试人员搭建有测试级别选择模块、文档审查模块、代码审查模块、动态测试模块、模型测试模块以及云服务；所述测试级别选择模块用于选择待测目标的级别；所述文档审查模块配置有与待测目标的级别相对应的文档测试工具实现对待测目标的文档审查；所述代码审查模块配置有不同类型的代码自动测试工具用于测试待测目标的代码；所述动态测试模块根据待测目标的级别分别设置有对应的测试系统；所述模型测试模块配置有自动化模型测试工具；所述云服务用于将测试过程数据、管理数据上传至网络平台。作为本方案的进一步改进，所述测试级别分为单元/部件测试、配置项测试和系统测试。作为本方案的进一步改进，所述文档审查模块为单元/部件测试配置有BenderRBT审查工具，为配置项测试配置有文档自动测试工具，为系统测试配置有需求测试工具。作为本方案的进一步改进，所述代码自动测试工具包括TestBed、C++Test、Coventy、EMRunner、Polyspace、KlocWork。作为本方案的进一步改进，所述动态测试模块为单元/部件测试配置有TestBed、C++Test、Coventy、EMRunner、Polyspace、KlocWork，为配置项测试配置有半实物仿真环境，为系统测试配置有实物/半实物仿真环境。作为本方案的进一步改进，所述实物/半实物仿真环境涵盖机电专业、飞控专业、航电专业。作为本方案的进一步改进，所述自动化模型测试工具包括SCADE、MATLAB、Rhapsody。作为本方案的进一步改进，所述平台还为开发人员配置有模型开发工具、评审管理系统、试验管理系统、数据分析系统以及第三方接口。作为本方案的进一步改进，所述平台为管理人员根据项目进展分别配置有测试项目管理模块、被测对象管理模块、测试环境管理模块、测试需求管理模块、测试任务管理模块、测试进度管理模块、测试设计管理模块、测试执行管理模块、测试缺陷管理模块、测试总结管理模块、测试经验管理模块。本专利技术的有益效果是：通过综合性的测试验证平台，将分散性的工作进行集中处理，提高了工作效率。附图说明图1是本专利技术的系统框图；图2是本专利技术测试业务流程图。具体实施方式下面结合具体实施例进一步详细描述本专利技术的技术方案，但本专利技术的保护范围不局限于以下所述。如图1-2所示：航空软件综合测试验证平台，该平台根据项目立项、需求分析、项目策划、项目实施、项目总结的业务顺序为测试人员搭建有测试级别选择模块、文档审查模块、代码审查模块、动态测试模块、模型测试模块以及云服务；所述测试级别选择模块用于选择待测目标的级别；所述文档审查模块配置有与待测目标的级别相对应的文档测试工具实现对待测目标的文档审查；所述代码审查模块配置有不同类型的代码自动测试工具用于测试待测目标的代码；所述动态测试模块根据待测目标的级别分别设置有对应的测试系统；所述模型测试模块配置有自动化模型测试工具；所述云服务用于将测试过程数据、管理数据上传至网络平台。作为本方案的进一步改进，所述测试级别分为单元/部件测试、配置项测试和系统测试。所述文档审查模块为单元/部件测试配置有BenderRBT审查工具，为配置项测试配置有文档自动测试工具，为系统测试配置有需求测试工具；所述代码自动测试工具包括TestBed、C++Test、Coventy、EMRunner、Polyspace、KlocWork；所述动态测试模块为单元/部件测试配置有TestBed、C++Test、Coventy、EMRunner、Polyspace、KlocWork，为配置项测试配置有半实物仿真环境，为系统测试配置有实物/半实物仿真环境；所述实物/半实物仿真环境涵盖机电专业、飞控专业、航电专业；所述自动化模型测试工具包括SCADE、MATLAB、Rhapsody；试验管理系统、数据分析系统以及第三方接口；所述平台为管理人员根据项目进展分别配置有测试项目管理模块、被测对象管理模块、测试环境管理模块、测试需求管理模块、测试任务管理模块、测试进度管理模块、测试设计管理模块、测试执行管理模块、测试缺陷管理模块、测试总结管理模块、测试经验管理模块。辅助测试工具建设内容如表1所示：表1本实施例中使用的工具内容如表2所示：表2具体的测试业务流程如图2所示：首先根据需求建立模型然后生成相应的KCG代码，分别对模型和代码进行验证；模型验证的层级由低向高逐级验证，即按照单元测试-部件测试-配置项测试的顺序依次进行测试；代码验证同模型验证同时进行，通用采用层级由低向高逐级验证，即按照单元测试-部件测试-配置项测试的顺序依次进行测试；当代码和模型都通过验证时，进行模型仿真和形式化验证。以上所述仅是本专利技术的优选实施方式，应当理解本专利技术并非局限于本文所披露的形式，不应看作是对其他实施例的排除，而可用于各种其他组合、修改和环境，并能够在本文所述构想范围内，通过上述教导或相关领域的技术或知识进行改动。而本领域人员所进行的改动和变化不脱离本专利技术的精神和范围，则都应在本专利技术所附权利要求的保护范围内。本文档来自技高网...

【技术保护点】
航空软件综合测试验证平台，其特征在于，该平台根据项目立项、需求分析、项目策划、项目实施、项目总结的业务顺序为测试人员搭建有测试级别选择模块、文档审查模块、代码审查模块、动态测试模块、模型测试模块以及云服务；所述测试级别选择模块用于选择待测目标的级别；所述文档审查模块配置有与待测目标的级别相对应的文档测试工具实现对待测目标的文档审查；所述代码审查模块配置有不同类型的代码自动测试工具用于测试待测目标的代码；所述动态测试模块根据待测目标的级别分别设置有对应的测试系统；所述模型测试模块配置有自动化模型测试工具；所述云服务用于将测试过程数据、管理数据上传至网络平台。

【技术特征摘要】
1.航空软件综合测试验证平台，其特征在于，该平台根据项目立项、需求分析、项目策划、项目实施、项目总结的业务顺序为测试人员搭建有测试级别选择模块、文档审查模块、代码审查模块、动态测试模块、模型测试模块以及云服务；所述测试级别选择模块用于选择待测目标的级别；所述文档审查模块配置有与待测目标的级别相对应的文档测试工具实现对待测目标的文档审查；所述代码审查模块配置有不同类型的代码自动测试工具用于测试待测目标的代码；所述动态测试模块根据待测目标的级别分别设置有对应的测试系统；所述模型测试模块配置有自动化模型测试工具；所述云服务用于将测试过程数据、管理数据上传至网络平台。2.根据权利要求1所述的航空软件综合测试验证平台，其特征在于，所述测试级别分为单元/部件测试、配置项测试和系统测试。3.根据权利要求2所述的航空软件综合测试验证平台，其特征在于，所述文档审查模块为单元/部件测试配置有BenderRBT审查工具，为配置项测试配置有文档自动测试工具，为系统测试配置有需求测试工具。4.根据权利要求1-3中任一项所述的航空软件综合测试验证平台，其特征在于，所述代码自动测试工具包括TestBed、C++Test、Coventy、EMRun...

【专利技术属性】
技术研发人员：冉启林，
申请(专利权)人：四川汉科计算机信息技术有限公司，
类型：发明
国别省市：四川,51