软件标准符合性测试

一、软件标准符合性测试定义

软件标准符合性测试是指依据标准，对软件产品进行严格的、定量的测试，以确认产品是否符合该标准，或在多大程度上符合标准。标准符合性测试是标准的“黑盒”测试，即测试者完全不考虑软件的内部结构和属性，只根据已采用的标准制定测试规范、编制测试用例，按照“黑盒”测试的方法进行全面的、深入的测试，验证软件与标准的每一条款项是否符合、符合程度、根据标准符合性的需求对软件产品进行评价和认证。除了测试项来自所采用的标准以外，测试方法的设计、实施与其他软件测试类型基本相同。

二、软件标准符合性测试注意事项

断言是关于标准中所规定的单元功能或性能的一个命题或陈述，它是一个逻辑表达式，说明为了保证标准测试的正确性，测试功能或性能时所必须满足的一个或多个条件。标准符合性测试的主要工作就是根据标准条文编写或修订断言。根据软件标准符合性测试的需求，断言可以分为基本断言和扩展断言。基本断言是关于标准所规定的产品必须具有的功能或性能的断言，扩展断言是针对标准中明确指出的产品可补充、扩展的功能或性能。而根据标准中规定的某一单元功能或性能的必备特征和条件特征，断言又可以分为必备断言和条件断言，必备特征是指该功能或性能一旦在产品中出现时，它必然具备的天然属性，条件特征是指即使当某一功能或性能已在产品出现时，也需在一定条件下才具有的特性或属性。软件标准符合性测试中的每个断言必属于下列 4种类型之一:

1) 基本必备断言——A 类断言，此类断言是关于标准所规定的产品必