摘要：描述：走查是一种非形式化的技术,是由软件组件的制造者在有他人在场的情况下实行,目标是发现软件组件中的缺陷。走查可在软件开发生命周期任何阶段产生的特定软件组件上执行。
C.5.15 走查(软件)
注：在GB/T 20438.3-2017的表B8中引用了本技术/措施。
目的：揭示规范和实现之间的差异。
描述：走查是一种非形式化的技术,是由软件组件的制造者在有他人在场的情况下实行,目标是发现软件组件中的缺陷。走查可在软件开发生命周期任何阶段产生的特定软件组件上执行。
安全相关系统规定的功能被检查和评估,来确保安全相关系统遵守在规范中的给定的要求。任何与产品的实现和使用相关的疑点要记录下来,这样这些疑点就可能得到解决。与形式化审查相比,在走查程序中作者是积极的。
参考文献:
Software engineering: Update. Ian Sommerville. Addison-Wesley Longman. Amsterdam; 8th ed.,2006.ISBN 0321313798,9780321313799
Software Enginecring, Ian Sommerville, Pearson Studium, 8. Auflage, 2007,ISBN 3827372577，9783827372574
The Art of Software Testing.second edition.G.J.Myers, T. Badgett, T.M.Codd,C.Sandler, John Wiley and Sons,2001,ISBN 0471469122.9780471469124
C.5.16 设计复审
注：在GB/T 20438.3一2017的表B.8中引用了本技术/措施。
目的：揭示软件设计中的缺陷。
描述：设计复审是一个形式化的,文档化的,综合的和系统性的软件设计检查,来评估设计要求和设计能力以满足这些要求并确定问题及建议解决方案。
设计复审提供了一种方法来评价针对输入要求的设计状态,也提供了一种鉴定进一步改进的机会的方法。随着生命周期活动的进展,以及主要详细设计到达一个里程碑时,应实施设计复审来复审所有的接口方面,确保设计能被验证以确保设计满足要求。这样一个问顾主要是为了验证设计者的工作并且应该被视为是一种证实和精细化的活动。
参考文献:Software engineering:Update. Ian Sommerville, 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.J. Myers, T,Badgett. T.M.Codd,C.Sandler,John Wiley and Sons,2004,ISBN 0471469122,9780471469124
IEC 61160:2005,Design review
Space Product Assurance,Sneak analysis-Part 2:Clue list,ECSS-Q-40-04APart 2.ESA Publica- tions Division.Noordwijk,1997,ISSN1028-396X,http://www.everyspec.com/ESA/ECSS-Q-40-04A_ Part-2_14981/
来源：晓霞说科技
