程序正确性测试的相关技术进展

本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。     

面向Java的分布式程序测试系统

由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-oriented distributed program testing system).JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运行过程,并定义事件约束检测可行事件序列集的有效性.通过该技术,JDPT可以有效地判断程序在运行环境中并发执行的正确性,适用于跨平台的Java程序测试.     

一个面向分布式程序的测试系统框架

提出了一个面向分布式程序的测试系统框架TFDS(test system framework for distributed software system),并介绍了它在异构网络中的一个实现原型PSET*(distributed progra m structure and event trace, revised version).框架的主要功能是对分布式程序进行单 元测试和集成测试.包括面向规约设计和源码分析的静态部分和面向程序执行和事件序列分 析的动态部分.在构件的基础上,PSET*的功能可以较容易     

基于对象分布式实时系统约束的一致性研究

在分布式实时系统中,时间约束规格的一致性是解决任务分配和调度等关键问题的必要前提。该文给出了一种基于对象分布式实时系统调度的通用模型,并对该模型进行了形式化描述。该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足,允许从方法和活动上描述所需的约束,降低了单一约束描述的繁杂程度。为了解决使用该模型进行约束规格的一致性问题,该文给出了绝对时间约束、相对时间约束、一致性约束以及相对时间约束和一致性约束之间的一致性判定的必要条件。     

基于分布式虚拟环境的装配约束语义模型

装配约束是用来支持分布式虚拟环境中装配交互操作的关键信息.装配约束信息的抽象性关系到对装配单元行为的支持力度,装配约束信息的组织机制决定了分布式虚拟装配计算机实现的效率.针对目前装配约束的抽象和使用方面存在的问题,首先研究装配约束的语义抽象与表达,从产品装配应用域中捕获知识,提取共性,归纳装配约束基本语义并形式化表达;然后提出一种扩展对象语义建模方法,通过该方法对装配约束语义进行组织,赋予其功能行为特性,构建装配约束语义模型.通过VEADAM系统实例,装配约束语义模型能够有效地支持分布式虚拟装配的实现,并能很好地适应应用的变化和扩展.     

基于约束求解的微处理器功能验证程序生成

针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C++约束函数库。以微处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用户验证需求,利用约束函数库生成功能验证程序。验证结果表明,该方法开发验证程序简单、高效,加快了验证收敛速度。     

基于组件的分布式约束管理系统研究

在分析约束管理系统分布性、异构性等特点以及可靠性、可扩展性和可重用性等要求的基础上,提出了基于组件技术设计与实现分布式约束管理系统的方法,并给出了系统的开发实例。     

基于事件触发的互联电力系统分布式负荷频率预测控制

针对具有约束和扰动的多区域互联电力系统负荷频率控制(load frequency control, LFC)问题,本文提出了一种事件触发分布式模型预测控制(event-triggered distributed model predictive control,ET-DMPC)策略.将大规模互联电力系统分解成多个动态耦合的子系统,考虑发电机变化率约束(generation rate constraint, GRC)和调速器阀门位置限制,建立分布式预测控制优化问题.为了降低系统计算负担,减少计算资源的消耗和浪费,基于预测值和系统实际状态的误差构造事件触发条件.在事件触发机制下,只有子系统满足相应的事件触发条件时,控制器才传输状态信息和求解优化问题,并与邻域子系统交互最优解作用下的关联信息.仿真结果表明,本文提出的控制策略在负荷扰动和系统参数不确定的情况下具有良好的鲁棒性,同时极大地降低了系统的计算负担.     

基于EE-CSPE约束的并发程序测试

由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE（extended constraints on succeeding and preceding events）对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则.     

分布式测试平台任务管理子系统的设计与实现

提出了一种分布式软件自动化测试平台,通过有效利用Internet网络上的空闲客户端,实现在Internet上的测试任务调度和分配,测试任务的自动完成以及测试结果的收集和分析等,并完成了平台的核心模块。这种实地的软件测试比在模拟环境下具有更好的效果,有效地解决了传统软件测试的带来的一些问题,满足了用户对软件进行快速有效测试的要求。     

基于有限状态进程的事件约束定义

测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性.     

基于仿真总线的分布离散事件仿真环境

该文从分布离散事件仿真的特点出发,借鉴计算机总线的思想,提出了一种基于仿真总线的仿真环境。该环境为高层建模屏蔽了底层消息分发、时钟同步等具体细节,减少了仿真应用开发的工作量,提高了仿真应用开发的效率,并能有效地支持模型重用。     

基于有限状态机的健壮性测试研究

健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试。测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。     

基于有限状态机的Web服务测试用例生成方法

提出了一种基于有限状态模型（FSM）的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。     

基于UML状态图的类测试用例自动生成方法

UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML状态图的类的测试用例自动生成方法。     

基于脚本语言建模的汽车ECU测试系统设计

针对总线型汽车电子控制单元(ECU)的EOL测试问题,设计由待测ECU、测试台、测试仪等组成的电气测试系统,提出一种结构化的测试用例脚本语言编制及其工程化方法。对测试对象进行细分与规划。采用脚本语言对测试用例进行规则化描述,并利用有限自动状态机对其语法进行解析与处理。多路开关检测芯片MC33972的可编程输入接口测试结果表明,该系统能够提高EOL测试效率和可靠性,具有较好的可移植性和通用性。     

基于有限状态机与Petri网的系统分析与设计

从系统组成、功能需求和体系结构方面介绍了航天器空间对接仿真系统的实时多任务控制系统，基于有限状态机和Petri网方法对其进行了单任务级和多任务级的分析建模，并以此为基础完成系统的详细设计，其中应用分叉和资源共享模型实现了系统的同步和互斥问题。实际应用中应用工程化和模块化的方法完成系统设计，系统运行性能良好。试验证明这种分析设计方法合理可行。     

基于VSM中间件的分布式试验与测试系统的通信技术

测试产品的复杂程度和现代化程度的不断提高,使得其设计、研制和维护日益依赖于先进的试验与测试手段。针对分布式测试系统的大流量和高实时性特点及对透明数据交互的需求,在比较了现有的几种通信方法的优缺点基础上,采用虚拟共享内存中间件来构造分布式测试系统。阐述了虚拟共享内存中间件的结构、功能及如何利用虚拟共享内存中间件来实现分布式试验与测试系统的数据通信。     

基于Telnet的节目分送系统的设计原理与实现

ＶＯＤ技术是当前多媒体应用技术中的一项热点技术,节目分送子系统的目标是根据节目排程自动把省中心视频服务器节目及相应的资料下载到地市州视频服务器中,在简介ＶＯＤ系统的基础上,主要讨论了节目分送系统的原理与实现。     

基于有限状态机的RFID流数据过滤与清理技术

为了实现从大量不可靠、冗余的RFID（radio frequency identification）流数据中提取有效信息,提高RFID系统中数据的质量,提出了一种基于有限状态机的RFID 流数据过滤与清理方法.实验结果表明：该方法能够有效过滤系统外标签数据,清理系统内部冗余标签数据,筛选有效标签数据,并能够降低漏读、误读带来的风险.最后,利用地理信息系统的可视化技术,将过滤与清理结果展示在地图上.