软件测试课件2.pptx

第二章:程序测试理论韦庆杰
软件工程学科研究生课程–——软件质量保证与测试
软件测试理论
单元测试
系统集成测试
系统测试
…
…
课程内容
第二章开始每章最后有文献综述和参考文献
请仔细阅读文献综述内容,学****如何写文献综述
每章最后一节有总结
文中的参考文献索引可以帮助理解文中提及的术语或定义
本教材的阅读方法提示
课后阅读“How to read an engineering paper?”
如何阅读工程论文
测试理论涉及的几个方面
通过执行测试来进行错误检测
从不同方面设计测试用例,即需求规范、源代码及程序的输入和输出域
从所有可能的测试用例集合中选取一个子集
有效的测试用例选择策略
在测试中使用测试断言
决定测试用例的优先级
测试用例的足够性分析
测试理论的基本概念
“测试只能揭示错误的存在而不是错误的不存在。”
. Dijkstra,
Notes on Structural Programming, 1972
测试仍然是检测错误和质量改善的最实用和可靠的方法
以较低的成本设计出有效的测试用例
测试的局限性
Goodenough 和Gerhart理论
Weyuker和Ostrand理论
Gourlay理论
测试理论
理想测试(Ideal test)
如果输入域的样本(子集)成功地执行,可以得出这个程序不包含错误,那么这个样本就构成理想测试。
彻底测试(Thorough Test)
穷尽测试(Exhaustive Test)plete Test)
测试数据选择标准C
C的可靠性(Reliability):当且仅当每一个C选择的测试都成功,或者都不成功。———一致性
C的有效性(Validity):当且仅当如果程序P是不正确的,C至少可选择一个测试集合T使P不成功。
Goodenough 和Gerhart理论的基本概念
离散数学….
数理逻辑….
谓词逻辑(一阶逻辑)
一阶逻辑:
使用于数学、哲学、语言学及计算机科学中的一种形式系统
不像命题逻辑只处理简单的陈述命题,它包含谓词和量化
谓词逻辑(Predicate Logic)
谓词:一个会传回真或伪的函数
量化:指定谓词在一定范围的事物上成立的程度
全称量化“∀”:尝试形式化某个事物(逻辑谓词)对于所有事物或所有有关的事物都为真的概念
存在量化“∃”:对一个域的至少一个成员的性质或关系的论断
谓词和量化