05-软件可靠性与安全性-验证确认-(1).pptxVIP

软件可靠性与平安性第六局部软件可靠性与平安性验证33提要软件验证与确认1软件评审和分析2软件动态测试3验证与确认验证(Verification)与确认(Validation)是广泛认可的质量保证方法和手段验证与确认的手段不仅仅是测试验证: Are we building the product right?确认: Are we building the right product?验证与确认的独立性取决于机构的质量政策和所管理的软件等级软件验证与确认的目标软件需求满足分配给软件的系统需求软件体系结构满足软件需求详细设计满足软件体系结构的要求软件源代码满足详细设计的要求可执行目标码满足软件需求保证为到达上述目标所使用的方法, 对所确定的软件等级而言, 在技术上是正确的且完整的发现和解决软件问题, 提高软件质量软件验证软件验证期望证明软件生存期各阶段及阶段间的逻辑协调性、完备性和正确性软件验证是对系统或单元评价的过程, 以确定软件开发周期中的一个给定阶段的产品是否到达前阶段确立的要求软件验证是对软件开发过程和软件验证过程两者结果的技术评估软件验证过程的目的是检测和报告在软件开发过程中可能已形成的缺陷软件确认软件确认是在软件开发过程期间或结束时, 对系统或单元评价的过程软件确认的目的是想证实在给定的外部环境中, 软件的逻辑正确性, 以确认它和软件需求是否相一致软件验证与确认技术软件验证与确认实践系统需求和设计可使用的系统确认验证需求定义软硬件集成软件需求可执行的软件确认验证软件设计组件集成设计规格说明可执行的组件确认验证编码单元集成代码软件验证与确认活动评审(Reviews)提供正确性的定性评估分析提供正确性的可重复证据动态测试发现软件中的问题和缺陷验证活动改进实践(Fujitsu)年份缺陷检测方法(%)千行需维护代码缺陷测试设计评审代码审查197785---150.191978805150.1319797010200.0619806015250.0519814030300.0419823040300.0233提要软件验证与确认1软件评审和分析2软件动态测试3软件评审方法设计评审代码审查代码走查静态分析软件分析方法可追踪性分析接口分析危险分析风险分析关键性分析复杂性分析覆盖分析评审与分析时机HWCItestingfabricationdetaileddesignpreliminarydesignFCAPCACDRhardwarerequirementsanalysisPDRsystemrequirementsanalysissystemdesignsystemintegrationand testingSRRSDRSSRFQRsoftwarerequirementsanalysisPDRpreliminarydesignFCAPCACDRdetaileddesignfunctionalbaselinecoding andCSU testingAbbreviationsallocatedbaselineTRRSRRSDRSSRPDRCDRTRRFCAPCAFQRsystem requirements reviewsystem design reviewsoftware specification reviewpreliminary design reviewcritical design reviewtest readiness reviewfunctional configuration auditphysical configuration auditformal qualification reviewCSCintegrationand testingproductbaselineCSCItestingdevelopment configuration软件需求评审与分析与系统需求的符合性准确性和一致性与目标机的兼容性可验证性与标准的符合性可追踪性算法的精度和特性软件体系结构评审与分析与高层需求的符合性一致性与目标机的兼容性可验证性与标准的符合性划分的完整性源代码评审与分析与模块设计的符合性与软件体系结构的符合性可验证性与标准的符合性可追踪性准确性和一致性源代码评审与分析代码符合平安编码标准代码执行逻辑的正确性代码数据操作的正确性代码的健壮性源代码评审与分析重点关注被零除范围检查错栈溢出错堆溢出错无效指针操作浮点上溢出浮点下溢出无效浮点运算对象未初始化软件集成评审与分析不正确的硬件地址内存重叠接口冲突遗漏软件部件软件评审评审组长SQA人员系统维护人员产品开发人员评审人员记录人员用户代表软件评审与分析工作中的问题审查工作流于形式, 缺乏操作性参与审查工作的人员缺乏相应的培训, 审查过程中得不到适当的指导、监督对审查工作的重要性和严