基于UML状态图的类测试用例生成

针对完整的类测试用例(包括测试序列和测试数据),采用灰盒测试技术,提出对UML状态图进行改进的广度优先搜索和深度优先搜索遍历后转化为测试树,再对树进行遍历得到测试序列,测试数据由等价划分方法和边界值法设置,通过实例可验证此方法有效可行。     

基于UML集成测试模型的生成方法

UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例.     

基于实时UML的雷达软件设计

实时统一建模语言（UML）和面向对象的建模技术代表着雷达软件设计的一个发展方向。文中介绍了使用UML的用例图、状态图、顺序图等进行系统分析、设计、实现和测试，并讨论了如何选择UML工具与实时框架以及实时性分析等问题。     

UML状态机到B形式化规约的转换

文章研究在高可信软件工程中集成形式化方法。以软件设计的UML状态机模型为起点．将其转换为B形式化模型，然后在B工具环境中遵循B方法的精化原则和正确性验证方法，开发出可靠的实现模型。提出一套从UML状态机到B形式化规约的转换规则，涵盖UML基本状态图、分层状态图和并发状态图。实例分析表明．这套转换规则行之有效。     

基于扩展层次自动机的UML状态图完备性和一致性检验

UML状态图是UML中重要的建模元素之一,用以描述软件系统的离散行为。完备性和一致性是UML状态图模型最重要的性质之一,是进一步验证模型行为正确性的前提。给出了状态图模型完备性和一致性的定义,研究了对完备性和一致性进行检验的方法。该方法首先把状态图模型变换成扩展层次自动机(EHA),然后对EHA进行分析。EHA中间格式消除了状态图的复杂性,简化了冲突迁移的优先级判别,便于设计简捷有效的算法对完备性和一致性进行检验。该方法的主要优点是利用了EHA的特性,给出了组合状态上迁移的传播算法,解决了完备性和一致性分析的难点。     

基于UML的嵌入式温室环境监测系统设计

为了实现对温室环境监测的需求,改进落后的软硬件系统设计方法,提出了一种先进的嵌入式温室环境监测系统设计方案。该系统主要以S3C2440为核心,采用UML的方法,利用UML用例图、类图等静态建模法和状态图、顺序图等动态建模法,完成对系统的建模。实际应用表明UML方法可以清晰、直观的实现系统。     

一种UML2．0模型动态特性的一致性验证方法

近年来，UML已经被广泛应用于软件的分析和设计，然而，由于软件系统的复杂性，在UML模型中，难免会引入不同图表间特别是动态视图之间的不一致性。提出了一种用于验证UML2．0模型状态图和顺序图一致性的方法。首先，用XYZ／E来形式化描述状态图并将其转化为Promela输入语言；然后，用LTL来表示顺序图间的相互作用；最后利用模型检测工具Spin通过检查Promela描述的状态图是否满足LTL公式来达到检测模型一致性的目的。     

基于模型检测的UML状态图和顺序图一致性检测

用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,会导致视图不一致的问题。文中提出形式化与可视化UML互补建模的方法,探讨用模型检测验证UML模型中的状态图和顺序图的一致性问题。针对具有复合片段的顺序图提出分析方法,将复杂层次结构的状态图转换为有限状态机,再用模型检测工具NuSMV对建立的模型进行验证。最后通过实例对此转换方法进行验证,实验结果表明了此方法的有效性。     

从UML状态图到PVS规范的自动转换、验证

将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS规范的转换模型与规则.     

基于UML的学生毕业设计选题系统研究

为了完成本科毕业设计选题的自动化和培养学生设计分析开发软件的能力,避免结构化模型的不足;采用UML建模技术,借助于Rose工具,对学生毕业设计选题系统进行有效地建模和模型分析,采用ASP技术完成系统的研究与开发;利用UML建模思想,能够避免结构化建模技术的不足,完成系统的可视化表达,构建学生选题系统的用例图,状态图,类图等,自动生成和维护系统代码,并有效地提高系统的开发效率。     

几种诊断测试系统的简单方法

测试系统的状态是否正常关系到测试器件的准确性和测试精度。有经验的硬件工程师和软件工程师经常会发现有时测试系统虽然自诊断通过，但测试器件时却参数测试不准确、功能测试失效等。这往往叫人无从下手。本文介绍几种通过软件编程、利用简单仪表来有效的诊断测试系统的方法。     

阴极平板二极管测试状态分析

在阴极测试工作中,常常选择水冷阳极的近距二极管结构进行测试,但是在实际测试过程中有较多的测试结果与理论推导是有出入的。尤其是导流系数的在空间电荷区的变化,本文就可能的原因进行讨论和分析,并通过一些计算模拟对测试结果进行解释。     

中国第三方软件测试发展现状分析

第三方软件测试在中国已发展二十年,为中国软件产业的发展做出了重要贡献。本文从国内软件产业和软件测试的现状出发,分析了我国第三方软件测试的发展现状及存在的问题,阐述了第三方软件测试机构的认证认可情况,给出了第三方软件测试在电子政务和各行业应用领域的实施效果。最后,提出了发挥第三方软件测试机构作用的相关建议。     

验收测试在数字航道与智能航运系统建设中的应用

软件测试是软件质量保证的关键环节和提高软件质量的重要手段。验收测试作为软件测试过程的最终环节,对软件质量、软件的可靠运行和软件项目的实施周期起到至关紧要的作用。本文通过叙述具体实例项目的软件验收测试的全过程,全面展现了针对特定项目的验收测试前期准备到测试内容分析、测试方案设计、测试实施及测试结果分析处理的整体过程,以期在一定程度上增进读者对软件验收测试的了解。     

自动化单元测试概述

系统介绍当前比较流行的自动化单元测试软件,并指出现在的自动化测试工具在实际应用中的特点,为自动化单元测试工具的实际应用提供参考。     

软件测试自动化技术应用研究

为了保证系统的质量,提高软件测试的效率,在软件开发过程中,通过设计测试用例对系统进行相应的自动化测试,从而确定系统的不足以及需要改进的地方,降低编写和维护测试的开销,提高软件质量。文中通过对软件自动化测试的相关技术和应用的详细介绍,总结了软件测试自动化的特点和标准。针对软件自动化测试的不同环节中自动化测试工具及自动化测试方法的选择,将软件自动化测试划分为5个级别,验证了软件自动化测试的有效性和可重复性。     

电子器件可靠性试验简介

本文主要介绍可靠性试验的基本概念、种类、方法以及环境试验项目。     

GaAs高速数据选择器测试研究

介绍了４∶１砷化镓高速数据选择器（ＭＵＸ）的测试原理和测试系统的组建，提出测试过程中需要解决的几个问题。利用该系统测得电路的最高工作频率达到８００ＭＨｚ     

基于FSM的时序电路测试生成探析

针对时序电路的结构特点,以有限状态机的状态转换和一致性测试分析为依据,通过采用转换故障模型来实现时序电路的功能测试生成.发现使用VHDL语言和EDA工具软件能很快实现由时序电路到有限状态机的转换,同时可得到时序电路的稳定状态及其有效可及状态.结果表明此方法可实现转换故障的测试生成,是一种研究时序电路功能测试生成的有效方法.     

IXIA仪表在运营商的典型应用

介绍了美国IXIA公司专业化2～7层测试方案在运营商的典型应用,主要包括网络端到端性能测试与质量评估,网络安全性评估,IP网络2～3层基准性能测试,以及3G数据业务的测试等几个方面。