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

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

The Study of Making Test Case for Real-time Software

Real-time software is more and more much in the territory of aviation and national defence. The scale of these software is large and high reliability is required. The software test is important and heavy. So we must study full and necessary testing methode.In the paper, the characteristic of real-time software was analysed, further more, in point of program's correctness, full-necessary strategy of constructing real-time software testing case was researched, in view of combinning task and classifving equal value category.The last, an instance was gived.