论文部分内容阅读
实时并发软件愈来愈多地应用于国防和工业的控制系统，其测试方法和工具的研究成为质量保证的重要课题之一。在分析大型实时控制软件特点的基础上，提出了以白盒测试与黑盒测试相结合、自顶向下的递增式策略，实现单元测试、组合测试和综合测试的三级测试技术方案；并介绍了二次式测试用例生成程序，嵌入式测试驱动与记录程序和测试结果评判程序等计算机辅助测试工具。