共查询到17条相似文献,搜索用时 234 毫秒
1.
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例. 相似文献
2.
测试用例的生成是软件测试的关键环节。本文把基于UML的规格说明和扩展的有限自动机结合起来,利用矩阵存储扩展自动机的状态和状态转换信息,用伪等价类生成树递增地生成测试用例,对类测试的测试用例自动生成作了有益的探讨 相似文献
3.
软件测试的核心是设计和执行测试用例。为了提高软件测试的效率,实现不同单位测试用例的共享和复用,提出面向不同数据模式的测试用例检索方法。该方法首先对测试用例进行刻面分类和描述,提出测试用例的刻面分类模型并将其实例化,为测试用例的检索提供线索;然后,在实例化测试用例刻面分类模型的基础上提出测试用例索引树,把测试用例组织成有利于用户检索的结构;最后,在进行面向不同数据模式的测试用例检索时,通过检索条件查询树与测试用例索引树的匹配和不同异构数据库中测试用例关键字的匹配,从不同的异构数据库中检索出符合用户需求的测试用例。通过实验验证了该方法在实际应用中的可行性和有效性,为测试用例的共享和复用奠定了基础,提高了软件测试的效率。 相似文献
4.
5.
6.
7.
8.
测试用例的复用对于提高测试工作的效率极为重要。提出一种测试用例复用机制,减少测试用例对环境的依赖,提高复用的程度。用Z规格说明对用户需求进行描述,实例化后生成测试用例,然后对测试用例进行可复用描述,得到形式统一的可复用测试用例。建立测试用例库系统存储和管理用例,实现多种方式的复用。 相似文献
9.
Web应用软件开发周期短,时间和资源条件有限,要求有高效的测试。应用分类树法从Web应用导航模型自动生成测试用例,并应用形式概念分析对生成的测试用例集进行精简,在满足给定覆盖标准的前提下,得到较小的测试用例集,提高测试效率。 相似文献
10.
形式化方法和测试技术及其在安全中的应用 总被引:11,自引:4,他引:7
本文回顾和讨论了形式化方法和测试技术,以及形式规格说明可以用于测试用例生成、测试顺序确定的途径;并提出了将形式化方法和测试技术应用于安全保密设备。 相似文献
11.
在深入研究OSEK/VDX操作系统规范的基础上,提出了基于分类树的OSEK/VDX操作系统的一致性测试方法。该方法的核心思想首先是从OSEK规范抽取出测试目的,其次根据规范和测试目的构造分类树和划分分类树的输入域,再次为分类树添加生成规则和限制条件,最后借助CTE XL工具自动生成一致性测试用例。通过对MiniOSEK的一致性测试,验证了使用分类树方法进行OSEK/VDX操作系统一致性测试的有效性与正确性。 相似文献
12.
Real-time software, often used to control event-driven process control systems, is usually structured as a set of concurrent and interacting tasks. Therefore, output values of real-time software depend not only on the input values but also on internal and nondeterministic execution patterns caused by task synchronization. In order to test real-time software effectively, one must generate test cases which include information on both the event sequences and the times at which various events occur. However, previous research on real-time software testing focused on generating the latter information. Our paper describes a method of generating test sequences from a Modechart specification using symbolic execution technique. Based on the notion of symbolic system configurations and the equivalence definitions between them, we demonstrate, using the railroad crossing system, how to construct a time-annotated symbolic execution tree and generate test sequences according to the selected coverage criteria. 相似文献
13.
在应用基于代数规约测试类时,虽然可以有效解决测试数据生成和测试结果判断这两个测试难题,但是,因为该方法常常随机生成测试数据,会导致对于同一待测试类两次测试会得到不同的测试效果。为克服这个缺陷,提出应用数据变异方法,对已生成的测试用例进行变异。变异测试实验表明:该方法能够有效地改善代数测试方法的测试效果。 相似文献
14.
从基于模型的规格说明中。应用形式化方法可以产生所需的测试用例。为了从静态模型中表达的形式化约束产生测试用例,本文阐述了一种产生此测试数据的方法.同时也说明了如何使类的方法的划分分析自动进行。以厦如何建立起给定方击的粪的序列且该序列覆盖了所有必需的测试。 相似文献
15.
A light-weight software-implemented fault injection (SWIFI) testing approach is introduced, focusing on technical process faults and system faults. The reaction of automated production systems (aPSs) and their programmable logic controller (PLC) software to these faults is tested. In order to tailor the testing approach to the aPS domain in industrial practice, our test generation is based on a classification of possible deviations, i.e. a classification of possible technical process and system faults as the PLC perceives them. As a result, both specification and test execution become more efficient for practitioners. Furthermore, the test specification is tailored for execution on IEC 61131-3 programming environments. In this, the execution of test cases both against simulation or the real aPS, is enabled. 相似文献
16.