tailieunhanh - Lecture Software testing and analysis - Chapter 14: Model-based testing

Models are often used to express requirements, and embed both structure and fault information that can help generate test case specifications. Control flow and data flow testing are based on models extracted from program code. Models can also be extracted from specifications and design, allowing us to make use of additional information about intended behavior. | Model based testing c 2007 Mauro Pezze Michal Young Ch 14 slide 1 SOFTWARE TESTING AND ANALYSIS Learning Objectives Understand the role of models in devising test cases Principles underlying functional and structural test adequacy criteria as well as model-based testing Understand some examples of model-based testing techniques A few of the most common model-based techniques representative of many others Be able to understand devise and refine other model-based testing techniques Grasp the basic approach and rationale well enough to apply it in other contexts c 2007 Mauro Pezze Michal Young Ch 14 slide 2 Why model-based testing Models used in specification or design have structure Useful information for selecting representative classes of behavior behaviors that are treated differently with respect to the model should be tried by a thorough test suite In combinatorial testing it is difficult to capture that structure clearly and correctly in constraints We can devise test cases to check actual behavior against behavior specified by the model Coverage similar to structural testing but applied to specification and design models SOFTWARE TESTING AND ANALYSIS Deriving test cases from finite state machines A common kind of model for describing behavior that depends on sequences of events or stimuli Example UML state diagrams c 2007 Mauro Pezze Michal Young Ch 14 slide 5 From an informal specification. Maintenance The Maintenance function records the history of items undergoing maintenance. If the product is covered by warrant requested either bỹcãĩĩĩnglhe inainieiidiice IX by bringing the item to a designated maintenan If the maintenance is requested by phone or we______________________________________ resident the item is picked up at the customer site otherwise the customer shall ship the item with an express courier. 1 Multiple choices in the first step or . determine the possibilities the procedure for items not covered by warra f X. X X If the product is not .