《新》美国 课程 software testing 课件.pptVIP

* Csci565: Theory and Practice of Software Testing Semantics of Statecharts State Event Transitions Event [Guard] / Action Transition * Csci565: Theory and Practice of Software Testing Example for Statechart Semantics * Csci565: Theory and Practice of Software Testing More features of Statecharts Generalization Simplifies by Factorization Orthogonality Simplifies by Segmentation History Info. To memorize the substate last visited * Csci565: Theory and Practice of Software Testing Example for Generalization * Csci565: Theory and Practice of Software Testing Example for Orthogonality * Csci565: Theory and Practice of Software Testing Example for History state * Csci565: Theory and Practice of Software Testing Importance of Testing Statecharts Statecharts play crucial role in modeling Safety-critical systems Networking Protocols GUIs (Graphical User Interfaces) OOD (Object-Oriented Design) * Csci565: Theory and Practice of Software Testing Methodology of Testing SCs * Csci565: Theory and Practice of Software Testing Coverage Metrics State Coverage Ratio of number of states covered and total number of states in the given state model Event Coverage Ratio of number of events covered and total number of events in the given state model Transition Coverage Ratio of number transitions exercised and total number of transitions in the given state model State-Event Coverage Ratio of state-event pairs exercised and number of states multiply number of events in the given state model * Csci565: Theory and Practice of Software Testing Statechart Spec. and Test Case’s Formats * Csci565: Theory and Practice of Software Testing Acknowledgement/references Harry Robinson: Graph Theory Techniques in Model-Based Testing(1999 International Conference on Test Computer Software) Harry Robinson: Finite State Model-Based Testing on a Shoestring ?? (1999 Software Testing Analysis and Review West Conference ) Petri nets and software engineering * Csci565: Theory and Practice of Softwa