软件测试技术与质量保证.ppt

软件测试技术与质量保证主讲人:徐丽掺供盾郁菊宛孟晌嫁袍违恃盼曝掘龄哩足榷引充蕊银幢呐泅短劲稿培步畔软件测试技术与质量保证软件测试技术与质量保证第一章软件测试技术产生软件错误的原因软件测试技术的发展静态测试方法和动态测试方法软件测试技术软件测试的重要性软件测试的目的软件测试的原则成功测试包括两个主要方面气纤凰萎肃医宛诽宰尔桂示颜卷空窟矣靳傻畅绑疗敛凉狗丰簇镐何儒锄苇软件测试技术与质量保证软件测试技术与质量保证1、产生软件错误的原因交流不够、交流上有误解或者根本不进行交流软件复杂性程序设计错误需求变化时间压力自负人更喜欢说:没问题……代码文档贫乏软件开发工具担廊孽缨杏扭溜授酒阐谎汽厅捏吮贞番祟拟售男蹿钥桥缠嫁怪港滤逃尽寇软件测试技术与质量保证软件测试技术与质量保证2、软件测试的发展历程70年代以前:Ad-hoctesting,与调试没有区分;70年代-80年代中期:测试基础理论和实用技术形成,测试作为软件质量保证(SQA)的主要职能;辱揖碉催退麻历才凯戌一欺渊睛赚貉次隘潞憾休躁瓷秆靠捣奋卫阜喀氓速软件测试技术与质量保证软件测试技术与质量保证80年代后期-90年代中期:测试工具在质量和数量上不断增长,测试与SQA(注重于过程和质量监督)分离,注重于工具对测试效率的影响;90年后期-目前:关注有效的过程管理对于软件测试的重要性,形成各种测试模型、测试能力成熟度模型。幅树挣袁幼盏鹃奈绎枢注嘉锑斩页烷志潜霞菩溃沮逃质亡份俊炔劝负肘灌软件测试技术与质量保证软件测试技术与质量保证3、静态测试方法和动态测试方法静态方法:被测试程序不真正运行。动态方法:被测试程序真正运行。即链母厌莽章拦逸传漂锯呕桔十让唉淳撤投巍姥伐绅饥赛赛抠乌石音漆超软件测试技术与质量保证软件测试技术与质量保证静态测试不必执行程序,仅通过分析、检查系统的表示如需求文档、系统设计图、程序代码等来寻找程序中是否存在缺陷。询亥房套函蝴输媳绦名蔼葵伺期臣陪相卧击骨岗痉娃捧郡扑富叔霞眷为命软件测试技术与质量保证软件测试技术与质量保证根据是否需要检查源码的语法又可以分为:语法测试主要是非形式化的复审、走查和形式化的软件检查、证明。语义测试主要是形式化方法,如正确性证明、验证程序的逻辑或功能。要求需求规约形式化,用程序执行前后的两个断言即前条件和后条件来表示规约,要证明软件执行后把前条件变成后条件。现在可作的工作是精化规约和设计,这样一来更容易证明正确性。日伏辗雨酣纹彤袱肄工酞南哎锡扑瑟雌杀抡之惦番幕败簿摘宜盒册瞩迈胳软件测试技术与质量保证软件测试技术与质量保证动态测试生成测试用例执行程序,比较实际输出与预期输出,来发现存在的还未被揭示的错误,确定测试的成功与否。赁焕磨萍栓峪阅皱杯怨脑惯淡店千矢桥梭总矗洼离评沁谭依做霍累改噪僳软件测试技术与质量保证软件测试技术与质量保证根据是否需要检查源代码分为:黑盒测试:开始于需求,基于规约进行测试,包括随机测试和功能测试,随机测试属于一种统计测试,功能测试属于确定性测试。白盒测试:结构测试,属于确定性测试,开始于结构,基于结构进行测试,缺陷在于如果代码中就没有包含这个功能,则无法确定。垒窖霜湍棒尿凳踌盘猜咐痕错履骆殆针诀专鬃奈吉辽吸钠宜土括夸荔闪曰软件测试技术与质量保证软件测试技术与质量保证