DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 조정완 | - |
dc.contributor.author | 김동윤 | - |
dc.contributor.author | Kim, Dong-Yoon | - |
dc.date.accessioned | 2011-12-13T05:46:46Z | - |
dc.date.available | 2011-12-13T05:46:46Z | - |
dc.date.issued | 1976 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=61979&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33442 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1976, [ [ii], 45, [ii] p. ] | - |
dc.description.abstract | 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 과 예가 주어진다. | kor |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.title | Software 신뢰도의 향상에 관한 연구 | - |
dc.title.alternative | A study on the reliability improvement of software | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 61979/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000741008 | - |
dc.contributor.localauthor | 조정완 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.