CS 589 HW #3

Answer the following questions. Each answer should be about one paragraph long. Make sure your answers are in plain text and in a single ASCII file. Also, please include your name in the name of your homework file (e.g., "George Edwards - hw3.txt"). Mail your file to gedwards@usc.edu before the start of class (September 26, 2:00 PM).

1) According to Lutz, one area of future work in safety for software engineering is the automatic translation of informal notation into formal notation (e.g. translation of a UML diagram into a state-chart, or ADL). Give three reasons for, or against, this assertion.

2) Based on data obtained from Voyager and Galileo case-studies, describe the major cause of safety-related software errors. What are the ways to avoid it?

3) What are the stages of software testing for embedded systems? At which stage(s) can intrusive testing not be used and why?