软件验证规范（细化的）.docxVIP

作者:

公司:

xxx

文档名称:

软件验证规范

文档号：

文档版本：

日期：

版本历史

版本

修订人

修订日期

修订说明

审核人

目录

TOC\o1-3\h\z\u1 软件单元测试验证规范 4

1.1 概述 4

1.1.1 目的 4

1.1.2 范围 4

1.1.3 定义，首字母缩略词和缩略语 4

1.1.4 系统概述 5

1.2 测试方法论 5

1.2.1 测试方法 5

1.2.2 测试用例设计 6

1.2.3 测试手段 6

1.2.4 测试环境 6

1.2.5 MIL测试 7

1.2.6 SIL测试 8

1.2.7 PIL测试 8

1.2.8 平台软件测试 8

1.3 测试软件单元 8

1.4 测试用例 9

1.4.1 MIL测试用例 9

1.5 可追溯性 9

1.6 参考文献 10

2 软件集成和测试验证规范 10

2.1 10

2.2 10

2.3 10

3 软件安全要求验证规范 10

3.1 目的 10

3.2 范围 10

3.3 缩略词 10

3.4 验证环境及方法 11

3.5 验证规范标准 11

3.6 参考文献 11

软件单元测试验证规范

概述

软件单元测试是第一级测试，也是最重要的测试，这有助于检测和修复早期的错误。该测试设计的测试用例以软件单元测试规范的形式进行维护。

目的

此阶段验证的目的是为了证明软件单元满足软件单元设计规范，且不包含非预期的功能。

范围

本验证规范适用于软件单元设计规范中确定的BMS系统软件单元。

定义，首字母缩略词和缩略语

所需要的所有正确解释的术语、首字母缩略词和缩写词如下表所示。

术语/首字母缩略词/缩略语

描述

系统概述

概述一下

BMS系统不同的运行模式和运行模式之间的转换如下图：

图SEQ图\*ARABIC1运行模式转换图

运行模式的描述：

测试方法论

测试方法

软件单元测试按照软件验证计划执行。应采用下表规定的方法进行验证。验证应使用软件单元测试指南和软件单元测试规范列表进行。

Type

类型

Methods

方法

软件单元测试方法

导出测试用例的方法

结构覆盖度量

测试用例设计

根据以下信息指定测试：

测试手段

测试环境

MIL测试

本节仅适用于“基于模型的开发”项目。

截图

SIL测试

本节仅适用于“基于模型的开发”项目。

PIL测试

本节仅适用于“基于模型的开发”项目。

平台软件测试

本节仅适用于“基于模型的开发”项目。

测试软件单元

本部分应考虑指定软件单元测试的单元列表。考虑进行软件单元测试的软件单元按照软件单元设计规范中的规定。

No.

UnitName

UnitID

电流采集与计算单元

UNIT1_SW

测试用例

本节以软件单元设计规范中确定的每个单元的测试用例的形式来指定测试规范。如第2.4节所述，本节将根据项目需要制定内容。

MIL测试用例

MIL测试的测试规范如REF_Ref504048558\h表1所示

表SEQ表\*ARABIC1MIL测试规范

No.

UnitName

测试规范

SSRID

1

2

可追溯性

在软件单元设计规范中都需要经过测试确定每个设计要求，本节应规定要求和测试用例之间的可追溯性。

软件单元

软件组件

软件需求

参考文献

表SEQ表\*ARABIC2参考文献

No.

文档名称

版本

日期

1

2

3

软件集成和测试验证规范

目的

此阶段的目的是按照软件架构设计，对软件要素之间特有的集成层次和接口进行测试，证明软件架构设计已经被嵌入式软件实现。

范围

本验证规范适用于BMS完成软件单元测试后对软件安全要求的验证。

验证方法

验证规范标准

软件安全要求的验证过程和结果应确保：

与期望结果的一致性；

软件安全要求的覆盖率；以及

通过或不通过的准则。

软件安全要求满足并符合技术安全概念和系统设计的需求。

可追溯性

在软件单元设计规范中都需要经过测试确定每个设计要求，本节应规定要求和测试用例之间的可追溯性。

软件单元

软件组件

软件需求

软件安全要求验证规范

目的

此阶段的目的是为软件安全要求的执行以及结果提供验证规范，在实际硬件上执行嵌入式软件时满足软件安全要求。

范围

本验证规范适用于BMS完成软件集成测试后对软件安全要求的验证。

缩略词

所需要的正确解释的缩略词如下表所示。

缩略词

描述

验证环境及方法

对于软件安全要求的验证主要体现在HIL测试中。

验证规范标准

软件安全要求的验证过程和结果应确保：

与期望