【摘 要】
:
软件可靠性测试技术是保证软件质量的重要研究内容,针对传统可靠性测试中测试用例生成过于随机、生成个数不可控、测试用例生成"早熟"及充分性不足等问题,对可靠性测试用例的生
【机 构】
:
杭州电子科技大学复杂系统建模与仿真教育部重点实验室
【出 处】
:
杭州电子科技大学学报(自然科学版)
【基金项目】
:
武器装备预研基金资助项目(9140A15050115DZ04210);国防基础科研计划资助项目(JCKY2013415C001);国防技术基础科研计划资助项目(JSZL2014415B002)
论文部分内容阅读
软件可靠性测试技术是保证软件质量的重要研究内容,针对传统可靠性测试中测试用例生成过于随机、生成个数不可控、测试用例生成"早熟"及充分性不足等问题,对可靠性测试用例的生成进行了研究,分析了传统测试用例生成方式的弊端,提出一种改进的基于Markov链使用模型的测试用例生成方法,通过搜索计算基础测试路径及其概率并结合用例个数计算方法,利用"逆向"思维分配衍生测试用例集,克服了传统方法的弊端。最后通过某电话机软件的Markov链实例验证了方法的有效性。
其他文献
2015年1月,卡韦事务所(Carve)、奥黑明设计事务所(Omgeving)以及科林克思工程公司(Krinkels)组成的团队,赢得了位于比利时贝灵恩煤渣山改造的国际竞赛。贝灵恩矿区为弗兰德斯
城市交通拥堵问题已成为阻碍我国城市经济发展的主要问题之一,动态路径诱导系统在城市道路交通流的均衡动态分配中起着举足轻重的作用,并对缓解我国现阶段的城市交通拥堵问题
市场经济的全球化使得商品流通国际化的趋势越来越强,而作为商品促销的重要手段之一-广告用语,其翻译的准确性和恰当性就显得至关重要。由于各民族文化的差异,广告译文往往无
金黄色葡萄球菌极易在食品的加工、储存过程中形成生物被膜,使得被膜内的细菌很难被清除,给食品安全带来了巨大隐患。综述了金黄色葡萄球菌生物被膜的形成、检测、控制方法和
凤台县是安徽省淮南市的辖县,位于江淮平原,县内有淮河流经。凤台方言是中原官话中的一个方言点,即信蚌片。随着社会的发展,人口流动增加,凤台方言因此频繁接触其他方言,加上
拜耳法压煮溶出过程 ,结疤的形成是十分复杂的 ,开展对结疤性质研究 ,对防治结疤的危害 ,改善氧化铝生产工艺 ,提高技术经济指标 ,具有重要意义
Bayer process pressure coo
师范院校的趋同主要表现在办学定位、学科专业设置、人才培养模式和教师管理上的趋同化。由于院校间资源来源的单一化、专业设置政策的同一化,以及评价政策缺乏针对性的分类
以安徽省升金湖湿地国家自然保护区为研究对象,利用1986、2002、2011年的TM遥感影像,以GIS为数据分析手段,结合Fragstats软件,得出不同粒度下的景观指数;通过多元线型回归及
针对脉冲MIG焊控制方法的现状进行了介绍,主要包括:脉冲MIG焊电弧的开环控制;Synergic脉冲MIG电弧控制系统;脉冲MIG焊弧长反馈闭环控制系统;脉冲MIG焊弧长反馈闭环控制系统;QH
目的建立简单、快速、准确的检测水中阴离子合成洗涤剂的标准化操作方法。方法对国标操作方法进行优化改进,样品量与试剂量按国标法的比例缩减,聚丙烯锥形管替代分液漏斗,涡