• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.197-199
• /
• 2011

테스팅은 테스트 요구사항을 기반으로 수행하기 때문에 테스트 요구사항의 품질은 테스팅 전체 과정의 품질과 직결된다고 할 수 있다. 그러나 테스트 요구사항에서 고려해야 할 점들은 시스템의 도메인과 목적에 따라 다르기 때문에 양질의 테스트 요구사항이라고 판별할 수 있는 기준을 정하는 것은 어려운 일이다. 본 연구에서는 테스트 케이스와 고장 수목의 최소 절단집합을 각각 정형모델로 변환하여 모델체킹을 함으로써, 테스트 요구사항의 안전성을 측정하는 방법을 제시한다. 테스트 요구사항이 반영된 테스트 케이스는 모델체킹의 대상이 되는 정형모델로 변환하였으며, 고장수목의 최소 절단집합은 CTL 검증 속성으로 변환하여 테스트 케이스에서 생성된 정형모델이 안전성을 만족하는지 만족하는지 모델체킹을 적용하여 확인하였다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2021.11a
• /
• pp.81-82
• /
• 2021

선박은 건조 후 선주에게 인도되기 전에 해상시운전을 하게 된다. 해상 시운전은 통상 안벽에서 수행 가능한 기기류를 테스트 한 후 해상에서 실시하는 것으로 메인 엔진의 출력, 발전기를 포함한 각종 보조기계의 작동상태, 선박의 조종성능과 속력 테스트, 항해 통신장비 테스트, 양묘기테스트 등이 있으며 이외에 선종에 따른 추가 테스트 또는 선주에 의하여 요구하는 특별한 테스트를 하기도 한다. 본 연구는 해상 시운전의 주요 테스트 내용 중 선박조종성능에 관하여 분석하고, 실제 선박을 운항하는 항해사에게 필요한 주요 정보를 식별하고자 하는 기초연구로 진행되었다.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.2223-2231
• /
• 2010

Recently, an important physical device of transportation, such as car, railroad, ship and aircraft has changed into electronic control unit. According to accident reports, the most of car accidents are caused by faults of embedded software loaded to computer control unit. The facts implies that the test to find defects in embedded software haven't performed sufficiently. As a result, it is necessary to establish the test procedures of embedded software based on safety assessment criteria. The objective of this proposal is to provide a unit test procedure complied with the safety assessment criteria for the embedded software. In addition, an effective unit testing procedure and defect analysis methods are proposed and a testing procedure using a safety criteria built-in tool is presented.

• Product Safety
• /
• s.59
• /
• pp.70-75
• /
• 1997

석유팬히터를 사용하는 가정이 많아졌다. 연료비가 적게 들어 소비자들이 많이 찾는 상품인 석유팬히터는 올해에도 가전업체마다 새롭고 편리한 기능을 채택한 다양한 종류의 제품을 선보이고 있다. 어느 회사 제품이 좋은지, 5개 회사 제품을 구입해 품질을 테스트했다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.05a
• /
• pp.292-294
• /
• 2020

원자력 발전소의 계측제어시스템에 디지털 관련 기술이 적용되면서 사이버보안 위협이 증가하였고, 이에 따라 사이버보안 위협의 대응은 중요한 현안이 되었다. 하지만, 실제 운영중인 원자력 발전소에 침투 시험은 불가능하기 때문에 테스트베드를 구축 및 활용하여 사이버보안 위협을 분석해야 한다. 계측제어시스템의 비안전계통은 디지털 기반의 제어기기와 통신망이 사용되기 때문에 안전계통보다 많은 사이버보안 취약점이 존재한다. 본 연구에서는 비안전계통인 다양성보호계통을 위한 테스트베드의 구성과 취약점 확인을 위한 공격, 그리고 대처 방안에 대해 논의한다.

• Nuclear industry
• /
• v.35 no.7
• /
• pp.12-18
• /
• 2015

원자력안전위원회는 9월 24일 제45차 회의에서 월성 원전 1호기와 고리 원전 1호기를 대상으로 추진해온 스트레스 테스트를 마무리하고 국내 가동 중인 전체 원전으로 확대하여 극한 자연 재해에 대한 원전의 안전성을 확인하기 위한 "가동 원전 스트레스 테스트 추진 계획"을 확정하였다. 최근 7월 24일 상업 운전을 시작한 신월성 원전 2호기까지 포함하여 원자로 기준으로 총 22개 원전이 내년부터 시작될 스트레스 테스트의 대상이 된다.

• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.911-920
• /
• 2009

Airbone software must comply the DO-178B standard in order to be certified by the FAA. The standard requires the unit testing of safety-critical software to meet the coverage criterion called MC/DC(Modified Condition/Decision Coverage). Although MC/DC is known to be effective in finding errors related to safety, it is also true that generating test cases which satisfy the MC/DC criterion is not easy. This paper presents a tool named MD-SAT which generates MC/DC test cases with SAT(SATisfiability) technology. It can be employed for generating diverse test cases in tools implementing various testing techniques including decision table based test, cause-effect graphing, and state-based test.

• Product Safety
• /
• s.48
• /
• pp.98-99
• /
• 1996

• Product Safety
• /
• s.45
• /
• pp.38-39
• /
• 1996

• Product Safety
• /
• s.51
• /
• pp.98-99
• /
• 1996