home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.software-eng
- Path: sparky!uunet!cs.utexas.edu!milano!cactus.org!wiley
- From: wiley@cactus.org (Mark S. Wiley)
- Subject: Re: Testing Complex Systems
- Message-ID: <1992Aug31.222254.19432@cactus.org>
- Organization: Capital Area Central Texas UNIX Society, Austin, Tx
- References: <1992Aug31.135414.5265@linus.mitre.org>
- Date: Mon, 31 Aug 1992 22:22:54 GMT
- Lines: 35
-
- In article <1992Aug31.135414.5265@linus.mitre.org> troyer@mitre.org (Tom Royer) writes:
- >Given a real-time, embedded, distributed, asynchronous (and all those other
- >adjectives that imply complex and difficult) system, how does one go about
- >testing the resulting software product to make sure that it really works?
-
- Unfortunately, you cannot use testing to make sure the system works, you
- can only prove that it processes the test data correctly when the system
- is in a particular state. This will most likely expose some problems in
- the system, which can then be fixed, but you still havn't proved the
- system works.
-
- >
- >Functional requirements testing is, of course, necessary, but probing the
- >system for the presence (or absence) of race conditions, deadlocks and other
- >timing related problems is much, much more.
-
- Your best bet is to spend enough time reviewing the system requirements,
- design, and code. For best results, each review should be help as a
- particular stage completes, and all outstanding questions should be
- resolved before the next stage of the system development begins.
- >
- >Is it possible to establish a general approach (algorithm?) to testing
- >such a system?
- >
- >If you had to teach novice software engineers how to test such a system,
- >what would you tell them?
- >
- >--
- >Tom Royer
- >
-
-
- --
- Mark S. Wiley
- mark.wiley@cactus.org
-