Computer Science 340
Exam 3 Review
Disclaimer: I have attempted to be comprehensive in the
following, but important items may have been omitted by mistake. If
you see such an omission, please let me know, but you are responsible
for all of the lecture material to date.
Second disclaimer: This is a draft and may be revised
(somewhat) after Tuesday's class.
The third hour exam will be held on Thursday, Dec. 2, and will
cover chapters 18 - 20 (Dependable Systems) together with
chapters 22 - 24 of the textbook.
- Software Reliability
- Be able to discuss how software reliability may be specified
- Be able to discuss the role of statistical testing
- Looking at problem 18.4 might be useful in your review
- Fault Avoidance/Tolerance
- Be able to describe some of the approaches that have arisen to help us write
software which has a better chance of fewer errors
- Be able to describe approaches to fault tolerance
- Software Reuse
- Be able to describe software reuse at all levels. What helps to make an ADT reusable?
What is the role of a 'wizard' (as in VC++, for example) in reuse (this was a comment
raised in class discussion that I thought was right on target). What other forms of
reuse do modern development environments support? In what ways does object oriented
programming support reuse?
- In your review, you might want to consider questions 20.1, 20.2, 20.3, and 20.4
- Verification and Validation
- Definitions (of course): Verification and validation
- What are the levels of testing? What documents do they reference? Who does
the testing? What approach is typical?
- What are the similarities/difference between defect and statistical testing?
- What are the various approaches to testing (testing strategies) and when might
they be useful?
- In your review, looking at the first five questions at the end of chapter 22 might be
useful
- Defect Testing
- What are the differences between black-box and white-box testing? Which is structural
and which functional, and why?
- What is the approach to interfact testing?
- In your review, it might be useful to look at problems 23.1 - 23.4 and 23.8.
- Static Verification
- Explain how static verification can proceed
- Explain what static analysis tools are and how they might be useful
- In your review, you might want to consider problems 24.1 - 24.4, and 24.6.