面向计算机并发程序的形式化验证方法设计

计算机并发性程序形式化验证一直是软件安全领域的难题.软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题.形式化验证基于严格的数学推导基础,采用语言、语义、推理证明三位一体方法,构建形式逻辑系统,以确保被验证系统的安全性能.传统的形式化验证方法由于人工参与多、验证工作量大、验证效率低等不足,难以对计算机并发...     

面向工业物联网技术的开发验证服务平台

工业物联网技术是通过支持设备间的交互与物联,提供低成本、高可靠、高灵活的新一代泛在制造信息系统和环境,推动工业自动化系统的功能提升与扩展,是实现提高生产效率、提升产品质量、节约能源和降低排放的重要使能技术。通过构建面向工业物联网技术的开发验证服务平台,为工业物联网技术提供开发服务支撑、测试验证服务支撑、行业应用服务支撑。     

软件测试简述

通讯与计算机行业的发展把软件质量提到了一个前所未有的高度．2000版ISO9000质量管理体系标准也对软件质量提出了新的要求．而软件测试则是软件质量的必要保证．为了使大家全面了解软件测试的相关知识，本文从软件测试的概念、分类、用例、工具、人员诸方面进行了简单综述．     

软件测试自动化探究

软件测试是软件生命周期中的重要阶段之一,软件测试质量能够直接决定软件产品的运行情况。与传统的手工测试相比,软件测试自动化不仅能够提高测试效率、降低成本,同时还能够有效保证测试的质量与效果,但是也存在着一些限制条件与风险。因此,有必要对软件测试自动化进行探究。     

计算机联锁软件测试方法研究

安全是铁路运输生产永恒的主题,联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。文章描述了被测联锁系统的体系结构以及自动测试系统的设计,采用了基于灰盒测试方法来完成对计算机联锁系统各部分软件的功能与性能测试。     

SOC层次化验证方法及应用

首先对SOC功能验证做了简要介绍，然后主要讨论了功能验证中的层次化验证方法，并以一个基于AMBA总线架构的SOC系统为例，从模块级、子系统级和系统级三个方面分别阐述了如何用层次化的方法进行验证。层次化验证方法主要分三层，第一层测试主要验证接口协议；第二层测试是对随机产生的大量的交易序列的测试；第三层测试主要是对特定的逻辑功能进行验证。每一层都是构建于其他层之上，这使得层与层之间衔接非常紧密，以便于在完成了第一层的测试之后可以快速地扩展到第二层进行测试，层次化验证方法的应用大大地提高了验证环境的执行效率。     

列车网络控制系统软件开发过程的验证

为了确保并证明列车网络控制系统软件符合软件需求规范对软件产品在功能、安全、性能、规范等各方面的要求.需对列车网络控制系统软件开发过程各个阶段进行验证.本文主要阐述了网络控制系统软件开发过程中验证的工作流程、验证内容和验证的技术和方法.     

Modelica语言规范符合性测试验证方法研究

对Modelica语言规范符合性的测试验证进行了相关研究,提出一种涵盖词法、语法和语义规范符合性的测试验证方法,并在某建模仿真工具上进行了实践应用,验证了测试方法的可行性,能够指导开展Modelica语言规范性测试验证,发现潜在缺陷。旨在为工业软件产品研制方、测评机构等相关单位在进行Modelica语言规范符合性测试验证方案制定及具体实施时提供一定的参考,从而不断地完善软件研发周期中的测试工作,进一步地提升工业软件产品的可靠性与成熟度。     

装备测试性综合验证技术研究

介绍了测试性对于电子装备的重要性,分析了目前已有的测试性评价方法存在的问题,并在测试性建模仿真的基础上,提出了一种测试性综合验证方法,该方法克服了目前已有的测试性评价方法的缺陷,能够全面、有效地对产品的测试性水平进行评估.     

一种IC测试与验证方法——Soft—environment

随着设计规模的扩大、复杂度的提高，开发队伍的壮大，影响设计质量和设计效率的因素在不断增多。IC的应用环境、制造工艺会影响设计过程，IC内部诸模块互作用的关系也日趋复杂。如何在设计阶段对IC进行比较完善的测试变得富于挑战。模拟与S0ft－environment由于ASIC制造工艺与PCB不同，ASIC封装完成后，安装在PCB板上，在实际运行当中发现问题，往往很难修正。投片之前的充分模拟是必不可少的。现在，逻辑模拟的EDAI具已足够成熟，足以满足“软件仿真”的要求：在软件模拟环境下，进行与物理仿真一致的验证工作。模拟是由一组测…     

软硬件协同验证方法的研究

摘要：本文是基于做项目实践时,对SOC的各个模块的验证中采用的软硬件协同验证方法进行研究,与传统的验证方法进行对比,得出这种验证方法的优点。SOC芯片不仅在规模上与传统的芯片有着很大的差别,而且在设计验证方法上也有着本质的不同。在SOC的设计中,大量的采用IP复用技术^[1],不仅包含大量的硬件电路设计,而且包含了相当部分运行在嵌入式处理器上的软件需要设计,也就是说为了确保软件和硬件能够很好的协同工作,SOC验证中要同时考虑硬件和软件的验证。这种情况促进了SOC设计方法和验证方法产生了巨大的变更,软硬件协同设计和验证的技术应运而生。     

TD-SCDMA终端一致性测试例的验证方法

介绍了TTCN在终端一致性测试中的重要作用,对TTCN测试例的实现及使用工具做了简单说明,最后重点阐述了TTCN测试例的验证流程及验证方法。并以TD-SCDMA无线资源管理一致性测试例的验证为例说明了TTCN测试例验证的具体过程。     

机电设备的测试性验证方法分析

随着我国科学技术的不断发展,我国机电设备的性能越来越好,已经具备智能化特点和系统化特点,但是在当前我国的工业发展当中,其发展情况是不乐观的,与发达国家之间的差距还是比较大的,机电设备升级速度也是比较慢的,还没有对机电设备测试性验证系统进行完善,也没有创新出比较科学合理的机电设备测试性验证方法,导致一系列验证问题出现。为促进我国工业经济的可持续发展,需要对机电设备测试性验证方法的创新。     

Link16数据链验证测试技术

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

软件测试质量提升与方法研究

现今软件开发的规模越来越大,作为软件开发的重要环节,软件测试越来越受到人们的重视,软件测试的重要性更加突出。文章主要探讨软件测试中的各种影响因素和软件测试质量的提升,以及测试管理阶段采用的方法和人员的组织。     

软件测试自动化的实施

软件测试是软件生存期中的重要阶段,软件测试的自动化是软件测试的发展趋势。通过介绍对测试自动化的理解和影响软件测试自动化实施的因素以及适用场景等几个方面。本文总结论述了软件测试自动化测试的实施方案。