UML 2.0通信图的一种测试用例生成方法

提出了一种UML2.0通信图生成测试用例的方法.首先根据通信图构建一棵通信树,利用后序遍历了所构造的树,从通信图中选择条件断言,然后转换条件断言并通过求解函数最小值的方法来生成测试用例.该测试用例满足消息路径覆盖和边界覆盖.     

计算机软件测试管理应用研究

计算机软件测试是软件工程的重要组成部分,是软件开发人员和用户验证软件产品是否合格的重要手段。从软件工程的角度出发,提出软件测试用例设计方法,测试的方法,并将其整合到测试流程中.该流程可以在软件测试中作为保证软件质量的重要手段.     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

《软件测试的分类及方法》解析

软件测试技术的分类和与方法是和软件开发过程相关联,它贯穿了整个软件生命周期。常用的测试方法有黑盒测试、白盒测试和灰盒测试。希望通过软件测试的分类及方法解析能对这三种方法有更好的认识。     

基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

浅谈软件测试课程教学改革

软件测试是伴随IT产业的发展而出现的一项专业性较强的工作。本文在课程教学内容组织和教学方法与手段上做出了一系列的改革,以取得良好的教学效果。     

试论软件工程项目在商业银行中的管理与质量控制

不断加强软件工程的质量测试与管理能够切实提升商业银行的信誉度和市场运作效率。本文针对软件工程项目的具体开发、测试、试运行等过程进行了分析。     

软件测试外包策略分析

根据国内软件测试的现状,从软件测试外包流程出发,讨论了4种软件测试外包策略.针对开发商与测试方之间的软件测试外包决策问题,在给定假设的基础上,提出了一种对策分析方法.     

一种远程控制测试驱动器的设计与实现

测试驱动器是自动化测试系统重要组成部分,对自动化测试的效率有重要影响.对远程控制相关技术进行了研究,并针对被测试对象间相对独立的组件可并发地进行测试的特点,设计实现了一种基于远程控制的测试驱动器,应用于局域网中进行功能测试.实验结果表明,该测试驱动器能有效提高测试用例的执行效率.