嵌入式软件系统测试中的仿真系统结构设计(2)

　　(1)硬件驱动部分负责驱动硬件，向上一层提供底层硬件的操作接口。仿真系统通过硬件驱动为嵌入式软件提供相应的通信接口，用于嵌入式软件和仿真系统之间的数据交换。通信接口根据具体嵌入式软件的接口设计实现，一般为各种通讯协议。各通讯协议模块之间松散耦合，且具备可扩展性，保证硬件接口的改变不会影响上层的功能实现。

　　(2)交互操作模块负责与嵌入式软件的交互操作。此部分可裁剪，主要根据嵌入式软件是否需要交互操作而定。其主要功能需要根据特定的软件设计实现。

　　(3)驱动模块负责封装与仿真系统测试数据有关的处理逻辑，向人机界面提供独立于体系结构的操作接口。系统测试阶段除了正常的功能和性能测试，更应该进行意外测试和破坏性测试，即测试系统正常执行情况下不该发生的激发活动和人为的破坏性测试，进一步验证系统性能。而驱动模块则将测试用例中各种测试数据传输给被测嵌入式软件。

　　(4)桩模块为嵌入式软件提供各种必要的输入数据。嵌入式软件的正常运行需要必要的外界输入数据，以完成系统的正常运行和交互。无论这些输入数据通过什么方式提供，桩模块都应该为嵌入式软件模拟各种输入数据。对于系统测试来说，输入数据也应该包括正常数据和非法数据两种。

　　(5)分析模块包括测试结果、预期结果和故障模型三部分。测试结果为执行测试用例以后被测软件执行的结果;预期结果为测试开始之前，测试人员针对不同测试用例输入的预期结果;故障模型中包括对各种故障的定位。故障模型在一个测试结束后，积累的错误定位模型可以通过外部接口导出，既可以用作其他测试系统的故障模型，也可以导出Word或Excel文件，用于开发人员进行分析总结。

　　分析模块在得到测试结果以后，首先与预期结果比较。如果相同，则测试通过;否则在故障模型中搜索相应的故障，并定位故障。如果故障模型中没有相应的错误定位，分析模块直接将未通过测试的测试结果和测试用例反馈给测试人员，由测试人员进行定位。当错误定位以后，测试人员根据测试实例修改故障模型，增加错误判断事件。通过不断循环，故障模型部分的各种故障定位逐渐增加，仿真系统在不断学习过程中实现错误定位。

　　(6)人机界面用于各种数据、结果的输入和显示，以及交互操作的人工输入界面。

　　3 铁路微机联锁系统测试

　　被测铁路微机联锁2乘2取2系统运行在CPU(486DX)上，属于典型的嵌入式软件。逻辑图如图3所示。

　　被测嵌入式软件运行在图3中A系和B系的CPU中，通过以太网接收人工下达的联锁命令，经过处理后通过DP协议网络传输给输出模块，控制现场设备。A、B系中只能以一个系为主系，主从系的切换可以通过手动切换实现，也可以自动切换。

　　3.1 测试实施

　　测试实施之前，首先编制测试用例，并针对每个测试用例给出预期结果和可能产生的错误以及相应错误的故障定位。把这些数据输入仿真系统的分析模型中，为即将进行的测试工作做准备。

　　在测试实施过程中，首先利用此仿真系统按照第一类测试方法进行测试，验证铁路联锁2乘2取2系统被测软件是'工作的'，也就是软件的功能是按照预先的设计执行的。然后按照第二类测试方法进行测试，验证软件是不工作的。

　　使用仿真系统设计并实施了很多在实际软硬件环境中不可能实现的测试用例。举例说明如下：

　　(1)非法数据的输入。正常运行的系统，操作人员不可能发送错误的联锁命令给被测软件，输入模块也不可能产生测试需要的各种非法输入数据。使用仿真系统的驱动模块和桩模块，可以很轻松地发送任何组合形式的非法数据，以测试铁路联锁2乘2取2系统被测软件的安全性。结合分析模块的使用，具体实施过程为：

　　通过人机界面输入超长非法测试数据 6，244，244，80，0，17，1，0，80，0，255，255，255，0，1，0，0，0，0，0，0，0，0，0，0，0，0，0，0，0，0 给被测软件，预期结果为无测试结果数据返回，即嵌入式软件将非法数据过滤掉，不进行任何操作。仿真系统通过人机界面提示测试通过，实际情况也确实是微机联锁系统未进行任何操作，便将超长的非法数据过滤了。通过人机界面输入固定码的非法测试数据 170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，预期结果为无测试数据返回，即嵌入式软件将非法数据过滤，不进行任何操作。仿真系统通过人机界面提示测试通过，而实际情况是微机联锁单元出现了死机现象。针对这种情况，修改预期结果内容为“无测试数据返回且与被测应用软件正常通讯”，而在故障模型中增加了“与被测应用软件无任何通讯”项，以修正仿真系统的错误定位为微机联锁单元死机。同理也要修改前面超长非法测试数据的预期结果和故障模型的内容。如此反复，仿真系统的分析模型也在不断完善中。

原文转自：http://www.uml.org.cn/Test/200903269.asp