实时软件测试用例构造方法研究

航空与国防领域正呈现实时软件密集的趋势。这些软件可靠性要求高且通常规模较大，测试是一项艰巨的工作。如何使测试做到充分且必要是十分重要的研究课题．本文在分析实时软件特征的基础上，针对程序正确性测试，从任务组合和等价类划分两个主要环节探讨了测试用例构造的克要策略，并举出一具体实例。