题目：基于对象的嵌入式软件测试脚本技术研究

嵌入式系统的广泛应用促使嵌入式软件不断地发展，随之越来越多的软件缺陷被暴露出来，造成重大的损失，因此软件测试受到空前的重视。然而传统手工测试方法很难满足嵌入式系统软件测试的需求，基于测试脚本技术的自动化仿真测试环境逐渐成为国内外公认的、行之有效的解决方案。 目前针对嵌入式系统软件的测试脚本，主要是基于结构化脚本语言，能有效的控制测试流程，支撑测试的自动化进程。但对于嵌入式测试中常见的仿真模型支持不够，并且描述模型能力尚显不足。同时随着嵌入式软件测试的不断深入，积累了大量历史资源，重用这些资源能够行之有效地提高测试的效率和质量。 本文将对象技术与嵌入式软件测试有机地结合起来，提出了一种基于对象的嵌入式软件测试脚本语言OTSL（Object-based Test Script Language），其核心思想就是应用对象技术来解决上述问题。利用对象技术建模，能使测试脚本有效的描述仿真模型，支持自动化的仿真测试，同时对象技术与生俱来的继承特性，又有效的解决了测试资源的重用问题。 本文在软件测试与测试脚本基本概念介绍的基础上，首先给出了OTSL针对嵌入式软件测试的支持应具备的特性，然后详细阐述了OTSL的语法和语义。作为本课题研究成果最终实现的有效保障，还实现了OTSL语言的执行系统脚本解释器，文中给出了解释器的详细设计及实现的关键技术，并对解释器的执行效率进行了评估。最后将研究还原于实践，以一个航电嵌入式系统和一个智能移动终端嵌入式系统的测试实例，验证了本文研究成果的实用性和易用性，充分展示了OTSL对于嵌入式软件测试建模的支持与对已有测试资源的重用能力。