reading assignment 2 enumerative software model checking l.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Reading Assignment 2 Enumerative software model checking PowerPoint Presentation
Download Presentation
Reading Assignment 2 Enumerative software model checking

Loading in 2 Seconds...

play fullscreen
1 / 4

Reading Assignment 2 Enumerative software model checking - PowerPoint PPT Presentation


  • 139 Views
  • Uploaded on

Reading Assignment 2 Enumerative software model checking. Enumerative vs. Symbolic. Enumerative search is simple to implement a mechanism to execute a transition on a state a mechanism to backtrack the state in order to try a different transition akin to systematic testing

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Reading Assignment 2 Enumerative software model checking' - sandra_john


Download Now 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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
enumerative vs symbolic
Enumerative vs. Symbolic
  • Enumerative search is simple to implement
    • a mechanism to execute a transition on a state
    • a mechanism to backtrack the state in order to try a different transition
    • akin to systematic testing
  • Symbolic search is usually complicated
    • symbolic representation for transitions
    • symbolic representation for states
    • symbolic computation of pre, post, boolean operations
model vs code
Model vs. Code
  • Models
    • small and more amenable to analysis
    • but gap between model and code may lead to false errors or missed errors
    • abstraction gives good coverage and might reveal interesting behaviors
  • Code
    • large and complicated
    • usually no false errors
    • very difficult to achieve coverage