CMPSCI 520/620

Homework #3

Assigned: December 8, 2004

Due: December 20, 2004

 

  1. Inspections, walkthroughs and code reading are forms of reviews.
    1. Distinguish among these three techniques in terms of focus, number and type of persons involved, formality, and any other characteristic you feel is pertinent.
    2. What are the primary advantages and disadvantages of reviews?
    3. What are the two most important features of an effective inspection? Why?

 

  1. Define or describe and discuss:
    1. Symbolic model checking vs. automata theoretic model checking
    2. Finite-State Verification vs. mathematical reasoning
    3. Conservative models

 

  1. Testing
    1. Discuss the difference between Òwhite-boxÓ and Òblack-boxÓ testing
    2. Discuss Òwhite-boxÓ and Òblack-boxÓ testing in the context of OOA&D
    3. For the coverage metrics:

á      distinguish Òall-pathsÓ and Òall-branchesÓ

á      distinguish Òall-usesÓ and Òall-du-pathsÓ    

    1. Briefly describe and contrast mutation analysis and the RELAY model as fault-based techniques
    2. How are oracles and scaffolding used in Unit testing? In integration testing?
    3. Big Bang, Top-Down, Bottom-Up, Threads and Critical Modules are integration testing strategies, which are applicable in ))A&D and why?
    4. What are the four primary issues in OOS testing? Why and what are some of the testing concerns?

 

  1. [620 Only] Using Little-JIL, describe your unit testing and integration testing processes. You should be sure to make use of such Little-JIL features as exception management and choice/try step kinds in your process programs. Include the Little-JIL specification as an Appendix to the report below. [Note: this is part of Project 3, but should be submitted individually as part of this homework]