DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Cha, Sung-Deok | - |
dc.contributor.advisor | 차성덕 | - |
dc.contributor.author | Kim, Soon-Deok | - |
dc.contributor.author | 김순덕 | - |
dc.date.accessioned | 2011-12-13T06:03:57Z | - |
dc.date.available | 2011-12-13T06:03:57Z | - |
dc.date.issued | 2004 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=238501&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34592 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2004.2, [ vii, 41 p. ] | - |
dc.description.abstract | Software testing is an important activity for assuring the software quality. Since software testing is known to account for approximately 50 percent of the development cost, how to reduce its cost and improve its quality has always been a challenge to the software engineers. Function Block Diagram is widely used in industries, i.e. traffic controls, chemical processing plants, and nuclear power plants, to solve the real-time safety critical problems. However it is known to there is no systematic testing technique on Function Block Diagram. This thesis presents the testing technique on Function Block Diagram. This thesis proposes Function-based coverage and Function Block-based coverage. Function-based coverage considers only a cycle of Function Block Diagram because it has same behavior during the cycle for using only Function of Function Block Diagram. Function-based coverage is not enough to test timing aspect of systems. So in this case, Function Block-based coverage is needed for several cycles. And this thesis presents the experimental results that show the performance advantages in terms of fault detection ability using a partial part of Korean nuclear power plant RPS(Reactor Protection System) example. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | FUNCTION BLOCK DIAGRAM | - |
dc.subject | 테스팅 | - |
dc.subject | TESTING | - |
dc.title | (A) testing technique on function block diagram | - |
dc.title.alternative | Function block diagram의 테스팅 기법 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 238501/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 020023104 | - |
dc.contributor.localauthor | Cha, Sung-Deok | - |
dc.contributor.localauthor | 차성덕 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.