http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
성아영(Ahyoung Sung),조나경(Nakyung Cho),석문주(Moonjoo Soek),최병주(Byoungju Choi) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.2
시간과 관련된 테스트는 임베디드 소프트웨어뿐 아니라 전체 임베디드 시스템의 신뢰도에도 큰 영향을 미치기 때문에, 시간과 관련된 임베디드 소프트웨어 테스트는 필수적이다. 임베디드 소프트웨어는 실시간 운영체제와 대상 하드웨어와 유기적으로 연관되어 있어 테스트가 일반 패키지 소프트웨어에 비해 용이하지 않다. 본 논문에서는 시간과 관련된 임베디드 소프트웨어 테스트를 위해 필요한 항목들을 분석하였으며, 사례 수행을 통한 실험 결과를 제시한다.
소프트웨어 관점에서 본 내장형 시스템의 테스트 프로세스
성아영(Ahyoung Sung),최병주(Byoungju Choi),최진영(Jinyoung Choi),이나영(Nayoung Lee),이장수(Jangsoo Lee) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.2Ⅱ
내장형 시스템의 기능이 복잡해지면서, 내장형 소프트웨어에 대한 테스팅이 중요하게 인식되고 있다. 특히 원자력 발전소 계통 기기와 같이 안전에 대한 치명도가 높은 Safety-Critical Embedded System일수록 탑재되는 내장형 소프트웨어에 대한 철저한 테스팅이 요구되기 때문에 본 논문에서는 대상 시스템에 탑재되는 소프트웨어 테스트를 중심으로 하여 Safety-Critical Embedded System을 위한 테스트 프로세스 및 이에 필요한 테스팅 기법을 제안한다.
내장형 시스템의 상호작용 오류 감지를 위한 테스트 데이타 선정 기법
성아영(Ahyoung Sung),최병주(Byoungju Choi) 한국정보과학회 2003 정보과학회논문지 : 소프트웨어 및 응용 Vol.30 No.11·12
하드웨어와 소프트웨어가 조합된 내장형 시스템이 복잡해지면서, 내장형 시스템에 탑재되는 내장형 소프트웨어 테스트가 중요하게 인식되고 있다. 특히 원자력 발전소와 같이 안전 등급이 높은 시스템에 들어가는 소프트웨어 테스트는 필수적이다. 내장형 시스템 테스트의 경우 하드웨어와 소프트웨어의 상호작용에 의해 발생하는 오류를 발견하기 위한 효과적인 테스트 기법이 필요하다. 본 논문에서는, 하드웨어와 소프트웨어 사이의 상호작용에 의해 생성되는 오류를 발견하기 위하여, 오류 삽입 기법을 이용한 테스트 데이타 선정 기법을 제안하고, 이 기법을 Digital Plant Protection System에 적용하였으며, 실험을 통해 제안한 기법의 우수성을 분석한다. As an Embedded system combining hardware and software gets more complicated, the importance of the embedded software test increases. Especially. it is mandatory to test the embedded software in the system which has high safety level. In embedded system, it is necessary to develop a test technique to detect faults in interaction between hardware and software. In this paper, we propose a test data selection technique using a fault injection technique for the faults in interaction between hardware and software in embedded system and we apply our technique to the Digital Plant Protection System and analyze effectiveness of the proposed technique through experiments.
성아영(Ahyoung Sung),최병주(Byoungju Choi),이나영(Nayoung Lee),황일순(Ilsoon Hwang) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.1A
원전보호계통(RPS: Reactor Protection System)은 사고 시 치명적 피해를 입을 수 있다는 점에서 안전에 대한 중요도가 가장 높은 Sefety 1E class로 분류되며, 이러한 보호계통을 디지털라이즈 하는데 있어서 높은 신뢰도에 대한 보장이 필요하다. 따라서 본 논문에서는 DPPS(Digital Plant Protection System) 내에서 작동하는 내장형 소프트웨어에 높은 신뢰성을 보장하기 위한 테스팅 방법론을 제시하고자 한다. DPPS에서 작동하는 내장형 소프트웨어를 테스트 하기 위한 방법은 크게 두 가지로 나누어진다. 첫번째 단계는 절차중심의 프로그램에서 객체를 추출하고 이를 이용하여 클래스를 추출하는 재공학의 단계이다. 두 번째 단계는 이러한 클래스들을 이용하여 레벨별 테스팅을 수행하기 위한 테스트 아이템을 추출하고, 추출된 테스트 아이템을 이용하여 테스트 케이스를 선정하는 단계이다. 이렇게 각 레벨별로 선정된 테스트 케이스를 이용하여 단위 테스팅, 통합 테스팅, 시스템 테스팅 이렇게 3단계의 레벨별 테스팅을 수행한다.
실시간 운영체제와 PLC 어플리케이션의 통합 테스트를 위한 테스트 드라이버 생성 방안
장진아(Jina Jang),성아영(Ahyoung Sung),최병주(Byoungju Choi) 한국정보과학회 2006 한국정보과학회 학술발표논문집 Vol.33 No.2C
PLC 프로세서 모듈의 시스템 태스크는 RTOS 커널 및 PLC 어플리케이션과 유기적으로 연관되어 있기 때문에 단독으로 테스트 할 수 없고, 어플리케이션을 테스트 드라이버로 활용해야 한다. 본 논문에서는 RTOS와 PLC 어플리케이션의 통합 테스트 단계에서, 시스템 태스크를 테스트 하기 위한 테스트 드라이버를 생성하는 방안을 기술하고, 이를 원자력 발전소의 PLC 프로세서 모듈에 적용한 실험 결과를 기술한다.
최현미(Hyunmi Choi),성아영(Ahyoung Sung),최병주(Byoungju Choi),김재웅(Jaewoong Kim) 한국정보과학회 2005 정보과학회논문지 : 소프트웨어 및 응용 Vol.32 No.12
임베디드 소프트웨어는 대상 프로세서에 내장되어 특정 기능을 수행하기 위한 소프트웨어로, 한번 탑재되면 수정하는 것이 쉽지 않기 때문에 임베디드 소프트웨어의 기능에 대한 평가는 중요하다. 임베디드 소프트웨어는 탑재할 대상 플랫폼 및 정의된 기능 요구사항에 맞게 구성되고 맞춤하여 개발되므로 그 종류가 매우 다양하고, 임베디드 소프트웨어를 구성하는 여러 요소들이 매우 밀접하게 연결되어 있기 때문에 이를 평가한다는 것은 쉽지 않다. 본 논문에서는 이러한 임베디드 소프트웨어의 특성을 반영한 평가 모델을 제안하고 실제 임베디드 소프트웨어에 본 평가 모델을 적용한 결과를 기술한다. Embedded software is mounted on the target processor for controlling its dedicated functions. To evaluate functions of embedded software is important because it is intricate to modify embedded software once embedded. However, it is difficult to evaluate embedded software because it varies in kinds, which is customized into each target platform and functional requirements, and all the elements within are tightly coupled. In this paper, we propose the evaluation model reflecting these unique features of embedded software. We present the results of the case studies by applying the proposed model to practical embedded software.
Function Block Diagram을 이용한 PLC 입출력 장치 테스트 방안
장승연(Seung-yeun Jnag),최병주(Byoungju Choi),성아영(Ahyoung Sung) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.1
PLC는 실시간 운영체제와 어플리케이션을 이용하여 하드웨어 장치들을 관리하고 제어한다. 하지만 하드웨어 장치를 관리하는 핵심인 실시간 운영체제가 블랙박스화 된 경우 어플리케이션 만을 이용 한 입출력 장치의 테스트 방안이 고려되어야 한다. 본 논문에서는, PLC의 어플리케이션 프로그램인 FBD를 이용한 입출력 장치의 테스트 방안과 원자력 발전소 PLC에 적용한 사례에 대해 기술 한다.