资源描述：
《LDRATESTBED在航天软件测试中的应用.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、Apr2007航天控制73Vol25,No.2AerospaceControlLDRATESTBED在航天软件测试中的应用李中萍岳海薛静北京航天自动控制研究所,北京100854摘要提出采用LDRA(LiverpoolDataResearchAssociatesLtd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的效率和信息采集的准确度。关键词软件测试
2、;测试工具;LDRATESTBED中图分类号:V448.15文献标识码:A文章编号:10063242(2007)02007305TheApplicationofLDRATESTBEDinAerospaceSoftwareTestLiZhongpingYueHaiXueJingBeijingAerosapceAutomaticControlInstitute,Beijing100854,ChinaAbstractAmethodofaerospacesoftwaretestbasedonLDRA
3、TESTBEDispresented.Theschemeisdescribedbythetestcase.TheresultsprovethathumanerrorscanbeeffectivelyavoidandthetestefficencyandprecisionofinformationacquiringarehighlyimprovedbyusingLDRATESTBED.KeywordsSoftwaretest;Testtools;LDRATESTBED随着现代航天科技的不断发展,计算机技
4、术在航天领域中得到了更广泛的应用。航天软件已成为1功能简介整个航天工程中的一个独立系统,不再是硬件产品[1]的附属。航天软件的可靠性已经直接影响到整个系软件测试贯穿于软件生命周期的全过程。统的可靠,成为航天型号试验任务成败的关键条LDRATESTBED是有效用于改进软件开发过程和件。测试过程的工具,同时具有静态测试和动态测试功为了提高航天软件的质量,有效的控制软件的能,适用于软件测试各个阶段,包括单元测试、配置[2]开发和软件维护费用,在软件研制过程中,软件测试项测试。所起的作用日益突出。今天,航天软件技
5、术的发展1.1软件开发阶段突飞猛进,仅靠软件测试人员的人工统计分析,已不在项目开发阶段,严格执行软件编程标准可以能有效地对被测航天软件做出准确评价。因此,在预防软件错误的发生,从而提高软件产品的质量。软件测试中利用辅助测试工具显得尤为重要。LDRATESTBED提供标准验证功能,软件质量人员收稿日期:20061115作者简介:李中萍(1973-),女,四川铜梁县人,工程师,研究方向为软件测试技术和软件工程;岳海(1973-),男,河南扶沟人,工程师,研究方向为软件测试技术和软件工程;薛静(197
6、6-),女,河南孟县人,工程师,研究方向为软件测试技术和测试环境的开发。74航天控制2007年可以依据项目特点制定不同层次的编程规范,通过静态分析技术深层次分析软件中的缺陷。同时2在航天型号软件测试中的应用TESTBED可自动生成结果报告,测试人员或编程人员根据报告信息对违反规则的代码进行修改。LDRATESTBED还提供用户基于现行软件标中国运载火箭软件检测站是第三方的确认测试准自行定义适合本系统或项目的软件质量模型,可单位,从引进LDRATESTBED工具以来,LDRA自动分析软件是否满足
7、软件质量要求,从而达到对TESTBED工具已经在多个运载系列和武器系列的软件质量的跟踪和控制。控制系统软件确认测试中加以应用,并取得了不错1.2单元测试阶段的效果。众所周知,进行单元级软件测试可在软件开发下面以WS-型号嵌入式软件为例,从不同方早期发现软件的故障或缺陷,从而提高软件可靠性。面来描述LDRATESTBED工具在TITMS320C2X传统的单元级测试采用人工方式编写测试驱动和桩(DSP微处理器)软件测试中所能执行的功能。模块,具有测试程序可靠性低、开销大、依赖于测试2.1静态测试阶段人员经验等
8、问题,并且大部分时间花费在编写测试在静态测试阶段,LDRATESTBED可以对被测程序上。LDRATESTBED可以自动帮助测试人员软件进行静态分析,提供软件的模块的调用关系,还进行单元级测试,灵活的输入测试数据,不用编写测以国际标准ISO/IEC912,MISRA软件标准和相应汇试脚本,自动生成软件驱动和桩模块,使测试工程师编软件开发过程经验为依据,制定了软件质量度量将重点放在测试用例设计上,提高
