基于测试用例的软件可靠性分析

来源 :计算机应用 | 被引量 : 12次 | 上传用户:wohaishixinyonghu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它。鉴于此,提出了一个有关黑盒测试的可靠性分析模型,模型在结合等价类和边界值划分的基础上充分考虑软件复杂性、缺陷后果严重性和信息不足等因素等原因,根据矩阵和数理统计的知识得出相关的可靠性模型,并使用EM算法对该模型的置信下限做出了相应的理论证明。实验表明,该模型在实用性和可靠性方面都取得了较大的进展。
其他文献
通过对嵌入式操作系统加载、启动、调试开发环境的实际分析,提出了以远程调试为开发模式、RS-232协议为通信标准的人机交互环境构建方案。
采用工作流复合Web服务,设计并实现了支持动态复合Web服务的业务流程管理系统WSBPMS,给出了WSBPMS的总体结构并描述了其中的关键技术,包括Web服务与工作流活动的动态绑定技术、流程的自动和半自动执行,以及Web服务的QoS最优化选择等。
勒信仰是对弥勒思想的信服仰慕。弥勒是一位悲悯众生、爱护众生、能与众生幸福快乐的大慈菩萨。弥勒信仰分两个层次,一为兜率净土信仰,二为人间净土信仰。实现人间净土的途径是
提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和作业优先等级,充分发挥多种计算机代数软件的特长,并且提供并行的消息传递机制,将大量复杂的计算平均分配到每个计算节点,解决单台机器内存受限和计算能力有限等问题。
对超立方体网络中具有大量节点和链路故障模式进行了研究,提出了两类“子连通性”:即k-维子连通性和任意子连通性的概念;基于两类子连通性概念,分别给出了两个满足该两类子连通性条件的超立方体网络的分布式容错路由算法。证明了已有的两类局部连通性概念中的条件“错误节点数小于正确节点数”是不必要的。提出的两个子连通性概念是两类局部连通性概念的最大扩展,可以在更大程度上保证整个超立方体网络的全局连通性,是已有的
<正>一定有不少同学的梦想是做一名伟大的宇航员吧,这样就可以前往浩瀚无边的宇宙,去探索未知的世界。无限的宇宙到底隐藏着多少未解之谜呢?跟上我们的步伐,拿出计时器,记录
期刊
通过对著名的BDIAgent模型进行改进,并引入元级推理机制而给出了一个适合开放环 境的Agent体系结构。该体系结构具有高效、可扩展的、易于实现等特点。同时,该体系结构还解决 了Agent构造中的一系列难题。
运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向 对象的契约式程序设计中如何撰写契约,以保持面向对象的单个继承和多重继承的特性问题,并证明 了这一方法的有效性。最后探讨了动态环境下违反契约时的责任归咎,展望了契约思想在软件开发 中的运用前景。
在之前的连载中,我们讲述了许多和航海有关的天文和地理知识。这一次我们要讲的是航海中最关键的东西,那就是航海工具——船。船舶是海上航行的基础,如果没有船舶,人类就没办
期刊
铃木大拙是闻名世界的禅佛教思想家,在日本被称为“世界的禅者”,从而成为日本人引以自豪的人物。不过,恐怕大多数日本人把这位“世界的禅者”的世界理解得过于狭隘,也就是说,在他