【软件工程】软件测试及软件质量控制.pptx
《【软件工程】软件测试及软件质量控制.pptx》由会员分享,可在线阅读,更多相关《【软件工程】软件测试及软件质量控制.pptx(102页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、1 12 23 34 45 56 67 7 由于测试的目标是暴露程序的错误,从心理学角度看,由设计者自己进行测试是不恰当的,设计小组和测试小组应该分别设立,有利于进行客观和公正的软件测试。测试是有限的,由于通常的测试过程不可能穷尽一切情况,即使经过了严格的测试之后,仍然可能存在没有被发现的错误隐藏在程序中,不能证明程序中没有错误。8 8 因此,测试仅仅有可能找出程序的错误,测试不能证明程序是正确的。软件工程中所有其它阶段都是“建设性”的,软件工程师力图从抽象概念出发,逐步设计出具体的软件系统,而测试人员的工作表面上看却是“破坏性”的,竭力证明软件中含有错误,不能按预定要求正确工作。凡是进行对比
2、的方式均可理解为测试验证。 9 9 软件测试应该贯穿于软件生命期的各个阶段,各阶段的工作是相互衔接、相互影响的,前一阶段发生的问题自然要影响到下一阶段的工作。为了把握各个环节的正确性,人们需要进行各种确认和验证工作。软件确认是广义上的软件测试,它是企图证明软件在一个给定的外部环境中软件的逻辑正确性的一系列活动和过程,如需求说明书的确认、程序的确认等。1010 程序的确认又分为静态确认与动态确认。 静态确认一般不在计算机上执行程序,而是通过程序正确性证明、静态分析或人工分析来确认程序的正确性; 动态确认主要通过动态分析和动态测试,用执行程序的过程来检查执行的状态,确认程序是否有问题; 1111
3、正确性证明主要是企图绕过复杂的测试,直接证明程序的正确性。 如程序的输入输出断言法。 设程序段为S,其前断言为P,后断言为R。如果执行S以前P为真,则执行S后R也为真,则证明S是正确的,记为PSR。1212 任何程序总可以分成S1、S2、 Sn个结点,对应的断言为R1、R2、Rn,起初R1为输入断言,R2为输出断言,也是下一个输入断言, Rn为最后的输出断言,我们总可以,将S1、S2、 Sn逐个证明,自顶向下或自底向上都可证明程序的正确性,该分支已发展为计算机代数学; 1313 软件验证也属于广义上的软件测试,它试图证明在软件生命期的各个阶段、各阶段的逻辑协调性、完备性和正确性。 包括系统分析
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 软件工程 软件 测试 质量 控制
限制150内