摘要：描述：代码走查包含一个走查团队选择的一组小型测试用例。该程序的一组典型的输入及其相应的期望输出。测试数据按照程序逻辑进行人工跟踪。

E.19 走查

注1:亦见C.5.15“走查”。

目的：通过走查方法复审电路描述。

描述：代码走查包含一个走查团队选择的一组小型测试用例。该程序的一组典型的输入及其相应的期望输出。测试数据按照程序逻辑进行人工跟踪。

注2：作为独立的措施,该方法定仅应用于非常低复杂度的电路。如果未宝施(V)HDL仿真,走查的完整性及达成的结果宜与用(V)HDL.仿真所达成的结果具有同样的质量。

参考文献:

IEC 61160:2005, Design review

E.20 应用经确认的软内核

目的：通过应用经确认的软内核避免软内核在运行期间的失效。

描述：如果厂家确认软内核,则应满足以下要求:

——应完成用于安全相关系统操作的软内核确认,要求具有至少等同于或高于系统所计划的安全完整性等级。

——应遵循对软内核确认所必要的所有假定和约束。

——用于软内核确认的所有必要的文档应方便可用,亦见E.17“仿真结果文档”。

——每个厂家规范均应得到严格遵守并具有文档化的证据。

E.21 软内核的确认

注：亦见E.6“模块级功能测试”。

目的：通过在设计生命周期中的软内核的确认避免软内核运行失效。

描述：如果软内核不是明确地为运行于安全相关系统而开发的,则生成代码应在用于任何源代码确认的同等前提下得到确认。这意味着所有可能的测试用例均应定义并实施。此后应通过仿真进行功能验证。

来源：百科技展示