嵌入式系统软件工程第8章 嵌入式软件测试.pptVIP

COMPUTERSCIENCEANDTECHNOLOGY*第8章嵌入式软件测试本章内容：8.1嵌入式软件测试的目的与特征 8.2传统的软件测试技术 8.3嵌入式软件测试的特殊性8.4嵌入式软件动态测试8.1嵌入式软件测试的目的与特征嵌入式软件测试目的：质量特征的正确性检查。嵌入式软件对正确性有着更高的要求，因为错误会带来巨大的风险。质量特征通常分为两类：（1）功能性的质量特征 （2）非功能性的质量特征应用中，测试技术应具有以下特征： （1）易于使用，不需要特殊的前提条件。 （2）提供尽可能完整的结果。 （3）提供尽可能可靠的结果。 （4）经济，资金和时间的投入应在可接受的范围内。 （5）灵活，遇到瓶颈时，能够对所进行的工作进行相应的调整。 （6）测试技术所使用的基础设施（如工具）应可用。软件测试技术的多样性应用领域不同，测试要求也不同： （1）在可能造成人身伤害的安全性要求严格的软件开发中，测试结果的稳定性比其他目标更重要。 （2）在安全性要求不严格的软件系统中，更看重经济性和实用性。测试技术有多种，各有侧重，没有哪种测试技术是最优的： （1）在要求严格的软件开发（如轨道技术和航空技术）中，形式化技术占主导地位。 （2）在常规软件的开发中，动态测试技术、静态分析技术能够更好地折中实现不同的需要。 （3）动态测试更容易实现，考虑所有的测试环境的影响，有专业工具支持。 8.2传统的软件测试技术（1）软件测试技术的分类如图所示。（2）软件测试技术分2个大类：静态技术、动态技术。软件测试技术的分类（1）所有的验证技术都是静态的方法，穷举测试是例外。（2）穷举测试技术：对所有可能的输入在所有可以想象的操作环境中进行测试。但这种测试技术没有实际意义，所以在图中没有列出。静态分析具有的特征：（1）不执行被测试的软件。（2）原则上，所有的静态分析可以在没有计算机支持的情况下进行。（3）不需要选择测试用例。（4）不能生成正确性或可靠性完整的报告。软件测试技术的分类（1）形式化验证技术：使用形式化的手段，证明软件与规范之间的紧密性。因此，必须有一个形式化的规范。（2）形式化验证技术分为：可靠性技术、代数技术、基于自动机的技术。（3）可靠性技术是一种源于20世纪60年代的经典的证明方法。（4）代数技术主要应用于面向对象的系统类别和对象的验证。（1）符号测试技术：使用符号值来进行程序的运行，如果满足特定的前提条件，可以提供完全的测试结果，避免动态测试的抽样特性。（2）符号测试技术很少单独使用。通常作为动态测试的补充以生成测试数据。软件测试技术的分类运用样式分析，可以避免使用质量差的结构，特别是针对使用语法自由的编程语言的情况。运用软件大小可以量化控制软件的开发，准确叙述产品特性图表是很长时间以来描述软件的一种通用手段，并用于提供软件信息。它可以由程序代码静态地产生。分片可以验证软件命令之间的作用相关性。特别是，它可以支持调试。软件测试技术的分类动态测试技术的共同特征：（1）已编译的、可执行的软件，配以具体的输入值，并执行。（2）可以在真实的操作环境中进行测试。（3）动态测试技术是一种抽样方法。动态测试方法仅仅是用具体的值（测试数据）来运行被测软件。因为不能测试所有可能的情况，所以动态测试技术都是抽样方法。我们希望能够用抽样方法尽可能有意义地进行测试，于是产生了很多种动态测试技术（4）动态测试技术不能验证被测软件的正确性。软件测试技术的分类（1）通常，关于“软件功能是否正确”这样的结论，基本上仅仅对于所选择的测试数据是可靠的。（2）对软件来说，所有的输入功能的正确性，只能通过输入测试来保证。所有输入的完全测试称为穷举法。对程序来说，穷举法的实现通常是不可能的。（3）因此，需要一个被认可的有代表性的规则：通过测试用例的正确处理，表明其他未被测试的情况也能正确处理。（4）动态测试技术定义了不同的规则，用以构造和评价测试用例。（5）动态测试技术的目标是产生下列测试用例：（1）典型的。（2）错误敏感的。（3）较少冗余的。（4）经济的。8.3嵌入式软件测试的特殊性（1）嵌入式软件的动态测试需要考虑操作环境的影响，这对于实时性测试尤为重要，通常使用专门的测试系统：硬件在回路系统。（2）动态测试是一种随机的方法，所以，对于高可靠性的系统，动态测试几乎不能进行安全性分析。（3）除动态测试外，嵌入式软件的测试也可以使用静态分析和形式化技术。由于各种测试方法都有不足，所以，在进行要求严格的软件测试时，可以混合使用几种方法。（4）对于控制软件，除了功