哈尔滨师范大学自然科学学报
哈爾濱師範大學自然科學學報
합이빈사범대학자연과학학보
NATURAL SCIENCES JOURNAL OF HARBIN NORMAL UNIVERSITY
2010年
1期
78-82
,共5页
软件体系结构测试%图文法%接口互联图%测试路径
軟件體繫結構測試%圖文法%接口互聯圖%測試路徑
연건체계결구측시%도문법%접구호련도%측시로경
针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.
針對目前體繫結構描述語言對體繫結構動態行為描述方麵的不足而難以生成測試路徑問題,提齣一種基于超邊圖文法的軟件體繫結構測試技術,首先用超邊圖文法錶示軟件體繫結構,同時用實體語言EL描述體繫結構,然後根據EL描述導齣接口互聯圖IIG,再根據測試覆蓋準則,生成測試路徑,最後以Client/Server為例驗證該方法的有效性.
침대목전체계결구묘술어언대체계결구동태행위묘술방면적불족이난이생성측시로경문제,제출일충기우초변도문법적연건체계결구측시기술,수선용초변도문법표시연건체계결구,동시용실체어언EL묘술체계결구,연후근거EL묘술도출접구호련도IIG,재근거측시복개준칙,생성측시로경,최후이Client/Server위례험증해방법적유효성.
