摘要：描述:借助一个软件行为模型,在一台计算机上仿真安全相关系统电路的功能。电路的各个元件每个都有它们自己的模拟行为,并且通过观察每个元件的边缘数据来检验这些元件连成的电路的响应。

B.3.6 模拟

注:在GB/T 20438.2-2017的表B.2、表B.5和表B6中引用了本技术/措施。

目的:为了对电气/电子电路元件的功能性能和正确度量两方面进行一次系统、全面的检查。

描述:借助一个软件行为模型,在一台计算机上仿真安全相关系统电路的功能。电路的各个元件每个都有它们自己的模拟行为,并且通过观察每个元件的边缘数据来检验这些元件连成的电路的响应。

B.3.7 检查(复审和分析)

注:在GB/T 20438.2-2017的表B.2和表B.6中引用了本技术/措施。目的:为了揭示规范和实现之间的不一致。

描述:检验和评价安全相关系统的规定功能以保证安全相关系统符合规范中给出的要求。有关实现的和产品使用的任何疑点都编入文档,因此这些疑点可得到解决。在检查过程中.同走查相比,作者是被动的,而检查员是主动的。

参考文献:

IEC 61160:2005,Design Review

Software engineering:Update,lan Sommervilie, Addison-Wesley Longman, Amsterdam;8th ed.,2006.ISBN 0321313798,9780321313799

Software Engineering. Ian Sommerville. Pearson Studium,8.Auflage, 2007.ISBN 3827372577.9783827372574

The Art of Software Testing,Second Edition.G. Myers et al., Wiley & Sons. New York,2004.ISBN 0471469122,9780471469124

ANSI/IEE 1028:1997,1EEE Standard for software reviews

Dependability of Critical Computer Systems 3.P.G.Bishop et al,,Elsevier Applied Science, 1990, ISBN 1-85166-544-7

B.3.8 走查

注:在GB/T 20438.2-2017的表B2和表B.6中引用了本技术/措施。

目的;为了揭示规范和实现之间的不一致。

描述:检验和评价安全相关系统设计的规定功能以保证安全相关系统符合规范中给出的要求。有关产品实现和使用的疑点和潜在的弱点都编入文档以便能得以解决。和检查相反,在走查过程中,作者是主动的面检查员是被动的。

参考文献:

Software engineering:Update.Ian Sommerville. Addison-Wesley Longman, Amsterdam;8th ed..2006.1SBN 0321313798,9780321313799

Software Engincering, Ian Sommerville. Pearson Studium.8.Auflage,2007,1SBN 3827372577.9783827372574

ANSI/IEEE 1028:1997,IEEE Standard for software reviews

Dependability of Critical Computer Systems 3.P.G.Bishop et al,,Elsevier Applied Science, 1990. ISBN 1-85166-544-7

Methodisches Testen von Programmen,G.J.Myers,Oldenbourg Verlag,MÃnchen,Wien.1987

来源：科技大排档