离散型软件可靠性验证测试方案研究

来源 :计算机应用研究 | 被引量 : 4次 | 上传用户:lx19880614
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前,国内外相关研究大多集中于以MTBF/MTTF等时间相关指标作为可靠性参数的连续型软件,而对以成功率等非时间相关指标作为可靠性参数的离散型软件的可靠性验证测试研究则比较少见。因此,针对三种重要的离散型软件可靠性验证测试方案进行详细的分析与比较,并从标准层面上对这三种方案的实施方法与技术细节进行改进,从而为离散型软件可靠性验证测试的开展与实施提供必要和有效的指导。
其他文献
道德和马克思主义在中国特殊的国情中,在功能、调节对象和目的上凸现出较大的相似性,这就为马克思主义大众化提供了新视角,在深刻阐述两者相似性的基础上,挖掘道德教育方法中的合
期刊
在8月15日召开的中国饮料工业协会第三届会员代表大会上,宣布了2005中国饮料工业十强企业,2004年中国饮料业前20名企业,2005中国饮料品牌、产品创新奖及2005中国饮料业优秀供应
中国著名产品如何走出国门一直是个引人关注的话题。现在,一家法国公司正在努力从中寻找商机。从今年8月开始,国内酒业巨头茅台与古越龙山特制的产品就会出现在全球免税店的“
Neutraubling的克朗斯股份公司将于慕尼黑国际饮料和酿造技术博览会(2005年9月12日至17日)上全面展示自己在系统和产品问题解决方案的雄厚实力。由于国际饮料生产商对一体化的
对于均匀环绕四周的多台摄像机,先对每个摄像机利用Zhang的平面模板标定方法单独获得内参;在外参计算方面,提出了一种多摄像机外参标定的新方法,该方法在ICP(iterative closest point)算法的基础上,结合了VR(view registration)算法的约束优化思想,先通过两两相邻像机间自由移动平面模板计算两者的位置关系,最后将每一个摄像机统一到一个世界坐标系。标定过程操作简便
以基于矩的图像归一化技术及伪Zernike矩相关知识为基础,提出一种可有效抵抗几何攻击的数字水印新算法。算法首先利用归一化技术将原始图像映射到几何不变空间内;然后结合不变质心理论提取出归一化图像的重要区域;最后通过量化调制伪Zernike矩幅值将水印嵌入到重要区域中。仿真实验表明,该算法不仅具有较好的透明性,而且对常规信号处理(滤波、锐化、加噪和JPEG压缩等)和几何攻击(全局仿射变换、局部失真等
过去,国内啤酒厂啤酒生产线的清洗工作一般是由人工操作的,随着纯生啤酒的出现和人们对啤酒质量越来越高的要求,啤酒生产厂对啤酒生产设备的清洗问题也越来越重视了。为适应市场
通过对农学类本科生在植物生理实验教学过程中问题的分析,改革传统的实验教学体系,并对新教学体系中设计性实验的实施制定合理的调查问卷,对学生在进行自主设计实验过程的困难和满意度进行分析,提出保障设计性实验顺利进行的一系列措施。
食品标签是指食品包装上的文字、图形、符号及一切说明物。它是向消费者传递有关食品特征和性能的信息,可以引导、指导消费者选购食品,促进销售。