AUTOSAR标准一致性测试研究

分析AUTOSAR一致性测试过程,采用eclipse、TTthree、μTTman等工具,基于TTCN-3测试系统架构,实现AUTOSAR一致性测试。针对简单信号灯系统,研究测试系统中测试套、编解码器和适配器的功能及相关实现方法,并验证采用TTCN-3进行AUTOSAR一致性测试的可行性。     

基于分类树的OSEK/VDX操作系统一致性测试研究

在深入研究OSEK/VDX操作系统规范的基础上,提出了基于分类树的OSEK/VDX操作系统的一致性测试方法。该方法的核心思想首先是从OSEK规范抽取出测试目的,其次根据规范和测试目的构造分类树和划分分类树的输入域,再次为分类树添加生成规则和限制条件,最后借助CTE XL工具自动生成一致性测试用例。通过对MiniOSEK的一致性测试,验证了使用分类树方法进行OSEK/VDX操作系统一致性测试的有效性与正确性。     

OSEK操作系统一致性测试用例的生成

研究OSEK操作系统的一致性测试需求,提出一种基于分类树的一致性测试用例生成方法。对测试对象进行分类划分,分析分类子集之间的相互关系和制约条件,借助图形化工具精简测试用例的数目。以AutoOSEK的资源管理模块为例进行一致性测试,测试结果验证了该分类树方法的有效性。     

基于AUTOSAR架构的汽车仪表通信模块的设计

在深入研究AUTOSAR软件架构的基础上,改进了传统汽车仪表的软件架构.首先给出了仪表系统软件分层的架构体系,然后以CAN通信模块为例,介绍了CAN驱动层、CAN接口层和CAN网络管理的设计和实现过程,保证了电动汽车通信的准确性,减少了仪表的功耗.应用结果表明,此软件架构易于移植,具有良好的安全可靠性和扩展性.     

符合AUTOSAR规范的底层驱动软件开发

为快速高效地开发稳定的符合汽车开放系统架构(AUTOSAR)规范的底层驱动,从底层驱动接口标准、参数配置接口、错误处理机制等方面研究符合AUTOSAR规范的底层驱动设计开发方法,并以CAN驱动的开发为例验证该方法的可行性。测试结果表明,利用该方法开发的驱动程序能有效捕获CAN控制器运行时发生的错误,并抛出相应的异常和激活相应的异常处理程序,从而可降低驱动错误对上层系统稳定性的影响。     

浅析黑盒测试之决策表法测试技术

本文主要分析了黑盒测试中最严格、最具有逻辑性的测试技术决策表法的相关概念,阐述了利用决策表法设计测试用例过程,最后通过实例说明决策表测试方法的使用。     

基于TCL的IPsec协议一致性测试

IPsec协议体系是IETF制定的新一代网络安全协议标准，用于在IP层为IPv4和IPv6提供可交互操作的、高质量的、基于加密的安全．针对协议一致性测试的要求和IPsec协议体系的特点，设计了一种基于Tcl的IPv6协议体系中的IPsec协议一致性测试系统，并给出一个实例说明如何使用该系统进行测试例的开发,实践表明，该系统具有方便、灵活、模块独立性好等优点，基于Tel的一致性测试是一种有效的协议一致性测试技术．     

基于AUTOSAR的LIN实现

汽车开放系统架构(AUTOSAR)标准可简化汽车应用软件的开发流程,使软件有更好的可移植性和可扩展性。为此,采用分层、分模块的思想设计局部互联网络(LIN)总线,给出LIN驱动、LIN接口、协议数据单元路由、通信、诊断通信管理等相关模块的实现方法。实践结果表明,该总线有较好的重用性、较快的运行速度及较高的稳定性。     

基于策略分段的防火墙一致性测试

防火墙是设置在被保护网络和外部网络之间的一道屏障.网络通信需要防火墙根据特定安全策略下进行监控和过滤.防火墙是否有效起到防护作用需要通过防火墙实现和安全策略配置的一致性测试.本文提出了一种改进的防火墙一致性测试方法,引入策略分段的思想,对非原子策略规则有选择的产生测试例,缩减了网络地址空间,将指数级测试例数目O(2101rpmn2)降低为多项式级O(Mpmn2),减少了产生的测试例的数量,有效提高了测试效率.     

系统管理的一致性测试

ＯＳＩ系统管理是ＯＳＩ的一个重要组成部分，由于系统管理的特殊性，传统的一致性测试方法并不很适合于系统管理，本文分析了系统管理的各个部分，描述了与各个部分相适应的一致性测试方法。     

基于层次结构的IS-IS协议一致性测试

根据IS-IS协议的特点,提出了对IS-IS协议划分层次进行一致性测试的方法,对IS-IS协议划分层次的方法可以消除测试用例之间的依赖性,减少协议实现中的不一致给测试过程带来的影响,并能够增加测试的覆盖度和可信度。运用该系统对多个IS-IS协议实现进行了测试,分析了测试结果。     

OSI多方一致性测试

一致性测试的目的是测试疲则系统（或实现）是否符合有关标准，多方测试的应用领域是协议步及到多于两方的场合，本文开放系统互连多方测试的一般方法。     

基于ASM模型的协议一致性测试研究

针对协议测试中,状态机描述、测试集成环境和被测实现彼此独立带来的问题,提出了在可视化编程环境下利用抽象状态机模型和桩函数结合实现协议一致性测试方法。在分析抽象状态机测试理论的基础上,给出基于抽象状态机和remoting技术的协议分布式测试模型。以抽象状态机语言描述简单文件传输协议为例,采用分布式测试模型,实现了被测协议的远程一致性测试。     

基于扩展有限状态机的一致性测试例生成研究

本文主要讨论基于扩展有限状态机的一致性测试例的生成方法,研究一种动态选择与自动机相结合的一致性测试集的生成技术,该技术可以对测试集进行有效优化,并能提高生成测试集的覆盖率。     

以操作系统为中心的存储一致性模型--线程一致性模型

分布共享存储系统为保证程序的正确执行，必须通过存储一致性模型对共享存储访问顺序加以限制，而现有模型在可扩展性和操作系统级实现方面存在不足。结合多线程的特点，提出了一种以操作系统为中心的线程一致性模型，通过并行程序执行过程中线程状态的变化来观察和限制存储访问事件的正确顺序，有利于系统的可扩展性、一致性维护信息获取的方便性和完备性以及操作系统本身的设计和实现。分别从模型的定义、正确性证明、实现方案和性能分析等几个方面展开了论述。     

基于MSTP协议的一致性测试设计

MSTP协议是针对STP收敛速度慢，RSTP不能进行基于802.1Q的流量分担等情况下提出的一种新的多域生成树协议。在扼要介绍此协议的实现原理的基础上，设计了针对此协议一致性的测试方法和测试组织，并应用于交换机的实际测试中，同时，给出了具体的测试实例，并对测试结果进行了分析。     

网络协议一致性测试研究综述

一致性测试是网络协议验证中最为基本的部分.虽然大量的研究与实践对此问题做过深入的探讨,但是到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法.从协议一致性描述方法入手,分别从一致性测试的体系结构、方法以及测试生成技术等方面对协议一致性测试技术进行了综合研究,最后对其中存在的问题给出了基本解决思路.     

基于MVB的协议一致性测试系统设计

针对不同生产厂家的多功能车辆总线(Multifunction Vehicle Bus,MVB)设备存在兼容性和互操作性适应度差的问题,设计了基于MVB的协议一致性测试系统,给出了系统的总体结构、软硬件设计与实现方案,并构建测试集优化模型。测试系统的测试电路接口模块包括物理层接口模块和链路层接口模块两部分,负责将采集的MVB总线上的数据传递给控制与测试模块进行分析和处理。控制与测试模块软件部分着重设计了测试用例集优化模型,并采用高效的商业求解器CPLEX进行有效求解,提高了测试效率。实际运行结果表明:该测试系统是稳定并且高效的,可应用于不同MVB设备的协议一致性测试。     

协议一致性抽象测试集的设计研究

协议一致性测试是验证计算机网络协议实现与其国际标准相一致的重要技术。在一致性测试中，抽象测试集的地位十分重要。对不同协议标准化抽象测试集的研究导致了一致性测试的国际标准，是近几年国际上研究的热门话题。本文首先介绍了协议一致性抽象测试集的基本概念的结构，然后阐述抽象测试认样生的一般过程，最后对我们正在研究的３Ｘ协议一致性测试集的设计进行介绍。     

Sun操作系统国际化和本地化技术研究

介绍Ｓｕｎ操作系统的国际化和本地化的功能及支持环境，指出现实的开发应用迫切需要有统一的本地化接口标准。