Markov控制转换多模块软件可靠性测试资源动态分配方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:linsl2003
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
考虑到软件任务模块执行的不均衡性以及模块级软件可靠性增长测试的具体情况,针对Markov控制转换多模块软件,提出了一种模块级的可靠性测试资源动态优化分配方法,以减少测试代价。与静态资源分配方法相比,本方法更加优化利用测试资源,在确保可靠性指标的前提下可降低总的测试代价。
其他文献
分析了Phillips波浪谱结构,指出该谱是由符合Neumann形式的频率谱和国际拖曳水池会议推荐的方向分布函数构成的方向谱,Phillips谱的频率谱与P-M谱接近。参考P-M谱提供的方法
知识经济时代,知识是推动经济发展、社会进步的核心动力。它改变人们的消费观念、价值观念,从而影响企业的营销理念、营销环境,影响产品的品种及寿命周期,影响营销渠道及促销
目的 :观察兔上腔静脉壁内心肌细胞组织学结构。方法 :选取健康的新西兰大白兔 10只 ,取上腔静脉和右心房 ,10 %福尔马林溶液固定 ,HE染色。另取健康的新西兰大白兔 10只 ,取
介绍一种由4个不同鱼眼摄像机视场映射到俯视图的拼接方案。该方案主要依据逆投影方法分别建立起4个场景到俯视场景下大图的坐标关系,再依据图像融合得到最终俯瞰视图。创新
目的 :评价NO供体 (DETANO)抑制血管平滑肌细胞增殖的效应及其抗增殖效应与细胞周期抑制蛋白P2 7kip1的关系。方法 :将DETANO(10 -5~ 10 -3 mol·L-1)、DETA(10 -3 mol·L-1)
城市的飞速发展,使得进城务工农民越来越多,且在年龄分布上新生代己占据主体。与老一代农民工相比,他们有着自身的突出特点。这部分群体年龄普遍较小,多为未婚,其结婚生子等
“股利”自其诞生以来就受到国内外学术界的广发关注,成为学者研究和讨论的热点。而股利政策作为公司财务决策的三大核心之一,政策的制定不仅需要考虑对股东的回报,还应关注公司未来的发展。国内外学者从不同角度出发提出了不同的理论,试图探析“股利之谜”,然而依旧没有得出一致的结论。国内学者通常结合我国特殊的经济环境研究沪深上市公司的股利支付行为,实证得出股利政策影响因素却存在差异,因此,采用案例分析股利支付行
<正>《关于修改〈中华人民共和国刑事诉讼法〉的决定》单设一章对未成年人刑事案件诉讼程序专门作了规定,增设了附条件不起诉制度。同时,增加了在办理未成年人刑事案件中实行
民族旅游商品日益成为民族地区经济发展新的经济增长点,笔者通过对音寨村布依族蜡染的实地调研,应用SWOT分析方法,对布依族蜡染商品开发面临的优势、劣势、机会和挑战进行分
目的 :检测链脲佐菌素 (STZ)诱导的糖尿病 (DM)大鼠早期肾脏中肝细胞生长因子 (HGF)和P2 1的表达 ,探讨HGF在DM大鼠早期肾小球肥大中的作用。方法 :STZ诱导DM大鼠动物模型后