一种两地三中心高可用数据库架构设计及验证测试

目前,两地三中心已成为大型企业数据中心建设的主要模式,为企业提供更加安全、稳定、高效的信息化平台,保障企业信息系统安全高效运营,满足不同故障和灾难场景下对业务连续性的要求。基于开源的关系型数据库管理系统PostgreSQL和开源的分布式协调服务ZooKeeper,文章设计了一种两地三中心高可用数据库架构,能够实现分布式事务一致性及故障场景下数据库高可用,并通过故障场景测试用例对其进行验证测试。测试表明,按照该架构设计部署的两地三中心数据库,当常见故障发生时,数据库均可自动进行故障隔离,且数据零丢失,能够持续稳定地提供数据访问服务,不会影响到上层业务。该数据库架构设计节约软件成本,透明可靠、安全性高,并可针对实际需要进行定制。另外,数据存储介质使用的是服务器本地盘而非集中存储,有利于降低数据库建设成本和运维成本。

连续执行软件可靠性验证测试方法

针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效强度的先验分布,从而得到所需要的验证测试持续期,并结合检证测试过程中的具体情况,提出了先验动态整合的方法。实验表明,该方法在不降低验证测试结果可信性的条件下,能有效地减少可靠性验证测试的持续期。

基于改进贝叶斯方法的软件可靠性验证测试

针对当今软件可靠性验证测试时长过久问题,提出一种基于单调减函数的贝叶斯软件可靠性验证测试方案。根据测试阶段里的实时先验信息,对先验信息进行动态整合处理;以单调减函数的贝叶斯方法为基础,提出两种先验动态整合的方法。通过案例分析验证了测试方案可以在保证置信度不变的条件下,大幅减少测试时长,两种先验动态整合法具有可行性。

Link 16数据链验证测试技术

介绍了Link 16数据链网络的技术特点以及数据链验证测试的关键技术。针对数据链验证测试的过程,提出了验证测试系统的组成和测试流程。最后,针对某典型C2(指挥、控制)平台参与下的数据链应用过程进行了仿真分析,得到了验证测试的结果,对数据链网络规模应用以及资源分配合理性的验证具有参考价值。

基于蜕变测试的热传导程序的验证测试研究

核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者得到程序的预期输出来验证程序计算结果是否正确。蜕变测试无需程序预期值来验证结果,已应用于软件测试领域,其蜕变关系是关键。本文应用蜕变测试技术,以堆芯燃料元件热传导程序为例,从数值计算模型中导出蜕变关系,实例初步验证该蜕变关系的有效性,也表明蜕变测试技术可以在核电设计与分析软件验证测试中发挥作用。

构造通用简约验证测试集U(p,ω)矩阵的一般公式与程序实现

本文旨在解决伪穷举测试技术中的一个问题。文中通过递归方法产生一个描述二进制多维空间全部矢量的生成关系图。在研究该图性质的基础上,推导出构造最优通用简约验证测试集U(p,ω)矩阵的一般公式。最后,给出一个GCLISP的应用程序。

地球站天线现场验证测试综述

本文概述了地球站天线入网验证的自动测试系统,简述了现场验证测试的特点,强调了数据处理在入网验证测试中的重要性。

美第2架X-47B无人作战验证机顺利通过结构验证测试

据诺.格公司网站2011年3月14日报道,美国海军的第2架X-47B无人作战验证机（编号为AV-2）已于2011年1月24日顺利完成了一系列严格的机体结构验证测试,对测试数据分析得出的结论为：AV-2的机体结构完全可承受各种环境下起飞、

硅压阻式压力传感器四线制自动补偿验证测试系统设计

本文设计了一种专用于硅压阻式压力传感器多路自动测试系统,可满足硅压阻式压力传感器四线制温度补偿和恒压恒流验证测试,采用C#设计人机交互软件,通过通讯接口实现自动调节高低温箱温度、自动加压、自动线路切换、自动测量、自动数据存储及数据报表等功能,适用压力传感器批量生产和测试使用。

一种生成通用简约验证测试集U（p，w）矩阵的算法

作者曾著文给出了构造Ｕ（ｐ，ｗ）矩阵的公式，一个Ｕ（ｐ，ｗ）矩阵含有特定的一组权．在前文的基础上，本文讨论如何根据给出的权产生相应的全部矢量的算法．本算法比较简单，适用于二值逻辑和多值逻辑．

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

目前,国内外相关研究大多集中于以MTBF/MTTF等时间相关指标作为可靠性参数的连续型软件,而对以成功率等非时间相关指标作为可靠性参数的离散型软件的可靠性验证测试研究则比较少见。因此,针对三种重要的离散型软件可靠性验证测试方案进行详细的分析与比较,并从标准层面上对这三种方案的实施方法与技术细节进行改进,从而为离散型软件可靠性验证测试的开展与实施提供必要和有效的指导。

基于减函数的多层贝叶斯离散型软件可靠性验证测试方案

为有效降低软件可靠性验证测试工作量,满足高可靠软件的指标验证要求,在减函数理论及贝叶斯理论基础上,提出一种基于减函数的多层贝叶斯离散型软件可靠性验证测试方案(MBDFDSRDT)。选取面向失效概率的减函数作为第一层先验分布密度函数,然后选择第一层先验分布密度函数超参数的均匀分布函数来构造其第二层先验分布密度函数,进而给出相应的多层后验分布密度函数。选取若干组失效数据,对MBDFDSRDT方案进行实践应用,并与基于贝叶斯理论的软件可靠性验证测试方案以及基于减函数的单层贝叶斯软件可靠性验证测试方案进行对比。应用结果表明,MBDFDSRDT方案可显著地降低所需的测试工作量,特别适用于高可靠安全关键软件。

一种微处理器芯片的验证测试分析及应用

验证测试技术是验证芯片设计正确与否的重要环节,不仅向设计者及时反馈了有效的信息以尽早发现错误、改进设计,并能为降低测试成本和生产测试提供有效保障。基于实际工程,该文提出了一个较有效的验证分析流程方案,采用多测试项目融合的测试法对一款微处理器芯片进行了验证分析,并对相关测试项目进行了定量、定性的评估。

车载大功率DC/DC电源变换器半实物仿真验证测试方法

介绍了一种车载大功率DC/DC电源变换器(以下简称DC/DC)的测试方法,运用V模式理念并结合半实物仿真验证测试方法对DC/DC的技术方案进行了全数字仿真验证测试、对DC/DC的控制电路部分进行了快速控制原型仿真验证测试、对DC/DC的功率电路部分进行了硬件在环仿真验证测试、对集成功率及控制电路的DC/DC进行了功率硬件在环验证测试,并根据测试结果又进行了迭代验证测试;通过半实物验证测试,对DC/DC各项设计参数的正确性及性能指标符合性进行验证测试,保证DC/DC技术方案的合理可行。

相关系数对软件可靠性验证测试的影响分析

针对在软件可靠性验证测试过程中传统贝叶斯方法存在着不区分历史信息与试验信息的问题,提出了基于混合贝叶斯软件可靠性验证测试方案.引入相关系数概念,分别通过主观定量法、拟合优度法、Kullback信息量法、Spearman相关系数法以及Kendall相关系数法确定混合贝塔分布中的相关系数.最后通过实验分析,证明了这5种计算相关系数方法的可行性,并且同时证明了区分历史信息和试验信息,会对软件可靠性验证测试的可接收质量水平产生影响.

基于某款车型的整车电平衡验证测试

通过对某款车型进行的整车电平衡验证测试,确定车辆电源系统失衡原因,协助主机厂进行整改实施;整改验证测试表明,有效解决了车辆供耗电系统失衡问题。文章对整车电平衡验证试验的测试方法、评价准则及相应的整改措施进行详细叙述,总结整车电源系统设计时应注意的一些事项及较为合理的设计方法。

先进的工程验证测试系统可以使复杂的设计在面市时间、成本和质量方面受益

中国半导体产业特别是集成电路制造和设计业有了突飞猛进的发展并成为全球的亮点。然而，与半导体技术发达的国家相比，中国的集成电路设计仍然处于起始阶段。寻找到一条从设计到测试的最佳方案可大大加快提高我国集成电路设计水平的进程。本文将着重介绍目前世界最为流行的一套先进的工程验证测试系统。全球前20家集成设计制造商(IDMs)大都采用此技术。

一种提高软件可靠性验证测试效率的方法

当前软件可靠性验证测试普遍存在着未能客观反应实际测试过程中的信息变化以及测试工作量较大的问题,难以满足实际测试的需求。因此,提出了一种基于混合加权贝叶斯方法,给出了在混合加权的情况下超参数的具体求解方法。通过案例分析,基于混合加权贝叶斯方法改善了传统贝叶斯方法存在的问题,同时在保证软件可靠性验证测试结果的置信度条件下,能够实现有效降低测试所需的测试用例数。

数据中心的第三方验证测试

0引言 数据中心是电子信息技术所需的基础设施，从现有的互联网、电信网、广电网等到即将组建的物联网，电子信息的传输、运算和存储都离不开数据中心的支持。随着信息技术的不断发展，数据中心机房设施的规划、设计、选型和施工成为一项极其繁杂的系统工程，所以只有理论知识渊博、技术经验丰富的专业数据中心测试人员，借助先进的测试仪器，才能发现潜在的施工瑕疵及机房安全隐患，保证机房符合标准，保障IT设备的高可用性与高可靠性。第三方验证测试作为审核数据中心运行环境质量的主要手段，其重要性尤为突出。