软件验证报告.docxVIP

作者:

公司:

xxx

文档名称:

软件验证报告

文档号：

文档版本：

日期：

版本历史

版本

修订人

修订日期

修订说明

审核人

安徽力高新能源有限公司

目录

TOC\o1-3\h\z\u1 介绍 4

1.1 验证目的 4

1.2 验证范围 4

1.3 缩略词 4

2 验证人员职责分工及时间 4

3 验证方法 5

4 验证实施 5

5 验证结论 5

6 参考文献 5

介绍

验证目的

本文档对软件层面提出的软件单元设计与实现加以验证，以展示它们：

对软硬件接口规范的符合性；

通过追溯性表明满足了分配给软件单元的软件安全要求；

源代码与其设计规范的一致性；

源代码与其编码指南的一致性；

软件单元的实现与目标硬件的兼容性；

验证范围

此份软件验证报告只针对软件单元设计与实现所出，其它超出此范围的验证不属于此报告范畴。

缩略词

表SEQ表\*ARABIC1首字母缩略词

缩略词

描述

验证人员职责分工及时间

验证人员

部门

职责

时间

验证方法

检查；

半形式验证；

控制流分析；

数据流分析；

静态代码分析；

验证实施

软件单元设计与实现验证：

UnitName

ASIL

描述

验证方法

验证结果

UNIT1_SW：电流采集与计算单元

根据采集硬件的模拟信号进行滤波转换成电流值。

验证结论

参考文献

No.

文档名

版本

日期