文档介绍：㈣】㈣㈣.卫星地面站软件可靠性设计与测试技术研究与应用海:§国防科学技术大学研究生院二八年十一月工学硕士学位论文硕士生姓名林海研究方向星基导航与定位技术欧钢教授学科专业信息与通信工程指导教师金珏分类号学号霶生蟹级
摘要随着计算机软件设计技术和开发工具的迅速发展,应用软件的规模和复杂性质量,特别是软件可靠性,已成为软件工程中的关键问题之一。设计和测试为背景,对软件可靠性设计和软件测试领域中的相关理论作了较为深本文首先对软件可靠性和软件测试领域的发展情况进行了简单介绍,接下来影响软件可靠性的因素、软件可靠性设计、软件测试策略、软件测试方法以及软件自动化测试。基于上述理论,结合卫星地面站软件系统的特点,在软件可靠性设计方面,本文首先提出了从软件规范性设计方面对软件质量进行保障的具体措施,然后利在软件测试方面,本文首先提出了针对传统的测试过程的改进措施,接下来化测试,最后介绍了针对软件可靠性进行的负面测试和压力测试的方法以及测试范并采用了众多可靠性设计方法,在测试方面根据优化的测试流程进行了充分的测试,测试结果显示卫星地面站的软件可靠性得到了有效的保证。软件自交付用户使用以来,一直运行稳定,取得了很好的效果。关键词:软件可靠性规范性设计软件容错在线自检’测试用例越来越大,传统的软件开发方法和测试技术面临着严峻的挑战。如何保证软件的要保证软件可靠性,一方面应该优化设计,另一方面应该加强测试,只有两者相结合,才能提高软件可靠性。本文以北斗二号卫星导航系统中地面站软件的入的研究,并结合实际,提出了适合卫星地面站软件的可靠性设计方法和测试方法,具体内容如下:对软件可靠性和软件测试的相关理论进行了归纳和总结,包括软件可靠性原理、用三种可靠性设计方法对软件进行了强化可靠性的设计,分别是:利用多态性的结构简化设计、基于软件容错的主备切换设计和基于软件在线自检的实时故障检测,最后介绍了使用异常处理和实时状态监控对软件可靠性进行保障。介绍了如何进行完备的测试用例设计以及如何在回归测试和性能测试中应用自动结果。由于在卫星地面站软件整个开发过程中,我们在设计上遵循了恰当的开发规自动测试回归测试国防科学技术大学研究生院硕士学位论文第
;,国防科学技术大学研究生院硕士学位论文琫琽,瑃,瑃:痳琣、:’,’瓾琱,,.,.’畇琲瑂,,,簎猼,—畁,—,第页
图目录图软件失效机理⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图软件测试P汀图地面站系统组成骸图软件设计流程规范⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图设备类数据处理虚函数继承关系⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图查询指令发送⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图数据处理过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图信息处理软件主备连接图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图诵形げ街璧淖刺R仆肌图姥犯ㄖ觳饨缑妗图砑⑷氡曛炯觳夤ぷ髁鞒獭图衿髯试词褂眉嗫亍图测试环境硬件连接图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图传统测试过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图改进后的测试过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图时频设备帧格式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图自动测试运行界面⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图自动测试结果.:.⋯⋯.图时频监控模块性能分析图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图时频监控模块内存泄露图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯逼导嗫啬?榇敫哺锹省闲凶⑷胙沽Σ馐浴图卫星导航系统组成图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图褂盟得魍肌图初始化步骤状态转移图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图畔⒋砣砑姥芳觳狻图菁觳楸ù砹鞒獭图没Р僮骱戏ㄐ耘卸稀图自动测试项目选择⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯国防科学技术大学研究生院硕士学位论文第
表目录表白盒测试与黑盒测试比较⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表主备切换实验结果⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..表软件测试清单⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..表等价类划分表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表等价类测试用例表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。⋯⋯⋯⋯⋯。表完整测试用例表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯:⋯⋯表负面测试结果汇总⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯国防科学技术大学研究生院硕士学位论文第Ⅳ页
学位论文作者签名:.墨基垄学位论文作者签名:。丫年月啡西‘年怕里星地亘韭筮佳要塞蛙遮让量型达垫苤盟窒鱼廑周卫星地亘韭筮佳互耋性遮进复型达这盔珏窒生廑屈本人声明所呈交的学位论文是我本人在导师指导下进行的研究工作及取