第9章 嵌入式软件测试2011jm.docVIP

第9章 嵌入式软件测试 本章内容： 9.1 引言 9.2 传统软件测试中的技术水平 9.3 嵌入式软件测试：情形分析 9.4 嵌入式软件系统动态测试 9.1 引 言 嵌入式软件测试目的：质量特征的正确性检查。嵌入式软件对正确性有着更高的要求，因为错误会带来巨大的风险。 尽管质量特征的正确性与安全性、可靠性和可用性之间存在联系，但还是经常将质量特征分为两个不同的组： （1）功能性的质量特征 （2）非功能性的质量特征 实践中要求测试技术具有以下特征： （1）测试技术应易于使用，即，不需要具有特殊的前提条件。 （2）测试技术应提供尽可能完整的结果。 （3）测试技术应提供尽可能可靠的结果。 （4）测试技术应经济，即，资金和时间的投入应在可接受的范围内，以得到预期的结果。 （5）测试技术应灵活，即，当在遇到瓶颈的情况下，能够对所进行的工作进行相应的调整。 （6）测试技术所使用的基础设施（如工具）应可用。 引 言 应用领域不同，测试要求也不同： （1）在可能造成人身伤害的安全性要求严格的软件开发中，测试结果的稳定性比其他目标更重要。 （2）在安全性要求不严格的软件系统中，更看重经济性和实用性。 测试工具主要是提供给动态测试和静态分析使用的。专业的形式化验证工具相对来说较少。 通过比较各种测试技术的特性，会发现，按照各种标准，没有一项技术是最优的： （1）在要求严格的软件开发（如轨道技术和航空技术）中，形式化技术占主导地位。 （2）在许多常规软件的开发中，动态测试技术、静态分析能够更好地折中实现不同的需要。 （3）动态测试更普遍、容易实现，提供软件时间特性的说明，考虑所有在测试中出现的环境影响，有专业工具支持。 （4）动态测试的主要缺点是产生结果的不完整性。但是，系统性测试技术可以在一定范围内弥补这个缺陷。 9.2 传统软件测试中的技术水平 软件测试技术的分类 动态测试1 动态测试最简单的形式：测试人员用通常不可重复产生的输入数据直接地执行被测软件。相对来说，这是一种非系统性的特殊方法。 因为自身的抽样特性，动态测试技术只能提供被测软件的不完整结果，但由于这种方法具有通用性，所以，动态测试仍然有较大的实际意义。 动态测试技术的共同特征：（1）已编译的、可执行的软件，配以具体的输入值，并执行。（2）可以在真实的操作环境中进行测试。（3）动态测试技术是一种抽样方法。动态测试方法仅仅是用具体的值（测试数据）来运行被测软件。因为不能测试所有可能的情况，所以动态测试技术都是抽样方法。我们希望能够用抽样方法尽可能有意义地进行测试，于是产生了很多种动态测试技术。（4）动态测试技术不能验证被测软件的正确性。 动态测试2 通常，关于“软件功能是否正确”这样的结论，基本上仅仅对于所选择的测试数据是可靠的。 对软件来说，所有的输入功能的正确性，只能通过对可能的输入的测试来保证。所有输入的完全测试称为穷举法。对程序来说，穷举法的实现通常是不可能的。 因此，需要一个被认可的有代表性的规则：通过测试用例的正确处理，表明其他未被测试的情况也能正确处理。 动态测试技术定义了不同的规则，用以构造和评价测试用例。 动态测试技术的目标是产生下列测试用例： （1）典型的。（2）错误敏感的。（3）较少冗余的。（4）经济的。 9.3 嵌入式软件测试：情形分析 （1）嵌入式软件的动态测试需要考虑操作环境的影响，这对于实时要求的测试尤为重要，通常还使用专门的测试系统：硬件在回路系统。 （2）动态测试只能借助于随机的方法得到可靠性的说明，所以，对于高可靠性的系统，动态测试几乎不能够进行安全性分析。 （3）除动态测试外，嵌入式软件的测试也可以使用静态分析和形式化技术。由于各种测试方法的特定缺点，在进行要求严格的软件测试时，可以混合使用几种方法。 （4）对于控制软件，除了正确功能的完整测试外，还经常要求响应时间测试和特定环境功能测试。 （5）形式化的正确性证明可以获得结果的完整性，但它通常不能提供时间条件的保持性，而且它不考虑具体的操作环境。 （6）动态测试可以进行响应时间的测试，也考虑操作环境的影响，但它仅以抽样的形式出现。 （7）为了能够顾及所有提及的方面，必须选择一个形式化技术和动态测试技术的混合体。 9.4 嵌入式软件系统动态测试 动态测试方法要求使用具体的输入数据（测试数据）来运行软件。因为不能测试所有可能的情况，所以动态测试技术都是抽样方法。 由于动态测试的抽样特性，使得在测试之后，仍然会有残留的风险，但这与嵌入式系统的安全性要求并不矛盾。在技术意义上，安全性并不要求完全避免残留风险。在多数情况下，只需要保证残留风险不超过某种可允许的范围。 传统软件测试和嵌入式软件测试的本质区别：在于嵌入式软件定