- 1、本文档共6页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
软件工程
/
第11章软件测试
•质量保证:产品保证和过程保证
•软件测试确保开发的软件满足用户需求
•形式化验证方法,系统正确性验证的理论和技术
•测试分类、测试策略、软件度量
•等价类分析和基于控制流的测试
•断言机制和测试框架是两种基本的测试实现技术
•可测试性
2020/1/82
形式化验证
•软件测试的基本原理是根据用户需求的满足情况判断
软件的质量情况。
•为此可以根据不同的需求准备一系列的测试,让其以
某种形式运行起来以实现对系统的检测。
•测试的通过并不能用来证明整个系统是正确的,因为
测试数量是有限的,测试内容的选择通常是对系统可
能的缺陷进行分类并有针对性的让其表现出来,并不
能代表全部情况。测试不可行)
可能的(穷举
•可计算性理论中的停机问题告诉我们不可能用一个单
独的程序来判定任意程序的执行是否能够终止。
2020/1/83
建设性质量保证
在软件开发后作用于被测软件从而发现缺陷的存在,常被称为分析
•通
式的质量保证方法(AnalyticalQA)。
•将在实际产品能够执行之前的质量活动称为是建设性的质量保证活动
(ConstructiveQA)。
•这些活动可能针对具体产品,如需求分析文档或者程序代码,也可能
整个开发过程,包括:
-原则(Principles),技术(technique),方法(methods)和工具(
tools)
-生命周期模型(Life-cyclemodels)
-文档()
Documentation
-需求(Requriements)系统化的(systematic)和正式的(formal)表
:
示
-()
开发环境Developmentenvironments
-配置管理(Configurationmanagement)
-人件(Peopleware)
2020/1/847
人工测试
•审查(Inspection)活动的重点在于整个过程对时间的计划,因为正
式的分析过程需要耗费人员大量的时间和精力。
•评审(Review)与审查比较起来主要的差别在于准备工作没有那么正
式,同样需要所有评审专家对产品进行通篇的审阅,然后将发现的问
题进行标注并给出评价意见。作者出席评审会议,可以针对专家的疑
问进行回答,但一般不主动提出问题。作者在会后获得会议中所有评
审专家的评审意见和他们的评论。
•走查(Walkthrough)中作者作为主持人主持整个讨论过程,作为会
议的主导介绍自己的工作产品。其它的参与者听取作者的讲解并提出
一些批判的问题或改进的建议。为使大家的讨论更有针对性,每个参
与者也应该在之前对产品进行一定的了解和分析,这对于产品质量的
提高也会起到积极的作用。
2020/1/8
您可能关注的文档
- 那一刻我长大了作文500字13篇.pdf
- 那一刻我长大了作文500字六篇.pdf
- 难忘的那一刻初三作文600字记叙文4篇.pdf
- 难忘的那一刻作文600字3篇.pdf
- 轻叩诗歌的大门作文精编合集.pdf
- 软件工程01_软件工程概述.pdf
- 软件工程02_软件开发过程.pdf
- 软件工程03_需求分析.pdf
- 软件工程04_软件架构的构建.pdf
- 软件工程05_类的分析与设计.pdf
- 2024年广西南宁市中考生物二模试卷.docx
- 2024年广西玉林市容县中考数学一模试卷.docx
- 2023-2024学年贵州省遵义市七年级(上)期末生物试卷.docx
- 2023-2024学年贵州省贵阳市南明区八年级(上)期中道德与法治试卷.docx
- 2023-2024学年贵州省铜仁市九年级(上)期末物理试卷.docx
- 2024年广西中考语文试卷.docx
- 2023-2024学年贵州省铜仁市碧江区八年级(上)期末道德与法治试卷.docx
- 2023-2024学年贵州省六盘水市钟山区八年级(上)期末语文试卷.docx
- 2024年广西南宁十四中等校中考历史二模试卷.docx
- 2023-2024学年广西百色市田阳县八年级(上)期末地理试卷.docx
最近下载
- scale manager软件及相关scalemanager和mtstar使用说明.pdf
- 建积分之术筑工程之技:定积分及其应用教学实施报告.pdf
- 初中英语 2022-2023学年福建省泉州市九年级(上)第一次段考英语试卷.pdf
- 大连链家房地产营销渠道研究.docx
- 《数学思想与方法》模拟试卷ABCD卷.docx VIP
- DLT_741-2010《架空输电线路运行规程》(新版).doc
- 2024阿里巴巴淘宝云客服-消费者咨询业务知识题及答案.pdf
- 浙教版八年级科学上册单元测试题及答案.docx
- final submission to nsfc with signed page国际地区合作与交流项目申书.pdf VIP
- 广西 平乐县志.pdf
文档评论(0)