J4 ›› 2006, Vol. 28 ›› Issue (7): 127-130.
• 论文 • 上一篇 下一篇
王馨 王戟 齐治昌
出版日期:
发布日期:
Online:
Published:
摘要:
测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节.针对反应式实时系统,我们使用时序规范来 描述系统性质.本文详细阐述了基于时序规范的测试预言自动生成技术的研究现状,并按预言生成的理论基础将预言生成方法分为四类进行介绍.最后,并分析了基于时序规范的的测试预言生成面临的困难.
关键词: 测试预言 时序规范 时序逻辑 自动机
Abstract:
Test oracle is a method for checking whether the system under test benaves correcuy on a particular tion. It is the indispensable stage of software te sting and also the weak link of software testing research. In this paper, we use temporal specification for describing the properties of reactive, real- time systems. The development and the status quo of the temporal specification-based technology of automatic generation test oracle are expatiated. The methods of automatic generation test oracle, which are divided into four categories according to the theoretical basis of generation oracle, are introdu ced The main ideas and corresponding known tools for each method are also presented. Finally, the summary and the difficulties faced by test oracle and its development trend are analyzed.
Key words: test oracle, temporal specification temporal logic automaton
王馨 王戟 齐治昌. 基于时序规范的测试预言自动生成技术评述[J]. J4, 2006, 28(7): 127-130.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2006/V28/I7/127