1 / 7

CS527: Advanced Topics in Software Engineering (Software Testing and Analysis)

CS527: Advanced Topics in Software Engineering (Software Testing and Analysis). Darko Marinov September 16, 2007. Recent Schedule. Sep 9: Testing refactoring engines Sep 11: Static analysis TODAY: Sep 16: Model checking Sep 18: Test Prioritization Sep 23&25: More on testing

jorden-bowen
Download Presentation

CS527: Advanced Topics in Software Engineering (Software Testing and Analysis)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CS527: Advanced Topics in Software Engineering(Software Testing and Analysis) Darko Marinov September 16, 2007

  2. Recent Schedule • Sep 9: Testing refactoring engines • Sep 11: Static analysis • TODAY: Sep 16: Model checking • Sep 18: Test Prioritization • Sep 23&25: More on testing • Let me know if you have some preferred topic • Your initial project idea will be due on Sep 25 • Proposal will be due the week after

  3. Problems with Emails • CITES email had some problems today • You can submit reports for today’s paper until 2pm this Thursday, Sep 18 • Please submit from your Illinois address (when possible) • Please don’t use non-ASCII characters

  4. 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

  5. Questions for Discussion (1) • Which part of JPF can be incorrect? [ST] • Can a compiler be model checked? [YL] • How difficult is it to set environments? [PP] • What to check in sequential programs (some examples are multi-threaded)? • What about checking design not code? • Comparison of testing, model checking, and static analysis

  6. Questions for Discussion (2) • 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++? • How can I apply this on my code?

  7. Questions for Discussion (3) • What’s recent work in this area? • There’s some work in my group if interested • 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???

More Related