Software verification question

"jeng" <jeng@cc04.ccit.edu.tw>
18 Sep 1998 23:18:25 -0400

          From comp.compilers

Related articles
Software verification question jeng@cc04.ccit.edu.tw (jeng) (1998-09-18)
| List of all articles for this month |

From: "jeng" <jeng@cc04.ccit.edu.tw>
Newsgroups: comp.compilers
Date: 18 Sep 1998 23:18:25 -0400
Organization: Chung Cheng Institute of Technology, Taiwan
Keywords: practice, comment

Suppose we have a brand new chip which has no OS on it.
Suppose we also decide to develop all the system software by ourselves.
Suppose we also have finished the development of linker, loader, assembler
and compiler.
My question follows:


How can we verify individually that these system software are 100% correct?
Is there any good suggestion to solve this problem?


David
jeng@cc04.ccit.edu.tw
[The usual approach is to debug it under a simulator running on some other
computer. Particularly if the host computer has similar data formats to
your target, a simulator can be quite fast. This isn't a new technique --
in the early 1960s IBM debugged 360 software on simulators running on 7094s.
-John]
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.