嵌入式控制系统的软件测试及其应用

《嵌入式控制系统的软件测试及其应用》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、嵌入式控制系统的软件测试及其应用　　摘要本文概要论述了嵌入式系统的软件测试的测试步骤、测试目的、测试模式的设计、测试方法，并举例说明了其在汽车电池充电控制系统上的应用【关键词】嵌入式系统软件测试程序模块1引言随着技术的发展，越来越多的功能加入到嵌入式软件中。嵌入式软件在各种不同条件下可能出现未知、不可预测的状况，其潜在的风险往往较高，高可靠性和安全性自然成为嵌入式系统的重要指标嵌入式系统安全性的失效可能会导致灾难性的后果，即使是非安全性系统，由于大批量生产也会导致严重的经济损失。这就要求对嵌入式系统，包括嵌入式软件进行严格的测试、确认和验证一般来说，嵌入式软件测试在

2、4个阶段上进行，即模块测试、集成测试、系统测试、硬件/软件集成测试。前3个阶段适用于任何软件的测试，硬件/软件集成测试阶段是嵌入式软件所特有的，目的是验证嵌入式软件与其所控制的硬件设备能否正确地交互2模块测试2.1模块测试的定义和特点（1）模块测试又称单元测试，是针对程序模块（软件设计最小单位）来进行正确性检验的测试工作（2）模块测试的目的是检测程序模块对《详细设计说明书》的符合程度（3）模块测试由测试工程师编制测试用例进行测试，并将结果记录在《软件测试报告》上2.2模块测试的设计测试模型：分为驱动模块和桩模块驱动模块相当于所测试模块的主程序，桩模块是用来代替所测试

3、模块调用的子模块2.3输入和输出的规则2.3.1输入一般来说有以下四种情况：（1）被测函数的参数；（2）通过赋值运算符“=”向局部变量赋值或作为被调用函数的参数的全局变量（包括静态变量）；（3）有返回值的被调函数；（4）全局变量作为被调用函数的参数2.3.2输出一般有三种情况：（1）被测函数的返回值；（2）被改变过的全局变量（包括静态变量）；（3）所有的被调函数2.4三值确认做大小比较的检证时，通过选取基准点，和基准点-1，基准点+1共三点来保证大小比较的正确。例如：if（a>10）大小比较需三值确认，10为境界值，所以取11，10，9三值{a=11时，结果b=OF

4、F；a=10时，结果b=ON；a=9时，结果b=ONb=OFF；为何取三值？}a？10Else三值确认后能判定是什么符号b=ON；2.5if语句的组合规则在if语句中，每个判定条件的成立和不成立的情况，都要测试到：例如：If（A）则有：A=T时，结果=T；A=F时，结果=F若有两个或多个判定条件组合起来的判定语句，例如：（1）A&&BA=TB=T时，结果=T；A=TB=F时，结果=F；A=FB=T时，结果=F；A=FB=F时，结果=F（2）C‖DC=TD=F时，结果=T；C=FD=T时，结果=T；C=FD=F时，结果=F；C=TD=T时，结果=T（3）A&&B‖CA

5、=TB=T时，A&&B结果=T，C=F时，最终结果=T；A=TB=F时，A&&B结果=F，C=F时，最终结果=F；A=FB=T时，A&&B结果=F，C=F时，最终结果=F；A=TB=F时，A&&B结果=F，C=T时，最终结果=T2.6模块测试方法2.6.1代入（1）确认对象：①被测试函数的参数，参数做代入②全局变量通过赋值运算符“=”向局部变量赋值，形如“local_var=global_var；”，全局变量做代入③被测试函数的代码中有调用其他函数，且被调用函数返回类型不为空（另一说法是没有返回值），被调用函数做代入④全局变量做为被调用函数的参数使用，全局变量做代入

6、（2）确认方法：确认对象动态取值范围的最大值和最小值2.6.2大小比较（1）确认对象：逻辑表达式中的变量和常量（2）确认方法：三值确认（表达式中任意一侧即可，变量侧优先）2.6.3加减运算（1）确认对象：加减算式（包括库函数）中的变量和常量（2）确认方法：确认对象动态取值范围的最大值，最小值，一般值（不为0，取值唯一；运算结果不为0且尽量为负）加减演算指所有只含有加减运算符和赋值运算符“=”的语句及调用具有加减演算功能的库函数的语句，加减运算符共有六种，加运算符“+”，减运算符“-”，自加运算符“++”，自减运算符“--”，以及赋值运算符“+=”，“-=”2.6.4

7、乘除运算（1）确认对象：乘除算式（包括库函数）中的变量和常量乘除演算指所有只含有乘除运算符和赋值运算符“=”的语句及只含有移位运算符和赋值运算符“=”的语句及调用具有乘除、移位演算功能的库函数语句，乘除演算中的运算符共有十种，乘运算符“*”，除运算符“/”，求余运算符“%”，左移运算符“>>”，右移运算符“>=”。　　（2）确认方法：确认对象动态取值范围的最大值，最小值，一般值（不为0，取值唯一；运算结果不为0且尽量为负），除零.当运算结果不能直接输出时，可以通过其他逻辑表达式（二值确认）或运算加以确认。当库函数中带有右移位操作时，必须进行精度确认。（尽量利用一