软件测试基础教程Foundations of Software Testing (Aditya P. Mathur)Chapter-1-preliminaries.ppt

?Aditya P. Mathur 2005 Aditya P. Mathur 2005 Errors, Testing, debugging, test process, CFG, correctness, reliability, oracles. Errors, faults, failures Errors Errors: Examples Error, faults, failures Software Quality Software quality Requirements, input domain, behavior, correctness, reliability Requirements, behavior, correctness Requirements: Incompleteness Requirements: Ambiguity Input domain (Input space) Valid/Invalid Inputs Correctness vs. Reliability Correctness and Testing Software reliability: two definitions Operational profile Operational profile Operational profile Testing, debugging, Verification Testing and debugging A test/debug cycle Test plan Test case/data Program behavior Program behavior: Example Behavior: observation and analysis Oracle: Example Oracle: Programs Oracle: Construction Oracle construction: Example Testing and verification Program representation: Control flow graphs Program representation: Basic blocks Basic blocks: Example Control Flow Graph (CFG) Control Flow Graph (CFG) CFG Example CFG Example Paths Paths: sample paths through the exponentiation flow graph Paths: infeasible paths Number of paths Test generation Test generation Test generation strategies Test generation strategies (Summary) Strings and languages Strings Alphabet Strings over an Alphabet String concatenation Languages Regular expressions Embedded systems and Finite State Machines (FSMs) Embedded systems Specifying embedded systems FSM: lamp example FSM: Actions with state transitions FSM: Formal definition State diagram representation of FSM Tabular representation of FSM Tabular representation of FSM: Example Properties of FSM Properties of FSM: Equivalence Properties of FSM: Distinguishable Properties of FSM: Machine Equivalence Properties of FSM: k-equivalence Example: Completely specified machine Types of software testing Types of testing C1: Source of test generation C2: Lifecycle phase in which testing takes place C3: Goal of specific testing activity C4: Art