【摘 要】
：
基于简化的受控Markov链软件自适应测试模型大多是研究如何以最小的期望成本检测并移除所有的缺陷,并在构建模型时对部分条件进行特殊化和理想化处理.针对受控Markov链软件测
【基金项目】
：
浙江省自然科学基金项目(Y1100289,Y1100726,Y12F020194);浙江省科技厅公益技术应用研究项目(2011C33G2060108);嘉兴市科技局重点项目(2011BZ11016)
论文部分内容阅读
基于简化的受控Markov链软件自适应测试模型大多是研究如何以最小的期望成本检测并移除所有的缺陷,并在构建模型时对部分条件进行特殊化和理想化处理.针对受控Markov链软件测试模型适用范围小、效率低的缺陷,在软件控制论思想基础上,对制约条件进行了一系列新的转换,提出一种改进的、资源约束的受控Markov链模型,该模型能够在高效性、复杂性和适用性3方面达到一个平衡.根据该模型设计一种新的软件缺陷优化测试策略,再通过参数估计对优化测试策略进行在线调整的方法,以构造软件自适应测试策略.为了证明其有效,利用该模型得到的新的软件自适应测试策略进行仿真实验,进一步得到了有效结果.
其他文献
CPS是近年出现的一个新概念。本文分析了CPS的概念和特性,提出了一种面向服务的CPS体系框架。该体系框架分为4层,分别为:节点层、网络层、资源层和服务层,对这种体系框架进行
双关语被广泛地运用于英语修辞之中,是一种常见的语言现象。双关语非常具有语言表现力,它在语言幽默中扮演着重要的角色。但是中西方有着巨大的文化差异,其中双方的幽默表达
结合城市地下管网系统的特点和需求,综合分析了基于ArcEngine的城市地下管网信息系统的建设方案,以及实现空间数据、属性数据的一体化存储,探讨了城市地下管网信息系统建设的
<正>在联片教研活动中,听了我校朱斌林教师上的公开课,犹如身处一道靓丽的风景线,让人漫步其中、流连忘返、回味无穷,"游"感颇多,现将这节课作如下评说。一、从完成的教学任
文化是财富,更是力量,凝神聚气,鼓舞斗志。疗养管理者应在打造文化型疗养院上下功夫见成效,不断丰富疗养文化,发挥人才科技优势,提升疗养服务的质量,为提高休养员身体素质做
采用超声提取法对含羞草种子中黄酮类物质进行提取,对提取工艺条件如溶剂、配料比、浸泡时间、提取温度、提取时间进行了优化。在单试验的基础上进行正交试验,得出黄酮类物质
<正> 美西律[Mexiletine,1-(2,6—二甲基苯氧基)—2—丙胺]是一种常用的钙通道阻滞剂,具有抗心律失常之功效。其经典分析方法为高氯酸非水滴定法,实验条件苛刻,分析步骤繁琐
<正>2008年美国发生了"次贷危机",进而引发世界性金融/经济危机。原因何在?主要是美国经济出了大问题,表象是由于信贷过度扩张,内在则是结构失衡、经济虚拟化、实体经济停滞
<正>本月第一个星期天,第52届美国超级碗开赛。每年超级碗都能掀起新闻热潮,但话题焦点却并不是赛事本身,而是短短12分钟的超级碗中场秀以及在中场秀期间播放的广告。可以说,
<正>我国是一个音乐多元化的国家,仅就器乐演奏而言,不论是民族民间乐器还是西洋乐器,不论是少数民族乐器还是汉族传统乐器,演奏时都蕴涵着无与伦比的美学价值。当前,如何更