基于时序规范的测试预言自动生成技术评述

摘要：

测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节.针对反应式实时系统,我们使用时序规范来描述系统性质.本文详细阐述了基于时序规范的测试预言自动生成技术的研究现状,并按预言生成的理论基础将预言生成方法分为四类进行介绍.最后,并分析了基于时序规范的测试预言生成面临的困难.

关键词：测试预言、时序规范、时序逻辑、自动机

所属期刊栏目：28

分类号：TP311.5(计算技术、计算机技术)

资助基金：高比容电子铝箔的研究开发与应用项目2001AA113202;国家高技术研究发展计划863计划60233020,90104007,60303013

在线出版日期：2006-07-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：127-130,133