收稿日期：２０２０－０６－０３作者简介：周毅（１９９２—），男，硕士，工程师，主要从事发动机控制系统控制软件的研发工作。
引用格式：周毅，王玉婷，方霞，等．一种基于Ｃ＃的Ｃａｎｔａｔａ工具变更过程改进方法［Ｊ］．测控技术，２０２１，４０（４）：１３－１６．
ＺＨＯＵＹ，ＷＡＮＧＹＴ，ＦＡＮＧＸ，ｅｔａｌ．ＡＣ＃ ＢａｓｅｄＣａｎｔａｔａＴｏｏｌＣｈａｎｇｅＰｒｏｃｅｓｓＩｍｐｒｏｖｅｍｅｎｔＭｅｔｈｏｄ［Ｊ］．Ｍｅａｓｕｒｅｍｅｎｔ＆Ｃｏｎ ｔｒｏｌＴｅｃｈｎｏｌｏｇｙ，２０２１，４０（４）：１３－１６．
一种基于Ｃ＃的Ｃａｎｔａｔａ工具变更过程改进方法
周　毅，王玉婷，方　霞，连红森
（中国航发控制系统研究所，江苏无锡　２１４０６３）
摘要：航空发动机控制软件在升级过程中使用Ｃａｎｔａｔａ工具开展单元测试活动时，存在未变更函数的Ｃａｎｔａｔａ测试脚本需重新人工隔离插桩导致时间和人力耗费的问题。通过研究Ｃａｎｔａｔ
ａ自动生成测试脚
本的过程及插桩特点，提出了一种基于Ｃ＃的Ｃａｎｔａｔａ工具变更过程改进方法。该方法通过Ｃ＃语言结合正则表达式进行代码分析，识别出升级过程中的变更函数和全局变量，并按照Ｃａｎｔａｔａ插桩格式，自动完成测试脚本更新工作。详细介绍了该方法的设计过程，并在某型航空发动机控制软件升级过程中进行实践应用
。实践结果表明，该方法可准确识别源码信息并完成变更前后的差异比对，能正确快速地实现未变更函数的自动隔离插桩工作
，有效解决了人力和时间消耗的问题，对回归测试效率有极大提升。关键词：ＤＯ １７８Ｃ；嵌入式系统；单元测试；Ｃ＃中图分类号：ＴＰ３１  文献标识码：Ａ  文章编号：１０００－８８２９（２０２１）０４－００１３－０４
ｄｏｉ：
１０．１９７０８／ｊ．ｃｋｊｓ．２０２０．１０．３１６ＡＣ＃ ＢａｓｅｄＣａｎｔａｔａＴｏｏｌＣｈａｎｇｅＰｒｏｃｅｓｓＩｍｐｒｏｖｅｍｅｎｔＭｅｔｈｏｄ
ＺＨＯＵＹｉ牞ＷＡＮＧＹｕ ｔｉｎｇ牞ＦＡＮＧＸｉａ牞ＬＩＡＮＨｏｎｇ ｓｅｎ
牗ＡＥＣＣＡｅｒｏＥｎｇｉｎｅＣｏｎｔｒｏｌＳｙｓｔｅｍＩｎｓｔｉｔｕｔｅ牞Ｗｕｘｉ２１４０６３牞Ｃｈｉｎａ牘
Ａｂｓｔｒａｃｔ牶ＷｈｅｎｕｓｉｎｇｔｈｅＣａｎｔａｔａｔｏｏｌｔｏｃａｒｒｙｏｕｔｕｎｉｔｔｅｓｔａｃｔｉｖｉｔｉｅｓｄｕｒｉｎｇｔｈｅｕｐｇｒａｄｅｏｆａｅｒｏｅｎｇｉｎｅｃｏｎｔｒｏｌｓｏｆｔｗａｒｅ牞ｔｈｅｒｅａｒｅｐｒｏｂｌｅｍｓｔｈａｔｔｉｍｅａｎｄｍａｎｐｏｗｅｒｃｏｓｔｓｃａｕｓｅｄｂｙｍａｎｕａｌｉｓｏｌａｔｉｏｎａｎｄｉｎｓｅｒｔｉｏｎｏｆＣａｎｔａｔａｔｅｓｔｓｃｒｉｐｔｓｗｉｔｈｕｎｃｈａｎｇｅｄｆｕｎｃｔｉｏｎｓ．ＢｙｓｔｕｄｙｉｎｇｔｈｅｐｒｏｃｅｓｓｏｆｔｈｅＣａｎｔａｔａｔｏｏｌｔｏａｕｔｏｍａｔｉｃａｌｌｙｇｅｎｅｒａｔｅｔｅｓｔｓｃｒｉｐｔｓａｎｄｔｈｅｃｈａｒａｃｔｅｒｉｓｔｉｃｓｏｆｉｎｓｔｒｕｍｅｎｔａｔｉｏｎ牞ａＣ＃ ｂａｓｅｄＣａｎｔａｔａｔｏｏｌｃｈａｎｇｅｐｒｏｃｅｓｓｉｍｐｒｏｖｅｍｅｎｔｍｅｔｈｏｄｗａｓｐｒｏｐｏｓｅｄ．ＣｏｄｅａｎａｌｙｓｉｓｗａｓｐｅｒｆｏｒｍｅｄｔｈｒｏｕｇｈＣ＃ｌａｎｇｕａｇｅａｎｄｒｅｇｕｌａｒｅｘｐｒｅｓｓｉｏｎｓ牞ｔｈｅｃｈａｎｇｅｄｆｕｎｃｔｉｏｎｓａｎｄｇｌｏｂａｌｖａｒｉａｂｌｅｓｗｅｒｅｉｄｅｎｔｉｆｉｅｄｉｎｔｈｅｕｐｇｒａｄｅｐｒｏｃｅｓｓ牞ａｎｄｔｈｅｔｅｓｔｓｃｒｉｐｔｕｐｄａｔｅｗｏｒｋｗａｓａｕｔｏｍａｔｉｃａｌｌｙｃｏｍｐｌｅｔｅｄｆｏｌｌｏｗｔｈｅＣａｎｔａｔａｉｎｓｔｒｕｍｅｎｔａｔｉｏｎｆｏｒｍａｔ．Ｔｈｅｄｅｓｉｇｎｐｒｏｃｅｓ
ｓｏｆｔｈｉｓｍｅｔｈｏｄｉｓｉｎｔｒｏｄｕｃｅｄｉｎｄｅｔａｉｌ牞ａｎｄｉｔｉｓａｐｐｌｉｅｄｔｏｔｈｅｕｐｇｒａｄｉｎｇｐｒｏｃｅｓｓｏｆａｎａｅｒｏｅｎｇｉｎｅｃｏｎｔｒｏｌｓｏｆｔｗａｒｅ．Ｐｒａｃｔｉｃａｌｒｅｓｕｌｔｓｓｈｏｗｔｈａｔｔｈｅｍｅｔｈｏｄｃａｎａｃｃｕｒａｔｅｌｙｉｄｅｎｔｉｆｙｔｈｅｓｏｕｒｃｅｃｏｄｅｉｎｆｏｒｍａｔｉｏｎａｎｄｃｏｍｐｌｅｔｅｔｈｅｄｉｆｆｅｒｅｎｃｅｃｏｍｐａｒｉｓｏｎｂｅｆｏｒｅａｎｄａｆｔｅｒｔｈｅｃｈａｎｇｅ牞ａｎｄｃａｎｃｏｒｒｅｃｔｌｙａｎｄｑｕｉｃｋｌｙｒｅａｌｉｚｅｔｈｅａｕｔｏｍａｔｉｃｉｓｏｌａｔｉｏｎａｎｄｉｎｓｅｒｔｉｏｎｏｆｔｈｅｕｎｃｈａｎｇｅｄｆｕｎｃｔｉｏｎｓ．Ｉｔｅｆｆｅｃｔｉｖｅｌｙｓｏｌｖｅｓｔｈｅｐｒｏｂｌｅｍｓｏｆｍａｎｐｏｗｅｒａｎｄｔｉｍｅｃｏｎｓｕｍｐｔｉｏｎ牞ａｎｄｇｒｅａｔｌｙｉｍｐｒｏｖｅｓｔｈｅｅｆｆｉ ｃｉｅｎｃｙｏｆｒｅｇｒｅｓｓｉｏｎｔｅｓｔｉｎｇ．
Ｋｅｙｗｏｒｄｓ牶ＤＯ １７８Ｃ牷ｅｍｂｅｄｄｅｄｓｙｓｔｅｍｓ牷ｕｎｉｔｔｅｓｔ牷Ｃ＃
航空发动机控制软件（简称控制软件）是一种嵌入式软件，根据ＤＯ １７８《民航机载软件适航标准》的规定，属于安全关键软件［１
］。为满足适航认证，控制软件必须要达成ＤＯ １７８Ｃ提出的各项指标要求。其
中，针对低层需求与高层需求的符合性这一目标，执行单
元测试并建立追溯关系是一种常见的实现手段。
针对嵌入式软件开发环境和运行环境不一致的现象，单元测试具有可在宿主机环境下执行、能提早测试介入时机且最大程度降低测试活动对目标环境依赖性等优点；然而，单元测试也存在着的测试驱动难编写、测试程序难管理、测试结果难界定等问题。对此，市场上出现了一批如ＣｐｐＵｎｉｔ、ＪＵｎｉｔ等开源测试框架［２
］和Ｃａｎｔａｔａ、ＴｅｓｔＢｅｄ、Ｑｔ、ＴＢｒｕｎ等单元测试软件［３－５
］。其中ＱＡＳｙｓｔｅｍｓ公司推出的Ｃａｎｔａｔａ单元测试工具，可提供基于ＤＯ １７８Ｂ的覆盖率分析，目前已在国内外航空航天软件的单元测试活动中得到广泛应用［６－１０
］。该工具针对Ｃ／Ｃ＋＋语言，通过使用ＥＧＴ分析器提取源码信息，结合插桩器和自动封装技术，实现测试脚本一键生成；通过提供测试用例管理器，实现测试用例便捷管理；通过运行结果自动比对、覆盖结果树形分析技术，缩短测试验证时间，确保验证结论的正确性和完整性。然而，由于Ｃａｎｔａｔａ工具在执行单元测试活动时所有过程均需基于服务器执行，而且工具对被测单元的隔离插桩过程与被测单元所属文件有直接关联。这就导致软件升级时，若被测单元所属文件发生变化，即使被测单元未发生更改，原有的单元测试用例也需要重新隔离插桩才能通过。由于隔离插桩过程需要人工操作，另外受到服务器响应和处理时间长的制约，在实际执行Ｃａｎｔａｔａ单元测试回归时，需要耗费大量时间和人力来更新未变更函数的隔离插桩。目前，国内外的相关文献主要集中在对Ｃａｎｔａｔａ单元测试方法和工具使用的介绍说明［６－１０
］。针对本文提出的这一问题，尚未有具体解决方案。笔者提出了一种基于Ｃ＃的Ｃａｎｔａｔａ工具变更过程改进方法。通过分析Ｃａｎｔａｔａ工具的单元测试插桩结果，提炼出工具的插桩规则，进而结合Ｃ＃和正则表达式，完成源代码变更前后差异分析，并依照提炼的插桩规则，自动修改测试用例管
理器中的测试脚本和被插桩后的代码，实现未变更函数的自动隔离插桩。从而解决人工操作烦琐和隔离插桩过程对Ｃａｎｔａｔａ服务器强依赖的问题。
１　
基于Ｃ＃的Ｃａｎｔａｔａ变更过程改进方法
１．１　
整体方案分析
Ｃａｎｔａｔａ工具执行单元测试过程主要由源代码隔离插桩、测试脚本生成、可执行文件构建和运行这４个活动组成，各活动均由服务器执行并将相应结果返回给用户，具体如图１所示。由于Ｃａｎｔａｔａ工具使用Ｃ文件作为自动封装的最小单位（一个自动封装可包含多个Ｃ文件），当被测单元所处自动封装中的Ｃ文件出现全局变量、函数或外部函数调度变化时，即使被测函数没有任何变更，也必
图１　
Ｃａｎｔａｔａ
单元测试原理图
须更新自动封装，重新执行隔离插桩，才能确保单元测
试用例执行通过。Ｃａｎｔａｔａ测试用例管理器通过管理ｔｅｓｔ＿ＦｕｎｃＸ．ｃ、ｔｅｓｔ．ｍｋ和ｉｐｇ．ｃｏｐ这３个文件来管控生成的测试脚本和被插桩代码。其中，ｔｅｓｔ．ｍｋ是测试脚本的ｍａｋｅｆｉｌｅ信息，用于指导Ｂｕｉｌｄ构建器编译生成可执行文件；ｉｐｇ．ｃｏｐ是测试级别配置文件，描述需要被隔离的全局变量和函数，指导Ｃａｎｔａｔａ工具自动生成被测函数ＦｕｎｃＸ（）的隔离插桩信息；ｔｅｓｔ＿ＦｕｎｃＸ．ｃ是被测函数ＦｕｎｃＸ（）的测试脚本，用于存储被测函数的环境定义、覆盖率分析方式、测试用例和隔离插桩接口等信息。据此，在进行工具二次开发时，通过执行代码分析，识别出变更后代码新增、删除的全局变量、函数和函数调用信息，再将这些信息按照Ｃａｎｔａｔａ单元测试的格式要求，更新到ｔｅｓｔ＿ＦｕｎｃＸ．ｃ、ｔｅｓｔ．ｍｋ和ｉｐｇ．ｃｏｐ中，实现对未变更单元的测试脚本和被插桩代码的更新。二次开发后的Ｃａｎｔａｔａ单元测试原理如图２所
示。图２　二次开发后的Ｃａｎｔａｔａ单元测试原理图
·４１·《测控技术》２０２１年第４０卷第４期
  由图２可以看出，基于Ｃ＃的Ｃａｎｔａｔａ工具二次开发可以脱离对服务器的依赖，自动识别源码的变更信息，完成测试脚本和被插桩代码的修改。
１．２　Ｃａｎｔａｔａ插桩规则提炼
通过分析Ｃａｎｔａｔａ单元测试结果，对Ｃａｎｔａｔａ插桩规格进行了提炼。图３展示了某待测试文件ＸＸ．ｃ的文件结构，包括全局变量ＧＬＢ＿ａ、函数ＦｕｎｃＸ（）和ＦｕｎｃＹ（），其中ＦｕｎｃＹ（）调用了一个外部函数ＵＴ＿ａ（）。
truncated模型用什么软件图３　ＸＸ．ｃ文件结构示意图
当ＦｕｎｃＸ（）作为被测函数时，Ｃａｎｔａｔａ工具对ｔｅｓｔ＿ＦｕｎｃＸ．ｃ、ｔｅｓｔ．ｍｋ和ｉｐｇ．ｃｏｐ文件的插桩规则如下。
①ｔｅｓｔ＿ＦｕｎｃＸ．ｃ中，待隔离函数ＦｕｎｃＹ（）的插桩规则如下：
／ ＩａｏｌａｔｅｆｏｒｆｕｎｃｔｉｏｎＦｕｎｃＹ ／
ｖｏｉｄＩＳＯＬＡＴＥ＿ＦｕｎｃＹ（ｖｏｉｄ）｛
  ＲＥＧＩＳＴＥＲ＿ＣＡＬＬ（“ＦｕｎｃＹ”）；
  ＩＦ＿ＩＮＳＴＡＮＣＥ（“ｄｅｆａｕｌｔ”）｛ｒｅｔｕｒｎ；｝
  ＬＯＧ＿ＳＣＲＩＰＩＴ＿ＥＲＲＯＲ（“Ｃａｌｌｉｎｓｔａｎｃｅｎｏｔｄｅｆｉｎｅｄ．”）；  Ｒｅｔｕｒｎ；｝
②ｔｅｓｔ＿ＦｕｎｃＸ．ｃ中，全局变量ＧＬＢ＿ａ量的隔离规则如下：
／ Ｇｌｏｂａｌｄａｔａ ／
ｉｎｔＧＬＢ＿ａ；
／ Ｅｘｐｅｃｔｅｄｖａｒｉａｂｌｅｓｆｏｒｇｌｏｂａｌｄａｔａ ／
ｉｎｔｅｘｐｅｃｔｅｄ＿ＧＬＢ＿ａ；
ｓｔａｔｉｃｖｏｉｄｉｎｉｔｉａｌｓｅ＿ｇｌｏｂａｌ＿ｄａｔａ（）｛
　ＴＥＳＴ＿ＳＣＲＩＰＴ＿ＷＡＲＮＩＮＧ（“Ｖｅｒｉｆｙｉｎｉｔｉａｌｓｅ＿ｇｌｏｂａｌ＿ｄａｔａ（）＼ｎ”）；
　ＩＮＩＴＩＡＬＩＳＥ（ＧＬＢ＿ａ）；
｝ｓｔａｔｉｃｖｏｉｄｉｎｉｔｉａｌｓｅ＿ｅｘｐｅｃｔｅｄ＿ｇｌｏｂａｌ＿ｄａｔａ（）｛
　ＴＥＳＴ＿ＳＣＲＩＰＴ＿ＷＡＲＮＩＮＧ（“Ｖｅｒｉｆｙｉｎｉｔｉａｌｓｅ＿ｅｘｐｅｃｔｅｄ＿ｇｌｏｂａｌ＿ｄａｔａ（）＼ｎ”）；
　ＣＯＰＹ＿ＴＯ＿ＥＸＰＥＣＴＥＤ（ＧＬＢ＿ａ，ｅｘｐｅｃｔｅｄ＿ＧＬＢ＿ａ）；｝
ｓｔａｔｉｃｖｏｉｄｃｈｅｃｋ＿ｇｌｏｂａｌ＿ｄａｔａ（）｛
　ＴＥＳＴ＿ＳＣＲＩＰＴ＿ＷＡＲＮＩＮＧ（“Ｖｅｒｉｆｙｃｈｅｃｋ＿ｇｌｏｂａｌ＿ｄａｔａ（）＼ｎ”）；
　ＣＨＥＣＫ＿ＭＥＭＯＲＹ（“ＧＬＢ＿ａ”，＆ＧＬＢ＿ａ，＆ｅｘｐｅｃｔｅｄ＿ＧＬＢ＿ａ，ｓｉｚｅｏｆ（ｅｘｐｅｃｔｅｄ＿ＧＬＢ＿ａ））；｝
③ｉｐｇ．ｃｏｐ中，待隔离函数ｆｕｎｃＹ（）和ＵＴ＿ａ（）的插桩规则如下：
“－－ｓｍ：－－ｉｓｏｌａｔｅ：ＦｕｎＹ（）”
“－－ｓｍ：－－ｉｓｏｌａｔｅ：ＵＴ＿ａ（）＃ＦｕｎＹ（）”
④ｉｐｇ．ｃｏｐ中，全局变量ＧＬＢ＿ａ的隔离规则：“－－ｓｍ：－－ａｃｃｅｓｓ＿ｖａｒｉａｂｌｅ：”ＸＸ．ｃ”：ＧＬＢ＿ａ”
１．３　二次开发方法设计
基于Ｃ＃进行Ｃａｎｔａｔａ工具二次开发时，主要难点在于源代码分析和变更差异比对。对此，以文件为单位，设计了文件信息的数据结构，具体的文件信息类图如图４所示。数据结构通过对头文件引用、宏、数据结构、全局变量、函数声明、函数等信息进行分类存储，实现变更差异的快速识别和比对。
图４　ＦｉｌｅＩｎｆｏｒｍａｔｉｏｎ类图
文件信息提取流程如图５所示。为便于使用正则表达式提取源码中的有效信息，首先需对源码进行规格化处理，具体为剔除源码中条件编译忽略的代码、注释代码、不规范和冗余的空格信息。由于条件编译的判断条件多使用宏信息，故需要先对源码进行一次宏定义分析，再按照定制的形式进行规格化处理，导出规格化后的源码。
图５　文件信息提取流程图
·
５１
·
一种基于Ｃ＃的Ｃａｎｔａｔａ工具变更过程改进方法
  源码规格化后，按照各数据结构类型特点设计相应的正则表达式，依次提取头文件引用、宏定义、基本数据类型、特殊数据类型、函数声明、全局变量、函数信息，完成源码的文件数据结构提取。其中，特殊数据类型特指枚举、位域结构体和结构体类型，另外考虑到同义宏的存在，设计了递归方法执行同义宏的分类和存储。
完成变更前后源码的文件信息提取后，以文件为单位采用循环遍历的方式，判断并记录对应文件中所有全局变量、函数及函数调用的变更状态（共设计３种状态：增加、删除、无变化）。依据记录的变更状态，按照Ｃａｎｔａｔａ隔离插桩格式要求，更新用例管理器中未变化函数的单元测试用例脚本，实现未变更部分的自动隔离插桩。
２　项目应用实践与结果分析
在某项目升级过程中，应用基于Ｃ＃的Ｃａｎｔａｔａ工具二次开发方法。通过选中变更前后源码和Ｃａｎｔａｔａ测试用例管理器的位置，一键运行后，完成受升级影响的非变更测试用例隔离插桩的自动修改。具体运行界面如图６所示。
图６　运行界面
更改结果显示，此次变更前后源码共涉及１７个文件、９个全局变量、８１个函数的变更。使用ＢｅｙｏｎｄＣｏｍｐａｒｅ工具比对变更前后源码并人工分析，结果显示与Ｃ＃的Ｃａｎｔａｔａ工具二次开发方法提取的结果一致，信息提取功能和变更比对功能正常。
此次变更前共计有４３６个单元测试脚本，变更前后共影响到１２３个测试脚本的关联修改，修改量占２８ ２％。以其中一个关联修改的测试脚本为例，进行分析：ｔａｓｋ．ｃ文件共有５个函数，比对变更前后的源码，其中仅ｔａｓｋ＿ｂｉｇＬｏｏｐ（）函数里新增了函数调度ＩＳＭ＿Ｅｘｃｕｔｅ２５ｍｓ（），会同步影响该Ｃ文件中其他４个未变更函数测试脚本的隔离插桩。观察分析对应未变更函数自动修改后的测试脚本可知，测试脚本中均按照格式要求完成了脚本修改，具体结果如图７所示。
图７　测试用例脚本修改结果
完成８１个变更函数对应的测试脚本修改后，在Ｓｃｏｒｅ环境下批跑所有的４４４个测试脚本，导出结果如图８所示。结果显示，所有自动隔离插桩的函数均通过，其中１１个未通过的函数均为特殊实现原因导致覆盖率无法满足的函数，与自动隔离插桩过程无关。
图８　Ｃａｎｔａｔａ单元测试用例批跑结果
基于Ｃａｎｔａｔａ服务器进行人工手动隔离插桩时，平均每个测试脚本需花费大约１０ｍｉｎ。使用
二次开发方法后，平均只需要不到３ｍｉｎ即可完成所有未变更函数测试脚本隔离插桩工作。以本次１２３个测试脚本的关联修改为例，二次开发方法可有效节省约２０．４５人时，测试工作效率有极大提升。
上述结果证明，基于Ｃ＃的Ｃａｎｔａｔａ工具二次开发方法可准确识别变更前后的源码信息并完成差异比对，能正确并快速实现未变更函数的自动隔离插桩工作。
（下转第２４页）
协会，举办专业论坛，为技术交流提供适当的场合，从而促进该技术在国内的持续发展。
４　结束语
健康就绪组件作为ＩＶＨＭ系统的重要组成部分，是供应商和集成商进行ＩＶＨＭ功能集成部署的桥梁，是解锁ＩＶＨＭ潜能的“钥匙”。通过对健康就绪组件的概念内涵、开发方法以及应用发展情况进行分析，可为后续国内进行健康就绪组件研究和应用奠定基础。参考文献：
［１］　陈新．航空装备维修保障面临的挑战与对策［Ｃ］／／２００１年中国航空学会可靠性工程学术年会论文集．２００１．［２］　战祥新．航空电子装备故障诊断方法研究［Ｊ］．装备制造技术，２０１６（１１）：１９８－２００．
［３］　张万层，刘栋．武器装备系统级研制工作程序设计概述［Ｊ］．中国标准化，２０１９（３）：８４－８９．
［４］　ＳＷＥＡＲＩＮＧＥＮＫ，ＫＥＬＬＥＲＫ．Ｈｅａｌｔｈｒｅａｄｙｓｙｓｔｅｍｓ［Ｃ］／／
２００７ＩＥＥＥＡＵＴＯＴＥＳＴＣＯＮ．２００７：６２５－６３１．［５］　ＳＲＩＶＡＳＴＡＶＡＡ．Ａｖｉａｔｉｏｎｓａｆｅｔｙｐｒｏｇｒａｍ：ｉｎｔｅｇｒａｔｅｄｖｅｈｉｃｌｅ
ｈｅａｌｔｈｍａｎａｇｅｍｅｎｔｔｅｃｈｎｉｃａｌｐｌａｎｓｕｍｍａｒｙ［Ｒ］．ＮＡＳＡ，
２００６：１－５３．
［６］　ＥＺＨＩＬＡＲＡＳＵＣＭ，ＳＫＡＦＺ，ＪＥＮＮＩＯＮＳＩＫ．Ｕｎｄｅｒｓｔａｎｄｉｎｇｔｈｅｒｏｌｅｏｆａｄｉｇｉｔａｌｔｗｉｎｉｎｉｎｔｅｇｒａｔｅｄｖｅｈｉｃｌｅｈｅａｌｔｈｍａｎａｇｅ
ｍｅｎｔ［Ｃ］／／２０１９ＩＥＥＥＩｎｔｅｒｎａｔｉｏｎａｌＣｏｎｆｅｒｅｎｃｅｏｎＳｙｓｔｅｍｓ，
ＭａｎａｎｄＣｙｂｅｒｎｅｔｉｃｓ．２０１９：１５００－１５０７．［７］　ＪＥＮＮＩＯＮＳＩＫ．Ｉｎｔｅｇｒａｔｅｄｖｅｈｉｃｌｅｈｅａｌｔｈｍａｎａｇｅｍｅｎｔ：ｐｅｒ
ｓｐｅｃｔｉｖｅｓｏｎａｎｅｍｅｒｇｉｎｇｆｉｅｌｄ［Ｍ］．ＳＡＥＩｎｔｅｒｎａｔｉｏｎａｌ，
２０１１：１－８．
［８］　ＳＡＥＩｎｔｅｒｎａｔｉｏｎａｌ．Ｄｅｓｉｇｎ＆ｒｕｎ ｔｉｍｅｉｎｆｏｒｍａｔｉｏｎｅｘｃｈａｎｇｅ
ｆｏｒｈｅａｌｔｈ ｒｅａｄｙｃｏｍｐｏｎｅｎｔｓ：ＪＡ６２６８［Ｓ］．２０１８：１－８６．［９］　ＨＯＬＬＡＮＤＳＷ，ＦＥＬＫＥＴ，ＨＥＲＮＡＮＤＥＺＬ，ｅｔａｌ．Ｈｅａｌｔｈ
ｒｅａｄｙｃｏｍｐｏｎｅｎｔｓ ｕｎｌｏｃｋｉｎｇｔｈｅｐｏｔｅｎｔｉａｌｏｆＩＶＨＭ［Ｊ］．ＳＡＥ
ＩｎｔｅｒｎａｔｉｏｎａｌＪｏｕｒｎａｌｏｆＭａｔｅｒｉａｌｓ＆Ｍａｎｕｆａｃｔｕｒｉｎｇ，２０１６，
９（２）：２１７－２２３．
［１０］　ＦＥＬＫＥＴ，ＨＯＬＬＡＮＤＳＷ，ＲＡＶＩＲＡＭＳ．Ｉｎｔｅｇｒａｔｉｏｎｏｆｃｏｍｐｏｎｅｎｔｄｅｓｉｇｎｄａｔａｆｏｒａｕｔｏｍｏｔｉｖｅｔｕｒｂｏｃｈａｒｇｅｒｗｉｔｈｖｅ
ｈｉｃｌｅｆａｕｌｔｍｏｄｅｌｕｓｉｎｇＪＡ６２６８ｍｅｔｈｏｄｏｌｏｇｙ［Ｊ］．ＳＡＥＩｎｔｅｒ
ｎａｔｉｏｎａｌＪｏｕｒｎａｌｏｆＰａｓｓｅｎｇｅｒＣａｒｓ ＥｌｅｃｔｒｏｎｉｃａｎｄＥｌｅｃｔｒｉｃａｌ
Ｓｙｓｔｅｍｓ，２０１７，１０（２）．
［１１］　ＳＡＥＩＴＣ．Ａｂｏｕｔｈｅａｌｔｈ ｒｅａｄｙｃｏｍｐｏｎｅｎｔｓａｎｄｓｙｓｔｅｍｓ（ＨＲＣＳ）［ＥＢ／ＯＬ］．ｈｔｔｐｓ：／／ｗｗｗ．ｓａｅ ｉｔｃ．ｃｏｍ／ｈｒｃｓ．［１２］　常琦，袁慎芳．飞行器综合健康管理（ＩＶＨＭ）系统技术现状及发展［Ｊ］．系统工程与电子技术，２００９，３１（１１）：
２６５２－２６５７．
［１３］　张宝珍．预测与健康管理技术的发展及应用［Ｊ］．测控技术，２００８（２）：５－７．
［１４］　张博，孟宝林，栾书平．用于无人飞行器系统的综合健康管理（ＩＶＨＭ）架构设计［Ｊ］．科技创新与应用，２０１７（８）．［１５］　王涛，宋乐，张健．基于测试性模型的故障诊断测试技术研究［Ｃ］／／２０１５年第二届中国航空科学技术大会论文
集．２０１５．
□
（上接第１６页）
３　结束语
通过分析航空发动机控制软件升级过程，发现在依赖Ｃａｎｔａｔａ工具进行单元测试回归时，存在未变更函数的测试脚本需重新人工手动隔离插桩，导致时间和人力耗费的问题，提出了一种基于Ｃ＃的Ｃａｎｔａｔａ工具二次开发方法。项目实践与分析结果表明，该方法能准确识别变更信息，正确并快速实现未变更函数的自动隔离插桩，极大提升了基于Ｃａｎｔａｔａ进行升级过程的单元测试效率，为达成ＤＯ １７８Ｃ中低层需求与高层需求的符合性这一目标提供了有力支撑。
目前基于Ｃ＃的Ｃａｎｔａｔａ工具二次开发方法已在３个项目的５次升级过程中得到应用，结果均正确可靠。但相较于市面上常见的源码分析工具（如ＥｃｌｉｐｓｅＣＤＴ提供的ＡＰＩ），本方法尚不
支持函数内部语法分析，也未与同类型代码分析工具进行优劣比对分析，这些可作为后续研究的一个方向。
参考文献：
［１］　ＲＩＥＲＳＯＮＬ．Ｄｅｖｅｌｏｐｉｎｇｓａｆｅｔｙｃｒｉｔｉｃａｌｓｏｆｔｗａｒｅ：ａｐｒａｃｔｉｃａｌ
ｇｕｉｄｅｆｏｒａｖｉａｔｉｏｎｓｏｆｔｗａｒｅａｎｄＤＯ １７８Ｃｃｏｍｐｌｉａｎｃｅ［Ｍ］．
ＣＲＣＰｒｅｓｓ，２０１３．
［２］　陈志宵．基于ＥｃｌｉｐｓｅＣＤＴ平台的自动化测试扩展插件的研究与设计［Ｄ］．北京：北京邮电大学，２０１７．［３］　丰励．单元测试技术研究与应用［Ｄ］．武汉：华中师范大学，２００８．
［４］　朱健．基于ＱｔＴｅｓｔ的自动化单元测试［Ｊ］．价值工程，
２０１７，３６（４）：２１６－２１９．
［５］　张新玉，李寅龙．ＴＢｒｕｎ在航天嵌入式汇编软件测试中的应用［Ｊ］．测控技术，２０１６，３５（１１）：１０３－１０７．［６］　刘媛媛．飞行控制软件单元测试的实施［Ｄ］．北京：北京邮电大学，２０１０．
［７］　魏银英，杨苗．一种基于ｃａｎｔａｔａ的单元测试用例设计方法［Ｊ］．电子世界，２０１４（７）：１１９．
［８］　刘思思，刘迪．飞行控制软件单元测试方法研究［Ｊ］．软件导刊，２０１５（５）：２９－３２．
［９］　左芸，沈雷，张杨．基于Ｃａｎｔａｔａ的高安全性操作系统软件单元测试［Ｊ］．数字技术与应用，２０１９，３７（１）：２０２－２０４．［１０］　熊波，孟遨，王栋．航空发动机控制软件单元测试研究［Ｃ］／／２０１６ＩＥＥＥＣｈｉｎｅｓｅＧｕｉｄａｎｃｅ，ＮａｖｉｇａｔｉｏｎａｎｄＣｏｎ
ｔｒｏｌＣｏｎｆｅｒｅｎｃｅ．２０１６：２６４１－２６４４．
□

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。