论文部分内容阅读
为了缩短软件测试周期,本文把马尔可夫链模型运用于软件可靠性测试中,提出了这一技术进行软件可靠性测试的方法。在测试过程中使用了新的评判准则分析测试结果,通过实例证明了该评判准则的实用性和有效性。
基于概率统计的软件测试方法研究
【摘 要】
：
为了缩短软件测试周期,本文把马尔可夫链模型运用于软件可靠性测试中,提出了这一技术进行软件可靠性测试的方法。在测试过程中使用了新的评判准则分析测试结果,通过实例证明
【机 构】
：
兰州交通大学数理学院
【出 处】
：
自动化与仪器仪表
【发表日期】
：
2011年4期
其他文献
在人类的历史上,出现的最古老的艺术形式非舞蹈莫属。在最初的原始社会时期与其他艺术形式相比之下,舞蹈首先作为一种人与人之间相互交流的工具存在,因为舞蹈可以表达人们的情感促进良好的沟通,这些舞蹈在不同时期具有不同的社会角色。随着时代的进步和社会文明的发展,舞蹈逐渐渗透到人们生活的各个领域。在教育领域,舞蹈课的设立已成为促进学生健康发展、提高学生素质的重要途径。《国家中长期教育改革和发展规划纲要(201
本文基于对泗阳县花井村几处现存茅屋的调研,通过对此民居原型的历史追寻、院落形制的考察,以及与国内现存茅草屋的比较等纵横向的研究,探析茅屋建筑的内在价值,同时也对其保
针对电动泵压式液体火箭发动机供应系统质量偏大和影响供应系统质量因素较多的问题,采用敏感性分析方法对影响供应系统质量的因素进行评估以确定敏感性最大的因素,并对敏感性
会议
旨在对电力客户的能效状态进行有效评估,通过管理和技术手段实现输配用电环节的节能降耗。运用系统工程的分析方法,建立了电力客户综合能效评估指标体系,通过G1组群判断法和
近年来在我国的长江江苏段深水航道建设方面,已经形成了良好的发展模式,但是,受到诸多因素的影响,尚未形成良好的建设模式,且沿江港口方面的发展还没有形成良好的战略机制。
技法课是美术课的实践环节，它作为培养学生基本技能的专业学科，在美术课中发挥着重要作用。美术课被国家列为素质教育学科之一，但却一贯倾向于对学生技能方面的培养，而其素质教育
培育师资队伍的“双师”素质,是提升高职院校生产力水平的重要环节。建立校企协同的管理体制和运行机制,是有效提升高职院校师资队伍“双师”素质的必要前提。科学界定“双师
“互联网＋”背景下的动态创业生态系统主要由创业参与主体和创业支柱要素构成。创业主体的主要参与者包括创业企业、大学生、政府、投资机构、高校及科研机构等,创业支柱要素
随着信息系统的发展，业务运转对信息系统的依赖性越来越强，安全管理的成败直接关系到业务的正常运转。安全运维作为安全管理的重要组成范畴，在传统安全管理系统建设中却并未得到