节点文献
基于系统级故障诊断矩阵方法的软件集团测试
Software group test based on matrix method of system-level fault diagnosis
【摘要】 本文讨论了基于系统级故障诊断矩阵方法的软件集团测试,定义了测试矩阵和邻接矩阵,由此能直观、简便地生成集团和极大独立点集.本文为软件集团测试算法作了准备.
【Abstract】 In this paper is discussed software group test based on matrix method of system-level fault diagnosis.It defines test matrix and adjacency matrix,hence we can generate group and maximal independent sets directly and promptly.Hence we make preparations for software group test algorithms.
【关键词】 软件集团测试；
系统级故障诊断；
矩阵；
极大独立点集；
【Key words】 software group test； system-level fault diagnosis； matrix； node group； maximal independent sets；
【Key words】 software group test； system-level fault diagnosis； matrix； node group； maximal independent sets；
【基金】 湖南省教育厅一般项目“基于模型检测的程序测试”(湘财教指2005[46]号)部分成果
- 【文献出处】 邵阳学院学报(自然科学版) ,Journal of Shaoyang University(Natural Science Edition) , 编辑部邮箱 ,2007年03期
- 【分类号】TP311.52
- 【被引频次】1
- 【下载频次】32