实时软件测试用例构造的充要策略研究

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