软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2011年
6期
1155-1168
,共14页
许庆国%缪淮扣%曹晓夏%胡晓波
許慶國%繆淮釦%曹曉夏%鬍曉波
허경국%무회구%조효하%호효파
基于规格说明的测试%Object-Z%语义提取%测试用例生成器
基于規格說明的測試%Object-Z%語義提取%測試用例生成器
기우규격설명적측시%Object-Z%어의제취%측시용례생성기
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例.
對Object-Z形式規格說明構造測試用例的研究,目前主要集中在理論研究階段,測試用例的自動生成幾乎沒有相應的工具支持.Object-Z是基于數學和邏輯的語言,併大量使用瞭模式複閤和簡寫形式,這給計算機提取完整語義用以自動產生測試用例造成瞭睏難.通過展開Object-Z規格說明中的模式定義,改進Object-Z的文法結構,給齣瞭提取Object-Z規格說明語義的方法,研究瞭從Object-Z規格說明產生測試用例的自動化過程.這一過程主要包含3箇階段:Object-Z語言的自動解析、語義自動抽取和測試用例自動產生.通過介紹的工具原型,可以很容易得到規格說明中的各種語義;基于某些測試準則,能夠方便自動產生可視化的抽象測試用例.
대Object-Z형식규격설명구조측시용례적연구,목전주요집중재이론연구계단,측시용례적자동생성궤호몰유상응적공구지지.Object-Z시기우수학화라집적어언,병대량사용료모식복합화간사형식,저급계산궤제취완정어의용이자동산생측시용례조성료곤난.통과전개Object-Z규격설명중적모식정의,개진Object-Z적문법결구,급출료제취Object-Z규격설명어의적방법,연구료종Object-Z규격설명산생측시용례적자동화과정.저일과정주요포함3개계단:Object-Z어언적자동해석、어의자동추취화측시용례자동산생.통과개소적공구원형,가이흔용역득도규격설명중적각충어의;기우모사측시준칙,능구방편자동산생가시화적추상측시용례.
