摘要
软件测试是软件工程中主要的研究领域之一，尤其是实时控制多任务软件的测试，尚无成熟而通用的工具。本文工作以机载航空电子通信与控制管理软件为背景和应用对象，探讨了嵌入式实时控制多任务软件的测试方法和实现技术；根据被测软件的特点，采用了路径遍历，对输入多数集按合法、边界、非法划分等价类的原则构造测试用例，设计了二度式测试用例生成程序、嵌入式测试驱动与记录程序等工具，使本文具有明显的特色，并对同类应用软件的测试工作。
出处
《航空计算技术》
1995年第2期21-26,共6页
Aeronautical Computing Technique
