中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
基于FSM和TA的测试用例自动生成与执行
作者: 冯东伟
答辩日期: 2007-06-05
授予单位: 中国科学院软件研究所
授予地点: 软件研究所
学位: 博士
关键词: 软件测试 ; 有穷状态机 ; 时间自动机 ; 用例自动生成 ; 测试与测控标记
其他题名: Research on Testcase Automatic Generation Method and Execution System Based-on FSM and TA
摘要: 软件测试是软件生命周期中不可缺少的一部分,是保证软件质量的重要途径。“早测试,常测试,自动测试”已成为软件工程师公认的至理名言,其中由于自动测试能够降低测试成本,并且可以完成一些人工测试不能完成的工作,因此一直受到学术界和工业界的重视,测试用例的自动生成和运行作为自动测试活动中最为重要的部分,也成为了研究的热点。 自20世纪70年代以来,基于模型的测试序列生成方法得到了广泛的研究,比如,基于有穷状态机、扩展的有穷状态机以及UML状态图的测试用例生成,其中基于有穷状态机生成测试序列的方法已经用于对时序电路和通讯协议的测试。到20世纪末,为了实现对实时系统的建模,有学者提出了时间自动机模型,目前已用于模型检测和状态可达性分析,近年来,基于时间自动机的测试序列生成方法也相继被提出。 本文首先介绍了基于模型的测试序列生成方面的研究,其中详细介绍了基于有穷状态机生成测试用例的5种经典方法,并根据其中测试能力较强的4种方法开发了基于有穷状态机的测试序列自动生成系统TSGenerator。 由于时间自动机形式简洁,描述能力强,被广泛用于实时系统的建模,为了实现对时间自动机的测试,本文在对时间自动机研究的基础上,提出了一种将时间自动机转化为区自动机并同时生成测试序列的算法,根据此算法开发了基于时间自动机的测试序列自动生成系统QuickGet。 需要注意的是,根据以上方法生成的测试序列并非可以直接运行的测试用例,还不能实现自动运行。TTCN-3是一种国际标准的测试描述语言,具有灵活强大的描述能力,可以将基于以上方法生成的测试序列描述成TTCN-3语言的测试用例,然后用TTCN-3测试系统执行这些用例。为了执行测试序列,本文介绍了作者参与开发的TTCN-3测试系统,并着重介绍作者所负责的TM部分。 三个系统的设计与实现吸取了在基于有穷状态机和时间自动机的测试用例生成方面的研究成果,同时也提出新的思想和算法。其中TSGenerator和QuickGet可用于测试序列的自动生成,TTCN-3测试系统则可以支持测试用例的自动执行,从而实现测试的自动化。
英文摘要: Software testing is an indispensable part of software life cycle and an important approach to ensure software quality. That “test early, test often, and test automatically” has been widely accepted by software engineers as motto. As testing automation can reduce testing cost and accomplish some testing activities that can not be easily done manually, it has drawn the attention from both academia and industry. Testcase auto-generation and auto-execution, as main part of testing automation, therefore, becomes the focus of research on software testing. Model based test sequence generation has been widely studied since 1970s, such as test sequence generation based on finite state machine (FSM), extended FSM, UML state diagram, among which FSM based generation method has been used in testing sequential circuit and communication protocol. At the end of 20 century, timed automata (TA) were proposed to model real-time system. TA has already been applied in model checking and state reachableness analysis. Recently, some researchers have managed to propose TA-based testcase generation method. This paper firstly introduces research background on model based test sequence generation, of which the 5 classic FSM based test sequence generation methods are introduced in detail, and develops an FSM Based Test Sequence Auto-generation System, using 4 comparatively more powerful methods from the 5 methods. As TA has concise format and powerful description capability, it has been widely used in modeling real-time system. Based on the research on TA, this paper proposes an algorithm to test TA, which can generate test sequences when transforming TA into Zone automata. A TA Based Test Sequence Auto-generation System is developed according to the algorithm. It is worth noting that test sequences can not be directly executed. TTCN-3 is an internationally standardized test description language, flexible and powerful. Test sequence can be denoted in TTCN-3 testcase, which, in turn, can be executed on TTCN-3 testcase execution system. To execute test sequence, this paper introduces a TTCN-3 Test System, part of which is designed and developed by the author. The design and implementation of the 3 systems employs previous research achievement, meanwhile, proposes new ideas and algorithm. TSGenerator and QuickGet realize test sequence auto-generation; TTCN-3 Test System could support testcase auto-execution; the three tools collectively realize test execution.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/6252
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
10001_200428015029067冯东伟_paper.doc(2149KB)----限制开放-- 联系获取全文

Recommended Citation:
冯东伟. 基于FSM和TA的测试用例自动生成与执行[D]. 软件研究所. 中国科学院软件研究所. 2007-06-05.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[冯东伟]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[冯东伟]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace