lecture-04-Ch05-FiniteModels-2

lecture-04-Ch05-FiniteModels-2 - Lecture 4 Finite Models...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
Lecture 4 - Finite Models Spring 2010 CSci 5802 1 CSc 5802 CSci 5802 Software Engineering II Finite Models Chapter 5 1 Spring 2010 CSci 5802 Goals for Today Understand goals and implications of finite state abstraction http://www Learn how to model program control flow with graphs Learn how to model the software system structure with call graphs .umsec.umn.edu Spring 2010 CSci 5802 2 Learn how to model finite state behavior with finite state machines
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Lecture 4 - Finite Models Spring 2010 CSci 5802 2 Properties of Models Compact : representable and manipulable in a reasonably compact form http://www What is reasonably compact depends largely on how the model will be used Predictive : must represent some salient characteristics of the modeled artifact well enough to distinguish between good and bad outcomes of analysis no single model represents all characteristics well enough to be useful for all kinds of analysis Semantically meaningful : it is usually necessary to interpret analysis results in a way that permits .umsec.umn.edu Spring 2010 CSci 5802 3 it is usually necessary to interpret analysis results in a way that permits diagnosis of the causes of failure Sufficiently general : models intended for analysis of some important characteristic must be general enough for practical use in the intended domain of application Graph Representations: directed graphs • Directed graph: – N (set of nodes) – E (relation on the set of nodes ) edges Nodes: {a, b, c} Edges: {(a,b), (a, c), (c, a)} a b a c CSci 5802 Ch 5, slide 4 b c
Background image of page 2
Lecture 4 - Finite Models Spring 2010 CSci 5802 3 Graph Representations: labels and code • We can label nodes with the names or descriptions of the entities they represent. – If nodes a and b represent program regions containing
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 10

lecture-04-Ch05-FiniteModels-2 - Lecture 4 Finite Models...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online