The terms system, module, and transaction are abstract entities of a software system. A module may be interpreted as a machine instruction, high level language statement, subroutine, procedure, etc. A sequence of modules is executed for each transaction processed by the system. We define fault free system. Control faults manifest themselves as incorrect execution sequences. A model for software systems is presented which permits a system to be characterized by its set of allowable execution sequences. It is shown how a system can be structured so that every execution sequence affected by a control fault is obviously in error. We construct self detected system. And faults are detected by its check part. Algorithms and examples are presented for structuring a system so that all faults can be detected.
System, module, transaction 은 software system 의 주상 적인 개념이다. module 은 machine instruction, high level language statement, subroutine, procedure 등으로 생각할 수있다. Module 들은 transaction 의 과정을 지나고 있는 system 에 의해 execution 된다. fault free system 을 정의하면 control fault 는 incorrect execution sequence 를 유발하게된다. 허용되는 execution sequence 들의 집합으로 특성화된 system 을 허용하는 software system 의 module 이 주어진다. 이것은 어떻게 system 이 구성되고 그래서 control fault 에 의해 영향을 받은 execution sequence 가 error 가 되는지를 보여준다.
Self-detected system 을 만들어서 그것의 check part 에 의해 fault 가 detect 된다.
System 을 구조화 하고 fault 가 detect 되는 Algorithm 과 예가 주어진다.
