论文部分内容阅读
本文讨论了基于系统级故障诊断矩阵方法的软件集团测试，定义了测试矩阵和邻接矩阵，由此能直观、简便地生成集团和极大独立点集．本文为软件集团测试算法作了准备．
基于系统级故障诊断矩阵方法的软件集团测试
【摘 要】
：
本文讨论了基于系统级故障诊断矩阵方法的软件集团测试，定义了测试矩阵和邻接矩阵，由此能直观、简便地生成集团和极大独立点集．本文为软件集团测试算法作了准备．
【机 构】
：
长沙通信职业技术学院,邵阳学院计算机系
【出 处】
：
邵阳学院学报：自然科学版
【发表日期】
：
2007年3期
【基金项目】
：
湖南省教育厅一般项目“基于模型检测的程序测试”（湘财教指2005[46]号）部分成果
其他文献
文章从变压器的最基本原理进行分析,找出导致变压器损耗的因素,并据此分析了370MW电力变压器的效率特性,并从其效率特性出发,找出减少变压器损耗的方法和途径,以实现变压器运
准确判定结构超静定次数，是正确选择结构设计方法的前提条件．本人在结构力学教学实践中发现许多同学在这一问题上困惑不解，往往判定结果出现偏差．本文试就这一问题加以浅析．
文章通过对五间房煤田的勘查，从地质勘探、地质构造、煤层的划分及煤质分析和煤资源量估算，充分细致地作了分析研究及探讨，从而为我区煤炭事业的发展，提供了可靠依据。