【摘 要】
：
在分析现有Markov模型的软件可靠性的充分性判别的基础上，定义了严格转移概率的概念，提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型，在每个边
【机 构】
：
电子科技大学示范性软件学院,电子科技大学计算机科学与工程学院
论文部分内容阅读
在分析现有Markov模型的软件可靠性的充分性判别的基础上，定义了严格转移概率的概念，提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型，在每个边或者状态的差异计算时引入严格转移概率，对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算，得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。
其他文献
加强人们对日本血吸虫病的了解,并了解人畜得了此病会出现症状和危害,本文对流行病学、病理变化以及适用药物进行了阐述。
为了筛选出防治茶饼病的高效低毒药剂,为有机茶园防治茶饼病提供依据,进行了4种生物农药对茶饼病的田间药效试验。结果表明：4种药剂中矿物源药剂绿颖100倍液防治效果最佳,防治
目的 建立全氟异丁烯 (perfluoroisobutylene ,PFIB)致犬吸入性急性肺损伤 (acutelunginjury ,ALI)模型。方法 对麻醉犬进行气管插管、颈动脉插管 ,采用气管联接方式吸入中
文章就建筑工程档案的概念和特点作为切入,浅要论述了建筑工程档案的存在问题,并针对性提出了建筑工程档案的解决和改善办法。
目的观察布地奈德雾化吸入治疗小儿急性喉炎的临床效果。方法选取2017年9月至2019年8月在禹州市人民医院治疗的102例小儿急性喉炎患儿,采用随机数字表法将其分为两组,每组51
R＆D是指人们为了增加知识的积累而进行的系统地创造性的工作,是对新知识的获取和应用。跨国公司R＆D全球化是指跨国公司从其全球化经营战略出发,根据自身的技术实力与战略目标,
新D型电磁加热摇锅较传统的燃气、燃油灶具具有节能、环保、高效等优点,因此被多家单位的餐饮部门所选用。但在使用过程中,传动部分出现了一些问题,原传动部分采用的是电动推
本文介绍了中国近代翻译史中最有代表性的法国文学翻译作家曾朴的生平及翻译活动。曾朴对于雨果这位法国资产阶级浪漫主义文学运动的领袖人物和代表作家有着特殊的感情。他富
总结基层医院手术室建立并启用术前准备室的应用体会。改造一间靠近手术室入口的房间为术前准备室,完善室内配置,保持室内空气、温湿度等符合医院感染管理要求,并严格执行消
黄河三角洲是中国典型的滨海河口湿地，具有重要的生态和经济意义。该区域自然灾害频繁，海岸侵蚀、海面上升、风暴潮和黄河断流等主要灾害风险因子之间密切相关。在它们的共同作