现代软件测试的分类与比较.pptVIP

* * 本部分内容理论性比较强，比较成熟；虽然实用性不强，但是是测试课程必讲的内容。 主要内容参考《软件工程与软件测试自动化教程》P43-P58 4.2 * 本部分内容理论性比较强，比较成熟；虽然实用性不强，但是是测试课程必讲的内容。 主要内容参考《软件工程与软件测试自动化教程》P43-P58 4.2 * 本部分内容理论性比较强，比较成熟；虽然实用性不强，但是是测试课程必讲的内容。 主要内容参考《软件工程与软件测试自动化教程》P43-P58 4.2 * 本部分内容理论性比较强，比较成熟；虽然实用性不强，但是是测试课程必讲的内容。 主要内容参考《软件工程与软件测试自动化教程》P43-P58 4.2 4.2、LCSAJ 背景 Linear Code Sequence And Jump线性代码序列与跳转 Woodward LCSAJ：一组顺序执行的代码，以控制流跳转为结束点.程序的起点是程序的第一行或者控制流可以跳达的点;第一个LCSAJ的起点是程序的第一行,最后一个LCSAJ的终点是程序的结束.一条程序路径可能由一个、两个或多个LCSAJ构成。 LCSAJ路径：首尾相连，从程序头到尾的一连串LCSAJ 层次结构 1层：语句覆盖 2层：分支覆盖 LCSAJ覆盖：每个LCSAJ在测试中至少经历一次 两两LCSAJ覆盖：每个首尾相连LCSAJ在测试中至少经历一次 …… n+2层(n为自然数)：每n个首尾相连的LCSAJ组合都要覆盖 文章来源：安博测试空间技术中心/ 5.白盒测试工具 5.1常见的白盒测试工具简介 白盒测试工具一般是针对代码进行测试，测试中发现的缺陷可以定位到代码级，根据测试工具原理的不同，又可以分为静态测试工具和动态测试工具。　　i. 静态测试工具　　静态测试工具直接对代码进行分析，不需要运行代码，也不需要对代码编译链接，生成可执行文件。静态测试工具一般是对代码进行语法扫描，找出不符合编码规范的地方，根据某种质量模型评价代码的质量，生成系统的调用关系图等。　　静态测试工具的代表有Telelogic公司的Logiscope软件、PR公司的PRQA软件。　　ii. 动态测试工具　　动态测试工具与静态测试工具不同，动态测试工具的一般采用“插桩”的方式，向代码生成的可执行文件中插入一些监测代码，用来统计程序运行时的数据。其与静态测试工具最大的不同就是动态测试工具要求被测系统实际运行。　　动态测试工具的代表有Compuware公司的DevPartner软件、Rational公司的Purify系列。 文章来源：安博测试空间技术中心/ Parasoft JtestParasoft C++testParasoft SOA testParasoft .testParasoft CodewizardParasoft Insure++Parasoft DataRecon Compuware Numega devpartner studioCompuware DevPartnerJavaEditionCompuware BoundsCheckerCompuware SmartCheckCompuware DBPartner Empirix Bean-test AutomatedQA AQtimeAutomatedQA QESatJava 文章来源：安博测试空间技术中心/ Unitware Visual UnitGimpel Software PC-lintMacabe MacabeBorland Optimizeit SuiteQuest Software JProbe SuiteQuest Software Application assurance suiteQuest Software Sql optimizerej-technologies JProfilercyrano workbench TeleLogic LogiscopeTeleLogic rulecheck Segue SilkPerformer Component Test Edition IBM rational PurifyplusIBM rational Rational Test Realtime 文章来源：安博测试空间技术中心/ 开源 junit开源 cactus开源 Hansel开源 TestNG开源 StrutsTestCase开源 JFCUnit开源 Httpunit开源 Dunit开源 cppunit开源 Nunit开源 Xunit开源 JTR 文章来源：安博测试空间技术中心/ Linux平台工具 MallocDebugLinux平台工具