针对面向信号的测试语言ATLAS2000和面向协议的测试语言TTCN-3的缺陷，设计一种可应用于嵌入式系统软 件测试的测试描述语言RASL。详细阐述RASL语言的运行模式、设计思想、模型和程序结构，通过实例验证了该语言在 支持嵌入式系统的自动化测试的有效性。