软件测试_静态测试.pptVIP

指导教师：简勇;论文的主要工作; 本课题研究的是软件测试方法技术的研究——静态测试。 随着软件技术的日益发展，软件系统的复杂性和规模性也在不断的扩大，软件的安全性和质量的保证成为了所有公司和个人关注的地方，软件中存在的各种问题也逐渐成为了我国制约软件产业发展的主要因素。一些小的软件开发公司，甚至连一个专门的软件测试人员都没有。可想而知，我国当今的软件产业是多么的薄弱，严重的制约了我国软件产业的发展。没有很好地软件测试工作为产品的开发把关，怎么会有完美的、符合客户要求的产品呈现。所以软件测试在软件开发中的地位日渐提高，软件测试影响也越来越大。; 第二章：软件测试概述;软件测试主要工作内容是验证和确认，下面分别给出其概念： 验证是保证软件正确地实现了一些特定功能的一系列活动，即保证软件做了你所期望的事情。 1.确定软件生存周期中的一个给定阶段的产品是否达到前阶段确立的需求的过程； 2.程序正确性的形式证明，即采用形式理论证明程序符号设一计规约规定的过程； 3.评市、审查、测试、检查、审计等各类活动，或对某些项处理、服务或文件等是否和规定的需求相一致进行判断和提出报告。 确认是一系列的活动和过程，目的是想证实在一个给定的外部环境中软件的逻辑正确性。即保证软件以正确的方式来做了这个事件 ;第三章 静态测试;静态测试学术简介;静态测试编码规范;静态测试质量度量;静态测试错误检测;静态测