一种基于模型的并发系统测试目的描述

提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成。缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集。这说明了TLCE作为测试目的描述的有效性。     

基于任务-角色的访问控制模型研究

分析了访问控制领域的研究现状,简略介绍了基于角色的访问控制、基于任务的访问控制以及其它一些有价值的访问控制策略,并对其思想、特点和存在的缺陷做了讨论;在基于角色和基于任务策略的基础上,着重研究了当前比较热门的基于任务．角色的访问控制策略,并对目前提出的两种基于任务．角色的访问控制模型做了比较,分析了T＆RBAC模型的优点;最后对T＆RBAC模型提出改良意见,建立了改良模型,并对改良模型做了形式化定义。     

基于场景模型的BGP-4健壮性测试

提出了一种系统实现协议健壮性测试的新方法.该方法通过深入分析BGP的路由信息处理过程,建立场景模型来描述决策过程和更新过程的应用环境和控制参数,并基于该模型提出了健壮性测试案例生成方法.路由协议BGP的实际测试应用表明,该方法避免了组合爆炸问题,生成的反向测试集的检错能力是正向测试集的2.3倍.     

基于事件的发布-订阅系统模型

Internet的广泛应用已经改变了分布式系统的规模,使得传统的基于请求/应答的点对．点的同步通信已不能很好地满足大规模的动态分布式应用环境。为了加强大规模的分布式环境中实体之间的通信协作,系统要求更加灵活的通信模型,以反映应用的动态和非耦合特性。基于事件通信的中间件是建立大规模分布式系统的有效方式,发布者/订阅者（Publisher/subscriber）是目前广泛使用的基于事件的通信模型,支持发布者和订阅者之间在时间、空间和同步方面的非耦合以及多对多的通信模式,提供大规模系统所要求的交互间的松散耦合。本文详细阐述了事件系统的组成以及基于事件系统的PUB／SUB模型,提出了基于PUB／SUB的事件系统中间件的核心及实现的关键,这些中间件为大规模的分布式应用提供更多和更有力的保障。     

一种基于模型的测试充分性评估方法

测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今,传统的充分性评估方法难以满足复杂软件的测试评估需求。首先,代码覆盖准则难以准确验证软件需求;其次,软件测试还需考虑软件不同特征对系统测试充分性的不同影响。对此,提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法。该方法根据软件接口说明,对系统功能进行特征抽取、建模,并对接口模型的测试用例进行不同层级的充分性评估,对评佑结果进行归一化处理,得到系统的综合测试充分性。通过案例表明,这种评佑方法能够反映功能的测试充分性,对测试用例的设计和优化有一定指导意义。     

基于任务的访问控制模型

目前的访问控制模型都是从系统的角度出发去保护资源,在进行权限的控制时没有考虑执行的上下文环境.然而,随着数据库、网络和分布式计算的发展,组织任务进一步自动化,与服务相关的信息进一步计算机化,这促使人们将安全问题方面的注意力从独立的计算机系统中静态的主体和客体保护,转移到随着任务的执行而进行动态授权的保护上.介绍了一种称为基于任务的访问控制TBAC(task-based access control)的访问控制机制.它从工作流中的任务角度建模,可以依据任务和任务状态的不同,对权限进行动态管理.TBAC非常适合分布式计算和多点访问控制的信息处理控制以及在工作流、分布式处理和事务管理系统中的决策制定.介绍了TBAC的基本概念,对其模型进行了形式化描述和分析.可以预见,TBAC将在办公及商业等多种领域中得到广泛的应用.     

基于UML活动图生成系统测试场景的方法

旨在研究运用统一建模语言（UML）活动图生成测试场景的方法。首先对UML活动图进行了形式化定义,确定了一系列覆盖准则。然后,根据覆盖准则制定活动图的一般处理思路,针对活动图中并发结构提出采用信号量和嵌套分割的方法进行处理。该方法有效控制了测试场景集的数量,为UML活动图的自动化测试提供了系统的、有效的、可行的方法。     

基于模型的复杂系统任务保证研究综述

任务保证是国外航天领域为确保复杂系统在任务周期内的安全、可靠而提出的一种工作方式。随着基于模型的系统工程技术近年来的迅猛发展,将其与任务保证相结合而形成的基于模型的任务保证概念开始得到广泛的应用和认可。这为复杂系统在安全性、可靠性工作方法上的进一步发展提供了有利条件。介绍了基于模型的任务保证概念,并对其所涉及的安全/保证案例、基于模型的系统工程、目标结构表示等关键要素,以及其目前在复杂系统设计中的典型应用进行了阐述。对基于模型的任务保证在未来的发展方向进行了展望。为基于模型的任务保证在复杂系统中的应用提供了理论参考。     

基于场景模型的BGP-4健壮性测试研究

提出了一种系统实现协议健壮性测试的新方法。该方法通过深入分析BGP的路由信息处理过程，建立场景模型来描述决策过程和更新过程的应用环境和控制参数，并基于该模型提出了健壮性测试案例生成方法。该方法是通信协议测试和软件测试相结合，具有良好的应用发展前景。路由协议BGP的实际测试应用表明，该方法避免了组合爆炸问题，生成的反向测试集的检错能力是正向测试集的2.3倍。     

基于模型的有效测试用例设计——工作流系统测试实战

有效的测试用例是软件测试成功的关键,有助于提高测试效率和测试覆盖率。为了设计出有效的测试用例,测试设计者不仅要有丰富的测试经验、完备的业务知识、还应具备软件测试分析设计的能力,上述三点均是根据测试目标选择合适的测试设计模型的必要条件。本文将结合笔者实际工作中一个工     

基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。     

基于场景的测试用例自动生成方法

为实现测试用例的自动生成,提出一种基于场景的测试用例生成方法.首先分解被测软件系统,根据分解后的系统,建立系统场景模型.重点分析了测试场景的提取,给出了顺序、平行以及循环三种分解图结构的测试场景生成算法.最后给出了从测试场景到测试用例的转换算法.     

基于UML的海军作战仿真想定设计方法研究

作战想定是作战仿真系统运行的基础,仿真想定辅助生成系统是作战仿真系统一个重要组成部分.以海军装备应用研究系统为背景.着眼于海军作战仿真想定生成系统的标准化,通过分析海军作战想定描述的层次结构,针对统一建模语言(UML)在面向对象系统方面的特点和应用,探讨了使用UML表示标准的作战想定开发方法,以合同进攻敌海上编队为例介绍了海军作战想定的设计方法.通过建立实体行动的军事概念模型以及对其进行的形式化描述,实现了使军事专业人员和仿真技术开发人员之间顺利交流沟通的目的,为仿真想定辅助生成系统的开发奠定了基础.     

基于攻击场景的信息系统生存性计算

介绍一种基于攻击场景的系统生存性量化评估方法。该方法基于网络系统的生存性,不仅和本身有关,还与系统所处的环境密切相关。通过攻击图确定攻击场景,给出网络系统生存性的量化公式,帮助管理员有效确定影响系统生存性的关键节点,通过试验验证了该方法的有效性。     

基于UML活动图模型生成测试场景的设计

文章旨在研究运用可视化面向对象建模技术UML中的活动图生成测试场景方法和依据场景进行测试用例自动生成的方法。这种方法不仅适合于软件系统的测试,同时也适用于软件设计阶段的对软件需求和设计模型的测试和验证。文中首先确定一系列覆盖准则,根据准则制定活动图的一般处理思路,然后针对活动图中并发结构、对象流、信号流提出相应处理方法,最后反推出作图的一些假定条件,以及在场景基础上生成测试用例的一些设计构想。     

基于LabVIEW的自动测试系统

传统的通信设备测试系统以无线电综合测试仪为中心来搭建,或采用分立仪器搭建、手动测量,这种方法成本高、自动化程度低、扩展性差。因此需要寻求一种解决方案,实现高度集成化、可扩展的测试系统。文章描述了如何采用基于LabVIEW虚拟仪器技术快速方便地开发某通信设备自动测试系统。实验证明,开发的测试系统与传统仪器测试平台相比,测试效率更高,体积更小。此外具有很好的可扩展性,开发工作周期也大大缩短。     

分布式组件系统软件故障植入测试

文中讨论了利用软件故障植入测试技术对分布式组件系统进行有效测试的方法,主要针对分布式组件系统常见故障分析、软件故障植入方法以及测试的充分性标准进行了探讨。这种特殊的测试方法对于分布式组件软件系统的质量保证,特别是一些对可靠性有特殊要求的应用软件测试具有重要的意义。     

新型分布式远程集成测试平台架构

宽带无线通信技术的发展,带动了测试技术的进步.分布式远程集成测试技术是融合网络、软件、计算机、虚拟仪器、协同等多种技术后应运而生.结合当前无线通信测试技术的应用现状,阐述了基于分布式远程集成测试的需求,研究了分布式远程集成测试平台架构的关键技术,最后描述了分布式远程集成测试平台的应用前景.