基于形式活动图的协议一致性测试用例生成方法研究

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.     

基于形式活动图的协议一致性测试用例生成方法研究

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.     

基于用例契约化的测试用例生成策略

UML中的用例可以简洁准确地描述系统需求,它可以作为软件测试中测试用例生成的一个很好的基础;然 而正是由于用例描述的特点,使得它忽略了对系统内部需求的描述,导致生成的测试用例是不准确的、粗糙的.为 了有效地控制这种不良影响,在软件开发的初始阶段,即用例的基础上引入“契约化”方法,通过对用例所描述的需 求进行形式化约束,并把该约束带入顺序图中,这种方法不仅可以增强测试场景的准确性,又保证了最后生成的测 试用例更加精准,覆盖率更加详尽.     

浅析软件测试技术及用例构造方法

软件测试是保证软件质量,提高软件可靠性的重要手段。本文首先介绍了计算机软件测试的概念、阶段以及方法,在此基础上对测试用例的构造方法进行了阐述。     

测试用例集约简方法综述

测试用例集约简的目的是对于给定的测试目标,使用尽可能少的测试用例完成测试,提高软件测试效率,降低软件测试成本;首先介绍了测试用例集约简问题的基本概念并对目前求解该问题的主要方法进行了总结,根据测试用例集的评价体系对各算法的性能和优劣进行了分析和比较;最后给出了测试用例集约简问题的下一步研究方向。     

基于全对偶算法的自动化测试方法

自动化测试的关键在于自动生成测试用例并自动选择,其中涉及到参数取值的组合以及对这些组合的取舍和重组.对用全对偶算法实现测试用例生成和选择作了相关论证,提出了自动化测试的假设,结合实例论证了该方法的可行性,经初步测试表明该算法的执行效率是令人满意的.     

浅谈FCS系统及其故障诊断技术

解释了计算机控制系统安全的重要性,介绍了FCS系统的体系结构及几种常见的总线类型,重点分析了LonWorks系统的结构,接着阐述了故障诊断技术和FCS系统故障诊断的策略,给出了故障测试用例生成的规则和具体的实施步骤.     

覆盖变化结点的辅助回归测试工具

回归测试用例设计是回归测试中一项重要的内容，本文从应用的角度出发，在商用软件测试工具产生的程序流程图基础上，提出了覆盖变化结点的所有路径算法，并开发了相应的工具软件。应用实践表明，该工具软件能够有效地辅助回归测试用例设计工作。     

基于Java语言的面向路径测试用例自动生成框架设计

软件测试是保证软件质量的重要手段，测试自动化是提高测试效率和测试质量的有效途径，测试用例自动生成是测试自动化的重要组成部分．为提高单元测试自动化程度，根据目前较先进的迭代松弛法，提出一个基于Java语言的面向路径测试用例自动生成框架，对该框架的主要思想、核心算法、主要模块及工作流程进行了阐述．该框架可以很好的为给定路径自动生成测试用例．     

利用复用技术解决软件测试中的不确定性

探讨了为解决测试中的不确定性所采用的复用技术,分析了测试中的可复用资源,研究面向复用的软件测试模型,提出可复用测试用例的生成过程,指出了测试复用技术的优点和难点.结果表明,该方法可以在一定程度上缩短测试周期,降低测试成本,提高测试的可靠性以及测试效率,具有可行性.