CSE584: Software EngineeringLecture 9 (December 1, 1998)

Table of Contents

CSE584: Software EngineeringLecture 9 (December 1, 1998)

This week

Lackwit (O’Callahan & Jackson)

Placement

Lackwit

Lackwit analysis

Query commonalities

An example

Claim

Underlying technique

Trivial example

Lackwit’s type system

Incomplete type information

Polymorphism

Type stuff

PPT Slide

Morphin case study

Example

Recap

Slicing, dicing, chopping

Basic ideas

Example

Weiser’s approach

Ottenstein & Ottenstein

PDG for the example

Procedures

The next slide...

PPT Slide

Context

Reps et al.

Technical issues

Dynamic slicing

(Potential) applications

Recap

Invariants

Where are they?

In any case, they aren’t there

Our approach: dynamically infer them

Complement to static

Ex: a basic Gries program

And the loop invariants

Basic structure

Instrumentation

Captured data

User control

Invariants

Invariants

Sequence invariants

Checking

Statistics

Negative invariant example

Gries program, new input

Derived variables

Scenario

Informal walkthrough...

Discussion

Question

Scalability

Possible uses

Other uses?

Recap

Tools

Next (and final) week

Email: notkin@cs.washington.edu

Home Page: http://www.cs.washington.edu/education/courses/584/CurrentQtr/

Other information:
CSE 584, Lecture 9

Download presentation source