서지주요정보
Software 신뢰도의 향상에 관한 연구 = A study on the reliability improvement of software
서명 / 저자 Software 신뢰도의 향상에 관한 연구 = A study on the reliability improvement of software / 김동윤.
저자명 김동윤 ; Kim, Dong-Yoon
발행사항 [서울 : 한국과학기술원, 1976].
Online Access 제한공개(로그인 후 원문보기 가능)원문

소장정보

등록번호

4000153

소장위치/청구기호

학술문화관(문화관) 보존서고

MCS 7601

SMS전송

도서상태

이용가능

대출가능

반납예정일

초록정보

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 과 예가 주어진다.

서지기타정보

서지기타정보
청구기호 {MCS 7601
형태사항 [ii], 45, [ii] p. : 삽도 ; 27 cm
언어 한국어
일반주기 저자명의 영문표기 : Dong-Yoon Kim
지도교수의 한글표기 : 조정완
학위논문 학위논문(석사) - 한국과학기술원 : 전산학과,
서지주기 참고문헌 수록
주제 Reliability (Engineering)
Fault-tolerant computing.
소프트웨어 공학. --과학기술용어시소러스
고장 허용. --과학기술용어시소러스
신뢰성. --과학기술용어시소러스
Software engineering.
QR CODE qr code