http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
RT-Selection : 텍스트 차이점과 변경 영향 분석을 이용한 회귀 테스트 선택 기법
김의섭(Eui-Sub Kim),이동아(Dong-Ah Lee),유준범(Junbeom Yoo) 한국정보과학회 2014 정보과학회논문지 : 소프트웨어 및 응용 Vol.41 No.6
회귀 테스팅은 소프트웨어의 변경이 기존 기능에 피해를 주지 않았다는 신뢰를 제공하기 위해 수행하는 테스팅 활동이다. 가장 간단하고 기본적인 방법은 기존의 모든 테스트 케이스를 이용해 다시 테스팅을 수행하는 것이지만 이 방법은 많은 시간과 비용을 필요로 한다. 회기 테스팅 중 회귀 테스트 선택(Regression test selection) 방법은 기존 테스트 케이스 중 변경을 테스트할 수 있는 테스트 케이스만을 선택하여 다시 수행하는 방법이다. 다시 수행하는 테스트 케이스의 수를 줄임으로써 비용 절감 효과를 얻을 수 있다. 본 논문은 회귀 테스트 선택의 효과적인 수행을 지원하는 기법으로 RT-Selection을 제안한다. RT-Selection은 두 가지 접근법으로 구성되어 있다. 첫째, 변경을 식별하기 위해 텍스트 차이점을 사용한다. 둘째, 테스트 케이스에 의해 실행되는 소프트웨어의 부분을 식별하기 위해 변경 영향 분석을 사용한다. 본 논문은 RT-Selection의 모든 과정과 이를 지원하는 가이드라인, 추론 규칙을 보여 주고, RT-Selection을 이용해 수행한 케이스 스터디를 보여준다. Regression testing is a testing activity that is performed to provide confidence that changes do not harm. One of simple and basic regression testing techniques is retest-all, however, it requires a lot of time and cost. The regression test selection technique identifies changes and selects a subset of previous test cases to retest the changed software. The technique reduces the number of test cases, so that it is able to reduce the time and cost for the regression testing. This paper proposes the RT-Selection that effectively performs the regression test selection. This technique consists of two approaches. First, it uses text differencing to fine the changes. Second, it uses change impact analysis to fine the software riffle that is a trace of test case in the software. This paper shows the overall process of RT-Selection and guidelines and inference rule and then it shows the case study with RT-Selection to show the feasibility of RT-Selection.
FBDtoVerilog 변환기의 Correctness 를 검중하기 위한 자동화된 시나리오 생성기 구현
김의섭 ( Eui-sub Kim ),이동아 ( Dong-ah Lee ),유준범 ( Junbeom Yoo ) 한국정보처리학회 2014 한국정보처리학회 학술대회논문집 Vol.21 No.1
본 논문은 FBDtoVerilog 변환기의 correctness 검증을 지원하는 시나리오 생성기에 대해 소개한다. 현재 원자력 발전소의 제어기는 PLC 를 이용하여 개발되고 있지만, 최근 FPGA 를 이용한 제어기 개발의 필요성이 증가하고 있다. 우리는 이를 지원하기 위해 PLC 개발에 사용되는 언어인 FBD를 FPGA 에 사용되는 언어인 Verilog 로 자동 변환하는 변환기 FBDtoVerilog를 개발 하였다. 하지만 원자력 발전소와 같은 안전 필수 시스템은 철저하고 엄격한 검증 과정이 필수 이기 때문에,우리는 FBDtoVerilog를 검증할 수 있는 Co-Simulation 환경을 구축하여 검증할 계획을 가지고 있다. Co-Simulation 환경을 위한 첫 번째 단계로 자동화된 시나리오 생성기를 개발 하였다. 개발된 시나리오 생성기는 도메인 특징을 반영한 시나리오를 생성할 수 있고, 무한한 개수의 시나리오를 자동으로 생성할 수 있는 장점을 가지고 있다.
FBDtoVHDL: FPGA 개발을 위한 FBD에서 VHDL로의 자동 변환
김재엽(Jaeyeob Kim),김의섭(Eui-Sub Kim),유준범(Junbeom Yoo),이영준(Young Jun Lee),최종균(Jong-Gyun Choi) Korean Institute of Information Scientists and Eng 2016 정보과학회논문지 Vol.43 No.5
The PLC (Programmable Logic Controller) has been widely used for the development of digital control system of nuclear power plant. The PLC has high maintenance costs and increasing complexity, hence, FPGA (Field Programmable Gate Array) based digital control system has been considered as an alternative. However, the development of FPGA based digital control system is a challenge for PLC engineers because they are required to learn about new language to develop FPGA and knowledge and know-how acquired in the development of PLC is not transferable. In this study, we proposed and implemented an automatic translation tool for translation of FBD (Function Block Diagram), a programming language of PLC software, into VHDL (VHSIC Hardware Description Language). Automatically translating the FBD to VHDL using this tool allows PLC engineers to develop FPGA without any knowledge of the hardware description language.
가상물리시스템의 산출물간 통합 관계분석을 위한 추적성 분석
정세진(Sejin Jung),김의섭(Eui-Sub Kim),유준범(Junbeom Yoo) Korean Institute of Information Scientists and Eng 2021 정보과학회논문지 Vol.48 No.1
A cyber-physical system (CPS), that is to be used a safety important system, needs to analyze the traceability of development artifacts. The traceability analysis of the CPS should be performed integrating development artifacts and safety/hazard analysis elements because CPS has several features such as heterogeneity, dynamic reconfiguration, and interoperability. However, there is a limitation in terms of expressing all traceability relationships by identically connecting and analyzing the traceability between development artifacts and safety analysis elements. This paper proposes an analysis method and relationships of traceability for CPS. The proposed method uses an abstract model for development artifacts and safety analysis elements that are defined in this paper. The traceability relationships define the relations between elements of the model. The proposed method makes it possible to analyze integrated relationships from development artifacts and safety/hazard analysis elements. The case study shows integrated relationships according to each element of several artifacts.