최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기한국전자통신학회 논문지 = The Journal of the Korea Institute of Electronic Communication Sciences, v.10 no.4, 2015년, pp.513 - 519
김철환 (광운대학교 일반대학원 제어계측공학과) , 이창룡 (광운대학교 일반대학원 제어계측공학과) , 이재호 (광운대학교 일반대학원 제어계측공학과) , 김재식 (광운대학교 일반대학원 제어계측공학과) , 이기서 (광운대학교 로봇학부)
Static analysis is one of the software source code analysis tools. 9 static analysis methods of three groups are recommended by international electro-technical commission about software safety related standard in IEC 62279. In this paper we choose the proper static analysis method from IEC 62279 abo...
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
동적분석은 어떤 방법인가? | 이중에서 공통으로 들어가는 부분은 정적분석과 동적분석방식이다[9]. 정적분석은 소스코드를 실행하지 않고 분석하는 방법인 반면에 동적분석은 소스코드를 실행하여분석하는 방법이다. 때문에 정적분석은 동적분석보다 효율적인 부분이 존재한다. | |
소프트웨어 정적분석의 9가지 방법은 무엇인가? | 소프트웨어 정적분석은 9가지 방법으로 나뉘게 된다. 9가지 방법은 그림 2와 같이 Boundary Value Analysis, Checklist, Control Flow analysis, Data Flow Analysis, Error Guessing, Fagan Inspections, Sneak Circiut Analysis, Symbolic Execution, Walkthroughs/Design Reviews 등 방법을 권고한다[9]. | |
전동차운행을 제어하는 장치는 어떻게 구분되는가? | 도시철도의 운행에 있어서 전동차운행을 제어하는 장치는 크게 구분 해 보면, 먼저 중앙사령실과 각 역에 설치 되어 있는 “지상 장치(Wayside System)”와 이동중인 각 전동차에 설치 되어있는 차상장치(Carbone System)로 구분이 된다. |
S. Kim, S. Park, and J. Park, "Development of the Winch Control System for Floating Island and Statistics Analysis for Data," J. of the Korea Institute of Electronic Communication Sciences, vol. 7, no. 2, 2014, pp. 309-315.
K. Lee, C. Li, S. Oh, H. Jung, and D. Yang, "Development of a Hybrid Track Circuit," World Congress Railway Research 2013, Sydney, Australia, Dec. 2013.
N. G. Leveson, "Software Safety : Why, What, and How," ACM Comput. Surv., vol. 18, no. 2, 1986, pp. 125-163.
International Electrotechnical Commission, IEC 62278, Railway applications - Commnication, signalling and processing systems, Geneva : 2007.
International Electrotechnical Commission, IEC 62279, Railway applications-Software for railway control and protection systems, Geneva : 2002.
G. J. Myers, C. Sandler and T. Badgett, The art of software testing. Hoboken : John Wiley & Sons, 2011.
Motor Industry Software Reliability Association : MISRA-C Coding Standard, MISRA(Motor Industry Software Reliability Association), Nuneaton : 2004.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
Free Access. 출판사/학술단체 등이 허락한 무료 공개 사이트를 통해 자유로운 이용이 가능한 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.