资源描述：
《软件标准符合性测试_邓日失》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、1997年2月北京航空航天大学学报February1997第23卷第1期JournalofBeijingUniversityofAeronauticsandAstronauticsVol.23No.1软件标准符合性测试邓日失刘又诚(北京航空航天大学计算机科学与工程系)摘要叙述了软件标准符合性测试方法,提供了断言类型判定、测试级别、测试套集、测试工具等关键技术的解决方案,对软件标准测试、软件质量保证均有一定的指导作用.关键词软件;标准化;软件工程;软件标准符合性测试;测试工具分类号TP311.51问题的提出对于传统工业来说,标准化工作的重要意义是尽人皆知的,没有标准化,就没有现
2、代化的工业.此外,一门学科成熟的特点之一就是用科学来代替技艺,而科学则集中体现在定量化、规范化方法上,计算机学科要从技艺或手艺发展成为科学,也必须走同样的道路.当计算机硬件在世界上出现的同时,人们就提出了怎样使用计算机的问题,技术越向前发展,使用中的可交换性、通用性的需求就越迫切,因此人们认识到软件的标准化工作是促进软件产业发展、使软件产品走向市场成为商品的重要保证.为了提高软件产品的质量,增加其在市场,特别是国际市场上的竞争力,除了对软件本身进行功能和性能的测试外,还需要根据相应的标准进行测试验证,以确定该软件是否符合标准的要求,即测试软件对标准的符合性.对软件产品进行标准
3、符合性测试与确认的工作自60年代末就开[1]始了,从70年代初的程序语言的标准符合性测试发展到90年代的开放系统接口标准测试,通信软件的标准符合性测试等,已形成一些权威测试确认系统.在国外,特别是美国、英国、法国、德国这些计算机科学技术发达、软件商品丰富的国家,早已实行软件标准符合性测试,从国家级权威机构到业界、媒体的测试实验室都在认真努力的从事这项工作,并定期向公众颁布测试结果.我国自八五系统软件国产化重大攻关项目开始从事软件标准符合性测试的研究工作,可以相信,随着我国软件事业的发展,软件产品市场的逐步完善,软件标准符合性测试必然会得到充分认识,而软件标准化工作也必将促进我
4、国软件事业的发展和壮大.软件标准符合性测试是指从标准出发,对软件产品进行严格的、定量的测试,以确认产品[2]是否符合该标准,或在多大程度上符合标准.从测试方法学的角度来看,标准符合性测试是标准的“黑盒”测试,即测试者完全不考虑软件的内部结构和属性,只根据标准文本设计并选用测试用例,按照黑盒测试的方法进行全面、深入的测试,力求无遗漏地验证软件与标准每一条款项的符合与否、符合程度,最后根据标准符合性的需求对产品进行评价和认证,以确认被测软件是否符合标准.软件标准符合性测试的过程是一种典型的瀑布模型(图1).在测试过程中,定义阶段的主要任务是分析、确认标准中的断言及其所属类型、测试
5、级别收稿日期:1996-07-19第一作者女32岁讲师100083北京第1期邓日失等:软件标准符合性测试69和复杂性,开发阶段的任务是设计并编写测试大纲、测试用例和测试用例套集,实施阶段的工作是组织、执行测试并报告测试结果.下面,讨论软件标准符合性测试的主要问题:断言类型;测试级别;复杂性级别;测试套集;测试用例的类型;测试工具.计划定义阶段需求分析设计开发阶段测试用例的编制测试实施阶段结果分析,测试报告图1软件标准符合性测试过程的瀑布模型2断言类型这里的断言是关于标准中所规定的单元功能或性能的一个命题或陈述,它是一个逻辑表达式,说明为了保证标准测试的正确性,测试该单元功能或
6、性能时,所必须满足的一个或多个条件.标准符合性测试定义阶段的主要工作就是根据标准条文,编写或修订断言.根据软件标准符合性测试的需求,断言可以分为基本断言和扩展断言,基本断言是关于标准所规定的产品必须具有的功能或性能的断言,扩展断言是针对标准中明确指出的产品可补充、扩展的功能或性能.而根据标准中规定的某一单元功能或性能的必备特征和条件特征,断言又可以分为必备断言和条件断言,必备特征是指该功能或性能一旦在产品中出现时,它必然具备的天然属性,条件特征是指即使当某一功能或性能已在产品出现时,也需在一定条件下才具有的特性或属性.软件标准符合性测试中的每个断言必属于下列4种类型之一:1)
7、基本必备断言——A类断言,此类断言是关于标准所规定的产品必须具有的功能或性能的必备特征的断言.A类断言是标准符合性测试所必须测试的,其结果为“通过”或“失败”.2)扩展必备断言——B类断言,此类断言是关于产品可补充、扩展的功能或性能的必备特征的断言.B类断言在标准符合性测试中是可以测试也可以不测试的,测试与否要视标准符合测试的需求和功能或性能是否在产品中出现,若需求且出现,则测试且断言结果为“通过”或“失败”,若需求而不出现,则测试而断言结果为“不支持”,若需求中不要求测试,则不测试该B类断言.3)基本
