一种软件体系结构测试序列生成方法.pdfVIP

小 型 微 型 计 算 机 系 统 2009年 4月 第 4期 JournalofChineseComputerSystems Vo1．3O No．4 2009 一 种软件体系结构测试序列生成方法 孔庆彦 ，伦立军 ，刘永纯 ，宋益波。 (哈尔滨商业大学 计算机与信息工程学院，黑龙江 哈尔滨 I50028) (哈尔滨师范大学 计算机科学与信息工程学院，黑龙江 哈尔滨 150080) 0(哈尔滨工业大学计算机科学与技术学院。黑龙江 哈尔滨 150001) E—mail：kin一8008@ 163．com 、 摘 要 ：软件体 系结构在软件开发过程 中至关重要，其中任何微小错误都会给软件开发及后期维护带来很大麻烦．本文提 出一 种软件体系结构测试序列生成方法，首先用化学抽象机描述体系结构，然后生成相应 的反应规则依赖 图RDG，再根据定义的测 试覆盖准则及测试序列生成算法，产生软件体系结构测试序列，最后以客户机／服务器体 系结构实例说明了导出RDG及生成 测试序列的过程． 关 键 词：软件体系结构测试；化学抽象机；反应规则依赖图；测试序列 中图分类号 ：TP311 文献标识码：A 文 章 编 号 ：1000—1220(2009)04—0628．04 Generation M ethodofTestSequenceforSoftwareArehitecture KONG Qing—yan ，LUN Ii—jun。，LIU Yong—chun ，SONG Yi．bo。 (SchoolofComputerandInformationEngineering，HarbinUniversityof Commerce，Harbin150028。China) (CollegeofComputerScienceandInformationEngineering，HarbinNormalUniversity，Harbin150080，China) 。(CollegeofComputerScienceandTechnology，HarbinInstituteof Technology，Harbin150001，China) Abstract：Softwarearchitectureplayan importantroleinsoftwaredevelopment，anyslighterrorinsoftwarearchitecturewill bringserioustroubleinthefollowingdevelopmentandmaintenance．ThispaperpresentsanapproachtOgeneratingthetestse— quenceofSA．Theruledependencegraphisderivedfrom softwarearchitecturespecificationformallydescribedinCHAM and thendefinescriteriaoftestingcoverageandthealgorithmtOgeneratetestsequence，usingthesoftwarearchitectureofaClient／ Serversystem toillustratethederivationofRDG andthegenerationoftestsequenceatlast． Keywords：softwarearchitecturetesting；CHAM ；RDG ；testsequences 1 引 言 方面 的需求缺陷；Bertolino[7]等利用 CHAM描述软件体系结 构，利用抽象原则导出高层ALTS。根据观察函数导出SA层 软件体系结构是现代软件开发过程中一个至关重要的部 次的测试计划，以此为依据并结合 UML活动 图导出指导实 分，一方面是连接软件需求和实现的桥梁，另一方面是实现软