摘要
航空与国防领域正呈现实时软件密集的趋势。这些软件可靠性要求高且通常规模较大,测试是一项艰巨的工作。如何使测试做到充分且必要是十分重要的研究课题.本文在分析实时软件特征的基础上,针对程序正确性测试,从任务组合和等价类划分两个主要环节探讨了测试用例构造的克要策略,并举出一具体实例。
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.
出处
《微电子学与计算机》
CSCD
北大核心
1997年第5期4-7,共4页
Microelectronics & Computer
关键词
软件测试
用例构造法
程序正确性
软件开发
Test case generation, Full-necessary strategy, Classifying equal value category