以mgcf开发为背景的软件自动生成与测试技术研究

《以mgcf开发为背景的软件自动生成与测试技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、南京邮电大学硕士研究生学位论文摘要摘要随着通信行业的蓬勃发展，服务于各个层面的通信协议也被制定出来。对通信软件的要求也越来越高。但在通信软件开发方法中，面临着诸多问题。诸如：协议实现和协议描述的不一致性；编程人员编写错误；测试不充分等。采用形式化方法对信息处理系统进行描述，有效地保证协议实现与协议规范的一致性。协议测试集自动生成方法有效地简化了协议测试的工作，缩短了协议的开发时间。而采用由SDL描述的系统自动生成可执行代码，也可以有效地避免编程的错误。论文以IMS的MGCF开发为背景，通过以“形式化的方法”开发其上的协议软件，探索形式化工具在开发协议软件的建模、仿真、代码生成和代码测试

2、的各环节的解决方案。论文首先回顾了当前主要的形式化描述方法与测试集自动生成技术。然后进行了分析和研究。总结出SDL与C混编，自动测试技术与人工测试并用的通信软件开发模式。最后采用该开发模式开发了MGCF的部分功能模块，为相关的开发提供了有益的经验。关键词：SDL，TTCN，MGCF，软件自动生成，软件测试I南京邮电大学硕士研究生学位论文AbstractAbstractWiththerapiddevelopmentofnetworktechnology,communicationsprotocolwhichservesfordifferentlayersofnetworkhasbeenw

3、orkedout.Andtherequirementsofcommunicationssoftwarearealsoincreasing.However,therearemanyproblemsincommunicationsoftwaredevelopmentmethods,suchas:theinconsistencyoftheprotocolimplementationandtheprotocolstandard;programmingerrors;thetestisnotsufficient.Throughtheuseofformalmethodstodescribethein

4、formationprocessingsystem,theconsistencyoftheprotocolimplementationandtheprotocolstandardcanbeguaranteedeffective.Thetheorythattheprotocoltestingsetcanautomaticallygenerateisgreatlysimplifiestheworkingofprotocoltestingandshortenthedevelopmenttimeoftheprotocol.Andtheprogrammingerrorsalsocanbeavoi

5、dedbyusingautomaticgenerationofsoftware.InthebackgroundofMGCFdevelopment,westudythesolutionsofModeling,simulation,codegenerationandsoftwaretestinginformalsoftwaredevelopment.Inthisthesis,thetheoryofcommunicationsoftwaretestandformalmethodswereintroducedandanalyzed.Then,thecommunicationsoftwarede

6、velopmentmodelisgiven:UsingCinSDL;Automatictesttechnologyandmanualtesttechnologyarebothused.Finally,thesystemsmodelingofcallsessionprocessinMGCFwascarriedonusingSDL.Andsomepositiveexperiencesaregiven.Keywords：SDL，TTCN，MGCF，Automaticgenerationofsoftware，SoftwaretestingII南京邮电大学学位论文原创性声明本人声明所呈交的学位论

7、文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得南京邮电大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。研究生签名：_____________日期：____________南京邮电大学学位论文使用授权声明南京邮电大学、中国科学技术信息研究所、国家图书馆有权保