Software 신뢰도의 향상에 관한 연구 = A study on the reliability improvement of software

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 224
  • Download : 0
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 과 예가 주어진다.
Advisors
조정완
Description
한국과학기술원 : 전산학과,
Publisher
한국과학기술원
Issue Date
1976
Identifier
61979/325007 / 000741008
Language
kor
Description

학위논문(석사) - 한국과학기술원 : 전산학과, 1976, [ [ii], 45, [ii] p. ]

URI
http://hdl.handle.net/10203/33442
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=61979&flag=dissertation
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0