软件测试ST05_Syntax_Based_Testing.pptx

软件测试与质量保证;Paul Ammann Jeff Offutt ;Paul Ammann Jeff Offutt ;OUTLINE;大纲;Ch. 5 : Syntax-based tesing;第五章: 基于语法的测试;Using the Syntax to Generate Tests (5.1);使用句语生成测试(5.1);Grammar Coverage Criteria;句法覆盖标准;Test Cases from Grammar;来自句法的测试用例;BNF Grammars;BNF 语法;Using Grammars;使用语法;Mutation as Grammar-Based Testing;变异作为基于语法的测试;Syntax-based Coverage Criteria;基于语法的覆盖标准;Syntax-based Coverage Criteria;基于语法的覆盖标准;Mutation Testing;变异测试;What is Mutation ?;变异是什么?;Mutation Testing;变异测试;Mutants and Ground Strings;变体和基础字符串;Questions About Mutation;质疑变体;Killing Mutants;杀死变体;Syntax-based Coverage Criteria;基于语法的覆盖标准;Syntax-based Coverage Criteria;基于语法的覆盖标准;Example;示例;Mutation Testing;变异测试;Instantiating Grammar-Based Testing;实例化基于语法的测试;Structure of Chapter;本章结构;OUTLINE;大纲;Applying Syntax-based Testing to Programs;应用基于语法测试程序;Instantiating Grammar-Based Testing;实例化基于语法的测试;BNF Testing for Compilers (5.2.1);BNF测试编译器(5.2.1);Program-based Grammars (5.2.2);基于程序的语法(5.2.2);Killing Mutants;杀死变体;Program-based Grammars;基于程序的语法;Syntax-Based Coverage Criteria;基于语法的覆盖标准;Syntax-Based Coverage Criteria;基于语法的覆盖标准;Weak Mutation;弱变异;Weak Mutation Example;弱变异示例;Equivalent Mutation Example;等效变异的例子;1 boolean isEven (int X) 2 { 3 if (X 0) 4 X = 0 - X; ? 4 X = 0; 5 if (float) (X/2) == ((float) X) / 2.0 6 return (true); 7 else 8 return (false); 9 };1 boolean isEven (int X) 2 { 3 if (X 0) 4 X = 0 - X; ? 4 X = 0; 5 if (float) (X/2) == ((float) X) / 2.0 6 return (true); 7 else 8 return (false); 9 };;;Why Mutation Works;为什么做变异;Designing Mutation Operators;设计变异操作符;Mutation Operators for Java;Java变异操作符;Mutation Operators for Java (2);Java变异操作符（2）;Mutation Operators for Java (3);Java变异操作符（3）;Mutation Operators for Java (4);Java变异操作符（4）;Summary : Subsumption of Other Criteria;摘要:其他标准的类别;OUTLINE;大纲;Integration and O