【摘 要】
：
现有的计算软件可靠性的方法采用测试的输入／输出结果，但这些数据并不能真实地反映软件内部的真实行为，如测试中会出现假牲正确的情况以及测试不能显示一个输入有多个错误的输出
【机 构】
：
浙江理工大学理学院,浙江理工大学信息学院
【基金项目】
：
国家自然科学基金(61210004,61170015)~~
论文部分内容阅读
现有的计算软件可靠性的方法采用测试的输入／输出结果，但这些数据并不能真实地反映软件内部的真实行为，如测试中会出现假牲正确的情况以及测试不能显示一个输入有多个错误的输出情况．试图通过程序不变量来计算软件的可靠性，程序不变量可以描述程序的性质．首先选取测试用例集，动态地获取程序不变量，再从这些不变量中提取失效数据，最后，基于Nelson模型计算软件的可靠性．作为实验，对西门子程序包计算软件的可靠性．采用随机、分支覆盖和分块覆盖这3种不同的测试方法得到程序不变量，据此计算程序的可靠性．为了检查结果的可行性，采用
其他文献
随着网络的发展，如何提高网页信息搜索的查准率成为研究的热点。通过对基于标记的网页信息搜索技术、基于元搜索的网页信息搜索技术、以及基于爬虫的网页信息搜索技术在查准率
在互联网环境下,慕课作为一种新兴的教学模式得到了教育领域的高度关注与广泛研究,并在各个学科的教学实践中得到了快速的推广与普及。依托慕课开展微生物教学,对于推动微生
《红楼梦》的叙述层面是多重复合、层层深入而又流动贯通的,大致可分为五个叙述层面,即:超叙述之“创作”层面—→元叙述之“文本”层面—→主叙述之“故事”层面—→次叙述
目的:探讨静动脉二氧化碳分压差(PcvaCO_2)联合中心静脉血氧饱和度(Scv0_2)在创伤性休克液体复苏中的作用。方法:参照文中相关诊断、纳入及排除标准收集2017年12月-2019年1月冀中能源邢台矿业集团总医院重症医学科创伤性休克患者为研究对象,随机数字表法随机分为Scv0_2目标组[控制中心静脉压(Central venous pressure,CVP)达到8 mmHg(机械通气时12m
排球比赛为隔网对抗性项群,排球运动竞赛过程中的对抗现象是对阵双方以各种形式展现训练中所获得的竞技能力,但运动员个体或团队都难以在正常比赛中时刻保持超高的竞技能力,
成形极限是板材成形领域中重要的性能指标和工艺参数。文章在阐述成形极限在板料成形中的意义的基础上，综述并分析了成形极限在理论和实验方面的研究进展。成形极限图受应变路
北三河水系包括接纳了北京、天津大量再生水和污水的温榆河、凉水河和北运河等河流,其沉积物中金属的污染状况是水环境质量的重要指标之一.本研究调查分析了北三河水系8条河
清代学者段玉裁<说文解字注>中有关古今字的论述,是体现段氏<说文>研究学术价值的一个重要方面.作者就段注中所有关于古今字的论述材料进行全面考察,通过实例和对观点的梳理,
随着生活水平及治疗技术的提高,上前牙美学区种植修复成为越来越多患者的选择。种植体唇侧软硬组织轮廓欠丰满是前牙区临床常见的美学缺陷,其在重度牙周炎造成上前牙连续缺失
城市建筑物配建停车是城市停车设施的主要组成部分，是保证城市停车供给的主体，目前大多数城市采用配建指标的方式来保障配建车位的数量。本文通过对6个大小城市的现行配建指标