CS527: Advanced Topics in Software Engineering Software Testing and Analysis - PowerPoint PPT Presentation

1 / 7
About This Presentation
Title:

CS527: Advanced Topics in Software Engineering Software Testing and Analysis

Description:

Sep 13: Java PathFinder (model checking) Sep 18: Adding generics (static analysis) ... You can download from SourceForge. Problem set based on some tool? ... – PowerPoint PPT presentation

Number of Views:61
Avg rating:3.0/5.0
Slides: 8
Provided by: darkom
Category:

less

Transcript and Presenter's Notes

Title: CS527: Advanced Topics in Software Engineering Software Testing and Analysis


1
CS527 Advanced Topics in Software
Engineering(Software Testing and Analysis)
  • Darko Marinov
  • September 13, 2007

2
Schedule
  • Sep 11 RANDOOP (testing)
  • Sep 13 Java PathFinder (model checking)
  • Sep 18 Adding generics (static analysis)
  • Sep 20 What would you like to discuss?
  • Sep 25 initial project proposals
  • Let me know what area you want to work on
  • Sep 25 onward your paper presentations

3
Report Submission
  • Due by lecture time, 2pm CST
  • Please follow these rules
  • Email Brett (bdaniel3) presenter
  • Put cs527 in the subject line
  • ASCII (no attachments, no HTML/PDF/DOC)
  • Brett will comment on your latest reports by next
    Tuesday, Sep 18

4
Report Policies
  • You can have two reports late
  • Submit them by the next class
  • You can omit two reports altogether
  • Please inform us if you plan to be late or omit a
    report
  • Other policies added to Syllabus on Wiki

5
Paper Today
  • Model Checking Programs by W. Visser, K.
    Havelund, G. Brat,S. Park and F. Lerda(J-ASE,
    vol. 10, no. 2, April 2003)
  • JPF web site
  • http//javapathfinder.sourceforge.net/
  • First open-source project from NASA
  • Slides courtesy of Willem Visser

6
Questions for Discussion (1)
  • When is model checking applicable?
  • What kind of bugs it can find?
  • How well does it scale?
  • What about memory requirements?
  • What about time requirements?
  • Why work with Java not C/C?
  • There are other model checkers for C/C

7
Questions for Discussion (2)
  • Whats recent work in this area?
  • Theres some work in my group
  • How do they compare states?
  • How good are heuristics?
  • How to use the tool in practice?
  • Hopefully the tutorial is helpful
  • You can download from SourceForge
  • Problem set based on some tool??
Write a Comment
User Comments (0)
About PowerShow.com