文档介绍：北京交通大学
硕士学位论文
白盒测试方法在CBTC车载系统测试中的研究与应用
姓名:任军
申请学位级别:硕士
专业:交通信息工程及控制
指导教师:宁滨
20090601
中文摘要摘要:城市轨道交通在城市公共交通中所起的作用越来越重要,谕ㄐ诺牧谐悼刂以其高运行效率、易于扩展的特点逐渐成为城市轨道交通信号系统的首选解决方案。对其进行测试。传统的测试不能满足高效和全面的要求,借助于计算机软件测试技术能很好的解决这些问题。本文从开发人员的角度出发,研究改进的白盒测试方法在车载系统中的应用。本文通过对传统的白盒测试方法进行比较分析,选取分支覆盖作为测试方法,之后对分支覆盖测试加以改进。通过功能分割得到一个个独立逻辑单元,在结构接着针对此改进的分支覆盖测试方法,研究测试过程中测试输入与测试输出最后将研究得出的改进分支覆盖测试方法应用于车载系统的测试中。在测试过程中,对车载系统应用软件功能上进行模块划分,利用划分得到的模块简化系统结构。然后,结合车载系统的特性选出测试输入变量和测试输出变量。分别设计独立功能模块的测试用例及模块集成后的分支测试用例,并对测试用例进行优试工作效率。在测试执行之后,通过测试分析,对应用软件内部的缺陷进行定位。分类号:.在系统中,车载控制系统要求高度的安全性与可靠性.,必须在应用前上将属于独立逻辑单元内部的分支合并,看作一个分支,减少分支数量,以达到结构简化的目的。测试时,先对每个逻辑单元进行测试,然后对逻辑单元组合而成的系统进行测试。以分阶段测试的方式,达到提高测试效率与测试覆盖度的目的。的选择、测试用例的生成与排序、测试的执行与分析等各个环节的详细实施方案。先级排序。在测试执行阶段,分阶段对组成系统的各独立功能模块和模块集成后的系统进行测试,其中,在模块集成测试阶段搭建了通用的测试环境,以提高测通过对车载系统的实际测试,验证了此改进的分支覆盖测试方法可以有效减少测试工作量,提高测试效率。关键词:车载控制系统;白盒测试;分支覆盖;测试用例;
.甌..,甌..,甒百..瓹:。‘,
:;;.籅;篣
图目录图谐导菔荒J阶;还叵低肌图慕姆种Ц哺遣馐灾葱泄獭图刂屏魍嫉耐夹畏拧图程序插装原理图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图测试环境⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图超速防护模块测试输出图超速防护模块测试输出图靼嘌繡笛槭页翟厣璞覆馐云教ǹ蛲肌图嫦低彻δ芸蛲肌图灾餮蟹⒌腃低辰峁雇肌图翟叵低秤τ萌砑δ芸蛲肌图馐灾葱兴承蛲肌图糋的支配树⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯脑毯鳌图测试用例执行过程图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图车载系统功能划分图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图车载应用软件处理流程图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图车载系统程序控制流图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯領翟叵低吵绦駾糋!图的支配树⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图。的蕴含树⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图超速防护模块控制流图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图测试片芾斫缑妗图新建测试用例操作界面⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图测试执行界面⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.
表目录表?榧刹馐杂美期望输出表诤胁馐杂氚缀胁馐缘亩员取表S冒缀胁馐约际跤湃钡惚冉稀表馐杂美枋霰怼表馐韵喙乇淞咳≈当怼表俜阑つ?椴馐杂美怼表?榧刹馐杂美输入控制变量⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。表?榧刹馐杂美输入状态变量⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯~表?榧刹馐杂美表模块集成测试用例谕涑⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表模块集成测试用例导适涑⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯
任罩阥月似日独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作和取得的研究成果,除了文中特别加以标注和致谢之处外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得北京交通大学或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。学位论文作者签名:签字日期:
签字日期。逻彳壬签字日期:潭年厂月膳学位论文版权使用授权书家有关部门或机构送交论文的复印件和磁盘。本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索,并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国C艿难宦