$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

[국내논문] 설계명세서를 이용한 안전등급 PLC 운영체제 컴포넌트 시험방법
Component Testing Methodology of Operating System for Safety-Grade Programmable Logic Controller with Design Specification 원문보기

한국정보과학회 06 한국컴퓨터종합학술대회 논문집C, 2006 June, 2006년, pp.220 - 222  

이영준 (한국원자력 연구소) ,  성아영 (이화여대) ,  최병주 (이화여대) ,  손한성 ((주)에네시스)

초록
AI-Helper 아이콘AI-Helper

본 논문은 안전등급 제어기기(Safety-Grade Programmable Logic Controller)에서 사용하는 프로세서모듈 운영체제에 대한 컴포넌트 시험에 대해 기술한다. 디지털 소프트웨어에 대한 NRC(Nuclear Regulatory Commission)의 지침에 따라 운영체제는 소프트웨어 생명주기에 따라 개발되고 있으며 요구사항과 설계명세, 그리고 구현코드를 가지고 다양한 시험을 수행하고 있다. 컴포넌트 시험은 구현된 코드가 테스트 커버리지를 만족하는 지 파악하는 시험이다. 이를 위해 설계명세서를 참조하여 시험대상을 구분하고 각각의 시험대상에 대한 시험항목을 세분화한 이후 시험방법과 절차, 그리고 시험환경을 구축한 후 컴포넌트 시험을 수행한다.

AI 본문요약
AI-Helper 아이콘 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

문제 정의

  • POSAFE-Q 프로세서모듈 운영체제의 커널을 시험하기 위해서는 설계 명세서에 기술된 커널의 기능이 정확히 수행되는지 확인한다. [그림 2]과 같이 개발 산출물로부터 커널의 기능을 파악하고 각 기능을 시험하기 위한 시험 사례인 입력과 출력을 정의한다.
  • 본 논문은 POSAFE-Q 프로세서모듈 운영체제의 컴포넌트 시험에 대해 기술한다. 컴포넌트 시험을 위한 시험대상 분류방법과 절차, 그리고 시험환경에 대해서 기술한다
  • [그림 2]과 같이 개발 산출물로부터 커널의 기능을 파악하고 각 기능을 시험하기 위한 시험 사례인 입력과 출력을 정의한다. 커널의 기능 및 시험 사례를 설계한 후에 실제 운영체제를 동작시키면서 명시된 기 능이 만족되는지를 확인한다.
본문요약 정보가 도움이 되었나요?

관련 콘텐츠

이 논문과 함께 이용한 콘텐츠

저작권 관리 안내
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로