'Program slicing' diaporamas de présentation

Program Slicing

Program Slicing. The material in these slides have been taken from a number of papers, including Frank Tip's "A Survey of Program Slicing Techniques", 1994. Definitions ?. A program slice is the part of a program that (potentially) affects the values computed at some point of interest.

1.08k views • 78 slides

Program Slicing for Refactoring

651 views • 49 slides

Program Slicing: Theory and Practice

540 views • 40 slides

Debugging Support for Aspect-Oriented Program Using Program Slicing and Call Graph

473 views • 32 slides

Impact Analysis of Database Schema Changes

Impact Analysis of Database Schema Changes. Andy Maule, Wolfgang Emmerich and David S. Rosenblum London Software Systems Dept. of Computer Science, University College London {a.maule|w.emmerich|d.rosenblum}@cs.ucl.ac.uk. 2008. Database Management Systems (DBMS). Provide concurrent access

444 views • 28 slides

Introduction to Program Slicing Presenter: M. Amin Alipour Software Design Laboratory

Introduction to Program Slicing Presenter: M. Amin Alipour Software Design Laboratory http://asd.cs.mtu.edu malipour@mtu.edu. Outline. What is program slicing Classifications Basic Concepts Basic Algorithms Challenges Applications. History.

396 views • 26 slides

Software Construction and Evolution - CSSE 375 Program Understanding

Software Construction and Evolution - CSSE 375 Program Understanding. Shawn and Steve. Common Maintenance Situation. Taylor D. Programmer is given the task to make a change to some software that someone else has written

271 views • 26 slides

Compiler Supported High-level Abstractions for Sparse Disk-resident Datasets

Compiler Supported High-level Abstractions for Sparse Disk-resident Datasets. Renato Ferreira Gagan Agrawal Joel Saltz Ohio State University. General Motivation. Computing is playing an increasingly more significant role in a variety of scientific areas

336 views • 25 slides

Extraction of Conditional Statements for Understanding Business Rules

Extraction of Conditional Statements for Understanding Business Rules. Tomomi Hatano 1 Takashi Ishio 1 Joji Okada 2 Yuji Sakata 2 Katsuro Inoue 1. 1 Osaka University 2 NTT DATA Corporation. Maintenance of a business system.

352 views • 25 slides

361 views • 24 slides

A Plethora of Paths

A Plethora of Paths. Eric Larson May 18, 2009 Seattle University. Paths are commonly used in static analysis techniques. Symbolic path simulation: Simulate each path with symbolic data values Issues: Path explosion Illegal paths. B. E. C. F. Paths. A. D. G. Format of Talk.

403 views • 24 slides

Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique

Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique. Takashi Ishio Shinji Kusumoto Katsuro Inoue Osaka University. {t-isio, kusumoto, inoue}@ist.osaka-u.ac.jp. Background.

306 views • 21 slides

Optimizing the SPARK TM Program Slicer

Optimizing the SPARK TM Program Slicer. Ricky E. Sward and Leemon C. Baird III Dept of Computer Science USAF Academy ricky.sward@usafa.af.mil leemon.baird@usafa.af.mil. Overview. Background on program slicing SPARK program slicer Glue code Useful SPARK features

319 views • 21 slides

SwE 455 Program Slicing

SwE 455 Program Slicing. Our Goals. Debug your thousands lines of code easily by reducing the complexity of the program Write a robust program before testing your code Save your regression testing time by limiting the tests to only those that exercise the changed code. Approach.

891 views • 18 slides

Reishi Yokomori, Takashi Ishio, Tetsuo Yamamoto, Makoto Matsushita,

Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J. Reishi Yokomori, Takashi Ishio, Tetsuo Yamamoto, Makoto Matsushita, Shinji Kusumoto and Katsuro Inoue.

314 views • 17 slides

Slicing AspectJ Woven Code

Slicing AspectJ Woven Code. Davide Balzarotti (balzarot@elet.polimi.it) Politecnico di Milano. Luca Cavallaro Mattia Monga Antonio Castaldo D'Ursi. Motivation. AOP is becoming more and more popular since It allows to better organize the code modularizing cross-cutting concerns

242 views • 16 slides

Dependable Software Systems

Dependable Software Systems. Topics in Program Slicing. Material drawn from [Weiser84,Gallagher91,DeMillo96]. What is a Program Slice?. A program slice is a subset of a program.

267 views • 15 slides

SUDS: An Infrastructure for Creating Bug Detection Tools

SUDS: An Infrastructure for Creating Bug Detection Tools. Eric Larson October 1, 2007 Seattle University. What is SUDS?. SUDS is an infrastructure to facilitate the construction of software bug detection tools. SUDS primarily used to create dynamic bug detection tools.

237 views • 10 slides

Tutorial 5, Q1.

Tutorial 5, Q1. Briefly describe the purpose and principles of program slicing.

142 views • 4 slides

Tutorial 5, Q1.

Tutorial 5, Q1. Briefly describe the purpose and principles of program slicing. Tutorial 5, Q2. Consider the program below. a. By inspection give the dataflow slice wrt (10,{sqs}) b What is the smallest possible slice of the program? What criterion would give this slice?. count := 0;

162 views • 2 slides