在软件生存周期里,测试活动是保证软件质量的主要手段之一。根据软件工程的观点,测试活动开始越早,修改错误的成本就越低。但是由于嵌入式软件本身的特殊性,使得对该类软件的动态功能性测试与验证要等到硬件开发完成后方可进行,造成该类软件的开发周期长、开发费用高且质量难以保证的现状。因此在嵌入式软件开发中如何尽早的开始功能性测试与验证,就成为该类软件测试技术的主要研究内容之一。国外在该领域起步较早并取得了丰硕的成果,而我国起步较晚,和国外相比有很大的差距,因此也成为制约我国嵌入式软件发展与应用的主要障碍。 为了能在该领域能跨上一个台阶,我国于2001年立项进行航空产品嵌入式软件质量控制技术研究,其中有一个子课题(编号418010704-3)名为“软件测试验证技术、工具研究开发”,而“嵌入式软件模拟测试平台”则是该子课题的主要组成部分,旨在解决嵌入式软件功能性测试的难题。本论文是在此课题背景下展开研究的。论文的主要工作和成果表现在以下几点: 1、考察了软件测试的发展历史,阐述了软件测试的内涵与外延,从软件生存周期的角度研究了测试活动对于保证软件质量的重要性,并总结了软件测试活动的过程与步骤。 2、研究了嵌入式软件难于测试的原因,阐述了三种开发模型的特点,讨论了能提高嵌入式软件开发能力的模型及其构成,并阐述了模拟测试平台在实施该模型当中的重要意义。 3、设计了模拟测试平台的部分结构,改造了原有的设计方案。在此基础上研究了适合于嵌入式软件的需求描述方法—SSR (Structured Stimulus Response结构化激励响应)方法,阐述了SSR方法与符号测试命令语言之间的关系。 4、给出了符号测试命令语言模块的设计思路,设计了该模块的内部结构,解决了设计当中的几个关键问题,并实现了这些模块的基本功能。 论文对嵌入式软件的功能性测试技术做了深入的研究,并在此基础上设计和实现了嵌入式软件模拟测试平台中的符号测试命令语言模块,为以后该平台的继续研制和开发打下了坚实的基础。