论文部分内容阅读
在马尔可夫链模型的基础上，将测试问题转化为一个数学问题。通过建立软件的使用链，根据使用链进行序列抽样，产生测试用例，将软件测试结果的分析问题转化为一个经典概率问题。运用实例证明，这种技术具有一定的实用性和有效性。
一种软件可靠性测试模型研究
【摘 要】
：
在马尔可夫链模型的基础上，将测试问题转化为一个数学问题。通过建立软件的使用链，根据使用链进行序列抽样，产生测试用例，将软件测试结果的分析问题转化为一个经典概率问题。运用
【机 构】
：
天水师范学院数信学院
【出 处】
：
自动化与仪器仪表
【发表日期】
：
2009年4期
【基金项目】
：
基金项目：天水师范“青蓝人才”资助项目.
其他文献
轧机振动一直是制约轧制发展的重要问题。建立有效的轧机系统动力学模型是研究轧机振动问题的基础,而已有的研究在轧机系统耦合建模方面仍存在着许多不足。通过分析轧机不同
由于无线网络传输介质的特殊性,即它通过无线电波在空中传输数据,所以无线网络中必然存在数据访问的局限性和数据的安全性等问题。本文通过对无线网络在传输数据过程中存在的
<正> 有盖电极焙烧炉的尾气,经气体冷却器冷却后,用电除尘器捕集的焦油,称为“电捕焦油”。吉林炭素厂两个焙烧车间,每年可回收焦油约500吨,其性能,经多次取样分析如下:
利用离散的Fourier变换首次讨论了具有变系数和余割核奇异积分的卷积型方程的求解，并首先在L2[-π，π]上得到了可解条件和一般解．
<正>前苏联相机的著名品牌——KIEV(音译:基辅)的拥有者,是乌克兰共和国的Арсенал(音译:阿尔谢娜)兵工厂。这是一家历史悠久的企业,最早成立于1764
超声流量计从原理上讲是可以实现非实流标定的一类流量计，但目前国内外仍未普遍推行该技术的一个重要原因是超声换能器对流场扰动影响的研究尚需深入，特别对于中、小口径超声流
并联机构的工作空间一般具有不规则的几何边界。然而在应用中，操作任务通常要求工作空间具有规则的几何形状，同时还必须满足任务给定的力／力矩输出要求，称这样的工作空间为任务空