测试测试自动化测试测试自动化测试工作台测试工作台((下游下游CASECASE工具工具))源代码预测器测试管理器测试预估模拟器文件比较器报告生成器动态分析器被测试的程序测试数据测试结果测试结果报告执行报告测试数据生成器规约随机测试自动化工具随机测试自动化工具::猴子测试员猴子测试员只要不停电,偶尔能够得到香蕉,猴子就会永远测试下去一个想法:“假如让一百万只猴子在一百万只键盘上敲一百万年,它们最终就可能写出莎士比亚话剧等巨著”.猴子的进步猴子的进步笨猴子:一点也不懂测试软件,只是随机地单击或按键,直至发生两件情况之一:完成循环或系统崩溃.不太笨的猴子:具有崩溃辨认能力,能够重新启动系统开始测试聪明猴子:能够从它的笨兄弟那儿获得随机测试的结果,增加了对环境的认知能力,有目的地敲键盘,不仅限于查找崩溃缺陷,同时查看数据,检查操作结果,找出与预期结果的差别自动化测试工具实例自动化测试工具实例美国国际软件自动化（ISA）公司的PanoramaforC/C++，j、Java和VB产品，自动化功能包括：•软件结构分析与逻辑框图的自动化•软件静态分析•数据分析•复杂性分析与分析结果列表的自动化•软件质量分析•动态性能分析•软件代码分支或条件覆盖率分析•软件测试用例有效性分析与测试用例最小集的自动选取•软件界面手工操作过程的自动记录与自动再执行(Playback)§6.8调试(纠错技术)测试是找出软件错误的过程，调试是确定错误的位置、性质并纠正。调试的困难在于错误的定位.调试的执行步骤错误现场结果执行案例改正测试用例调试已识别的缘故被怀疑的缘故回归测试附加测试6.8.1排错策略方法一.强行排错(bruteforce)常见形式:(1)打印出所有存储内容、代码(2)程序中设打印语句(3)用自动纠错工具效率最低二.回溯法(跟踪法)依照错误症状位置，人工沿程序控制流程向回追踪源代码。适用于小程序，路径数目很大时无法进行。三.消去缘故(causelimination)列出可能缘故,逐个排除,找出问题(1)试探法(2)归纳法(3)演绎法(4)二分查找法(1)归纳法收集有关数据组织数据构造线索研究线索关系假设错误缘故证明假设纠正错误能不能证明线索关系错误线索能不能(2)演绎法列举可能错误缘故排除可不能发生原因对保留的假设推断证明留下的假设确定错误待定错因剩余错因能出错缘故不能收集更多数据无剩余6.8.2修改错误原那么•注意错误的群集现象，在错误近邻检查。•找到错误的本质并修改•采用回归测试，避免因修改引起的新错误。•修改源程序。§6.9§6.9测试中的可靠性分析测试中的可靠性分析开发过程中，利用测试的统计数据来估算软件的可靠性，以控制软件的质量。•推测错误的产生频度•推测残留在程序中的错误数•评价测试的精确度和覆盖率推测错误的产生频度推测错误的产生频度（推测错误产生的时间间隔）（推测错误产生的时间间隔）1K(ET/IT-Ec(t)/IT)方法:估算平均故障时间(MTTF估算公式)当故障率为独立于时间的常量λ:MTTF＝K:经验常数ET:程序中原有的残留错误数IT:程序长度t:测试时间Ec(t):在0-t期间内发现的错误总数λ1=推测残留在程序中的错误数推测残留在程序中的错误数错误植入模型Mills将播种模型用于程序中残留错误的估算,称错误植入模型播种模型：N：程序中原有残留的错误数Nt：新植入的错误数n:测试发现的原有错误数nt:测试发现的植入错误数NNnnt≈tNNnnt=tHymanHyman对错误植入模型的改进对错误植入模型的改进ET:程序中原有的残留错误数E1:1号测试员在某一时间内发现的错误数E2:2号测试员在同一时间内发现的错误数E0:两位测试员共同发现的错误数EEEE1≈0=2TETE1E2/E0第七章软件维护与软件再工程第七章软件维护与软件再工程§7.1软件维护的概念四类维护活动：•改正性维护•适应性维护•扩充与完善性维护•预防性维护三类维护所占比例:其它维护5%适应性维护25%改正性维护20%扩充与完善性维护50%改正性维护占全部维护量的比率已从80年代初的20%大幅度下降,90年代初一些公司的产品差错率已接近于零各类维护活动的全然目的是延长软件生存期其它维护4%软件生存周期软件诞生计划分析设计编码测试运行和维护(简称维护)改善期稳定期陈旧期1年-10年2个月-2年重构软件工程周期§7.2§...
