数据耦合和控制耦合自动分析方法技术

本发明专利技术公开了一种数据耦合和控制耦合自动分析方法，包含：分析软件源代码，获取潜在耦合因子，并记录潜在耦合因子；分析软件源代码，确定程序的调用关系，沿着程序调用关系，识别MPC路径并形成MPC路径集合；识别各MPC路径上的潜在耦合因子是否为“耦合对”；在软件源代码中出现“耦合对”的地方插装标记语句；在已插装了标记语句的程序上，执行基于需求的测试程序，分析所插装的标记语句的执行结果，生成耦合覆盖分析报告。本发明专利技术实现了数据耦合和控制耦合分析的自动化，避免了人工分析所可能引入的错误和遗漏。

Automatic analysis method of coupling and control of data

The invention discloses a data coupling and control coupling automatic analysis method, including: analysis software source code, to obtain the potential coupling factor, and record the potential coupling factor; analysis software source code, the procedure call, relations along the MPC path identification program, and the formation of MPC path set; identifying potential coupling factors the MPC path is \coupling on\; \local coupling on\ inserting a labeled statement in a software source code; in inserted markup program, executes the test program based on demand analysis, a labeled statement inserted by the result of the implementation of the report covers the coupling analysis. The invention realizes the automation of data coupling and control coupling analysis, and avoids the errors and omissions that may be introduced by artificial analysis.

【技术实现步骤摘要】
数据耦合和控制耦合自动分析方法
本专利技术涉及民用飞机软件开发技术，特别涉及软件验证技术中的数据耦合和控制耦合自动分析技术。
技术介绍
软件工程倡导软件的高内聚和低耦合，但是模块之间的耦合又是难以避免的，因此，安全关键软件研发必须考虑如何保证耦合不带来负面影响。按照国际民用飞机软件适航标准RTCADO-178C《SoftwareConsiderationonAirborneSystemandEquipmentCertification》,软件安全性等级自高到低分为A、B、C、D、E五个等级。对于安全性等级比较高的软件(A级、B级、C级)，DO-178C要求在软件验证过程中，必须进行数据耦合和控制耦合分析，以保证所有耦合均得到验证。两项分析均要求基于软件需求的动态测试结果展开，要求“分析确认基于需求的测试遍历了模块之间的数据和控制耦合”。DO-178C对数据耦合的定义为：一个软件模块对不完全被其自身所控制的数据的依赖。DO-178C对控制耦合的定义为：一个软件模块影响另一个软件模块执行的方式或程度。软件工程中定义了6种耦合关系，其中也有数据耦合和控制耦合，但其定义与DO-178C不同。本文档来自技高网...

【技术保护点】
一种数据耦合和控制耦合自动分析方法，包含以下程序步骤：步骤1、分析软件源代码，获取潜在耦合因子，并记录潜在耦合因子；步骤2、分析软件源代码，确定程序的调用关系，沿着程序调用关系，识别MPC路径并形成MPC路径集合；步骤3、识别各MPC路径上的潜在耦合因子是否为“耦合对”；步骤4、在软件源代码中出现“耦合对”的地方插装标记语句；步骤5、在已插装了标记语句的程序上，执行基于需求的测试程序，分析所插装的标记语句的执行结果，生成耦合覆盖分析报告。

【技术特征摘要】
1.一种数据耦合和控制耦合自动分析方法，包含以下程序步骤：步骤1、分析软件源代码，获取潜在耦合因子，并记录潜在耦合因子；步骤2、分析软件源代码，确定程序的调用关系，沿着程序调用关系，识别MPC路径并形成MPC路径集合；步骤3、识别各MPC路径上的潜在耦合因子是否为“耦合对”；步骤4、在软件源代码中出现“耦合对”的地方插装标记语句；步骤5、在已插装了标记语句的程序上，执行基于需求的测试程序，分析所插装的标记语句的执行结果，生成耦合覆盖分析报告。2.根据权利要求1所述的一种数据耦合和控制耦合自动分析方法，其特征在于所述步骤1包含以下程序步骤：步骤1.1、对软件源代码进行识别；步骤1.2、对识别出的全局变量，若全局变量为简单变量，则将简单变量作为潜在耦合因子记录在潜在耦合因子表中；若全局变量为组合变量，则将组合变量的每一元素作为单独的潜在耦合因子记录在潜在耦合因子表中；步骤1.3、对识别出的函数定义，则分别将输入参数和输出参数作为单独的潜在耦合因子记录在潜在耦合因子表中；步骤1.4、对识别出的局部变量，若该局部变量或该局部变量的变形为函数调用的实参，则将该局部变量作为潜在耦合因子记录在潜在耦合因子表中；步骤1.5、对识别出的数据文件或数据库，将数据文件或数据库的每一个元素作为一个单独的潜在耦合因子记录在潜在耦合因子表中。3.根据权利要求2所述的一种数据耦合和控制耦合自动分析方法，其特征在于所述潜在耦合因子表采用XML格式文件作为表现形式。4.根据权利要求1或2或3所述的一种数据耦合和控制耦合自动分析方法，其特征在于所述潜在耦合因子的属性包括所在文件名称、所处位置、潜在耦合因子名称、类型。5.根据权利要求1所述的一种数据耦合和控制耦合自动分析方法，其特征在于所述步骤2包含以下程序步骤：步骤2.1、分析软件源代码，形成软件的调用关系树；步骤2.2、分析软件源代码，将模块中的潜在耦合因子作为路径结点形成MPC路径矩阵；步骤2.3、从调用关系树的树根开始，按照深度优先策略，遍历模块的MPC路径矩阵，形成自起点至终点的程序运行的完整路径，...

【专利技术属性】
技术研发人员：倪红英，
申请(专利权)人：中国航空无线电电子研究所，
类型：发明
国别省市：上海,31