本文档涉及用于测试用例，测试脚本和用于测试结果的自动测试工具的冷藏库警报系统的逻辑设计结果的开发，可以自动生成测试用例，脚本和结果，节省了大量测试和时间方案准确读取和分析设计逻辑可避免人为错误，并可以自动记录和保存结果测试。于此自动测试脚本生成工具，它还可以应用于测试应用，例如引擎指令页面，主飞行显示指示，草图页面，机载记录系统，系统嵌入式维护等，它们具有复杂的逻辑，许多参数并且需要开发大量的测试脚本。中，它具有较高的可伸缩性。文的结果被应用于某种类型的冷库警报系统的逻辑实验室检查，并给出了良好的结果。用飞机存储单元的警报系统与IMA，显示系统，声音警报系统和声音警报系统的集成正在取代。小。划。使系统设计和取证变得复杂，也给系统地面集成验证测试带来了挑战。文通过研究警报系统的体系结构和民用飞机制冷存储单元测试平台的功能，开发了一套自动化的测试脚本生成工具和交互式界面。系统需求验证测试中获得了良好的结果。用飞机存储单元的警报系统包括应用软件，主灯，主灯，警报抑制开关和位于IMA中的显示器，用于显示文本，离散的公告，语音警告，以上组合为飞行员提供了警告功能，例如警告，警告，提醒和状态。留在IMA中的冷藏存储单元的警报系统应用程序软件接收飞机不同系统的状态输入，并在下视图中按优先级顺序显示它们，并可以对其进行搜索通过控制面板。有必要，可提供声音警报和座舱照明控制，冷库安装以提供跳闸信号，以警告飞行员声音和声音信号。表1 [1]所示定义冷藏单元的警报优先级。了避免在某些阶段出现不必要的警告，从而导致操作负荷和对冷库的干扰，冷库警报系统将在时间，配置和阶段中抑制某些警报。体的航班。

　　系统的架构如图1所示。证台（SIVB）是一套用于航空电子处理系统，显示系统，机载记录系统，嵌入式维护和其他系统集成检查，具有仿真，切换，数据采集和数据处理等功能。统集成验证平台通过仿真数据网络（CSI）和A664航空总线接口集成了嵌入式系统接口控制文档（ICD）数据信息。A429，A825相关。O /卡可以通过实际的板载数据接口与嵌入式系统进行通信和交互，以执行系统仿真功能。用数据采集系统（Analyzer），可以收集来自空中网络的实际数据，并将其发送到模拟数据网络，以供系统集成验证平台读取。以根据ICD数据格式对其进行分析，显示和处理。

　　系统的总体架构如图2所示。图3所示，使用平台验证平台生成系统模拟器数据的基本方法有三种。如，系统A模拟器可以如下生成实际物理接口的数据参数。Message1.DS1.Parameter1.Vaul = 100，参数Parameter1将设置为100，数据将通过系统仿真器A的实际A664接口卡发送。方法也易于使用，但不适用于需要重复数据参数的大规模情况。执行的命令既可以由Python脚本执行，也可以由脚本执行，从而可以定义大规模或重复数据参数，但是，如果手动编写包含更多测试用例的测试脚本，则负载工作量太重，繁重的工作量和产生的错误。于第三种实现机制，本文设计自动导入并分析冷库报警系统的设计要求，自动生成测试脚本（图4） ，自动为工具和流程生成测试结果，并使测试自动化。文中使用的软件为以下[2]。
　　Microsoft Office，Excel，2003年。于注册冷存储单元的警报系统的逻辑以及与每个逻辑相对应的DCI信息。PyQt，PyQt4-4.11.4-gp1-Py2.7-Qt4.8.7-x64。于设计图形用户界面。Python，python-2.7.11rc1.amd64。于开发和执行脚本。
　　Pywin32，pywin32-219.win-amd64-py2.7。于使用Python开发win32应用程序。XLRD，xlrd-0.9.4.tar。取Excel的python模块。pyinstaller，pyinstaller-2.0。于将.py文件转换为.exe文件。试脚本的制作过程和要点如下。如，一旦获得逻辑，就将对其进行逐一分析。“”这是一个计算机可读的顺序运算表达式，转换后没有括号，这对计算逻辑很有用。始化Stack_Logic堆栈和存储结果的Stack_Temp堆栈读取要解析的左逻辑表达式，如果它是参数表达式，则将其传递给Stack_Logic Third。果Stack_Temp堆栈优先级较低，请显示堆栈的逻辑。Stack_Temp堆栈的顶部，将其传递到Stack_Logic并转到步骤c-1；然后，如果它是“）”，则打开Stack_Temp堆栈的顶部逻辑，将其传递到Stack_Logic，直到到达它遇到“（'）并删除这对括号，直到逻辑表达式的最右端重复这些步骤，然后依次显示其余的逻辑堆栈Stack_Temp，然后应用于堆栈St ack_Logic完成后，Stack_Logic是从堆栈底部到堆栈顶部的逻辑后缀表达式。|| B == 1 || Inval（C）Inval（D））'，最后转换为'A == 1，B == 1，||，Inval（C），Inval（D），， ||，TD3'，后缀表达式以字符“，”分隔。

　　
　　解为参数“ A”，“ B”，“ C”和“ D”，并以“分配”，“分配”，“交付有效性”和“有效性”的形式确定上述四个参数的运算类型交货”，最后将每个参数的运算值确定为“ 1”，“ 1”，“无效”和“无效”。联参数以分解ICD机载系统。看表格时，如果使用相应的DAI检查了“ A”参数，则通常需要确定以下元素：离散量和模拟量的定义。义要分解的操作参数，并确定逻辑操作步骤“ 1”和逻辑“ 0”。配有效性，当“ 1”逻辑或“ 0”逻辑时，相应的逻辑值“有效”还是“无效”后缀表达式中的0“，” 0“，” 1“和” 1“分别计算如下：检索堆栈元素Stack_Logic，如果它是逻辑符号，则在对Stack_ Temp中元素的操作，冷库安装结果将传递给Stack_Logic。于“ A == 0”，“ B == 0”，“ Inval（C）”和“ Inval（D）”，分别对应于逻辑值“ 0”，“ 0”，“ 1”和“ 1”。关后缀表达式，请参见表4。辑计算过程。

　　以通过浏览参数表达式的不同可能性来获得不同的测试方案；通过以集成航空电子验证平台定义的Python脚本格式生成不同的测试方案，您可以大规模获得完整的逻辑。试脚本：在测试脚本中编写一条指令，在测试用例之间打开一个对话框，以允许测试人员确定并选择测试结果，以确认是否为测试报警信息是否显示冷库，并以CSV格式打印结果。测试结果格式化为系统警报在逻辑实验中，本文的结果将自动生成测试脚本，对于61个存储单元的警报信息，共有3332个测试用例和54077个生成测试代码行，并快速完成方案和测试脚本的开发。成的脚本由脚本运行器执行，并将脚本命令从通用仿真接口网络下载到相应的系统仿真器。统然后是物理接口信号，模拟每个系统的状态和数据并显示系统的输出响应。记录测试结果，从而快速完成每个报警系统的功能测试。文件涉及冷库警报系统的逻辑设计结果的开发，以测试场景，测试脚本和自动测试工具，该工具的结构合理且易于使用。程很清楚。本开发时间可确保准确读取和分析设计逻辑，避免人为错误，并允许自动记录和存储测试结果。用pyinstaller自动化此测试脚本生成工具以生成.exe格式的单个文件，该文件可以由不同的测试人员发布，以便可以在Python环境中使用，并且具有扩展的适用性。
　　于此自动测试脚本生成工具，它还可以应用于测试应用，例如引擎说明页面，主飞行显示指示，草图页面，嵌入式记录，车载维护系统等其中，它具有较高的可伸缩性。
　　本文转载自
　　冷库安装 https://www.iceage-china.com