http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
오늘 본 자료
pSET 저장형식의 표준화를 위한 변환도구 개발 : pSET2TC6
이동아(Dong-Ah Lee),유준범(Junbeom Yoo) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.2B
KNICS 프로젝트의 일부로 개발된 pSET (POSAFE-Q Software Engineering Tool) 은 POSAFE-Q PLC(POSAFE-Q Programmable Logic Controller) 프로그램 개발을 위한 소프트웨어 도구이다. pSET을 이용해 개발된 프로그램은 자체 저장 형식인'ld'를 확장자로 가지는 파일로 저장된다. 개발된 프로그램을 검증하기 위하여 Model Checking과 같은 정형검증기법을 적용하려고 할 때 자체 저장 형식인'*.ld'는 표준화된 저장형식이 아니기 때문에 다른 도구의 입력으로 사용하기에는 부적합한 특징을 가지고 있다. 본 논문에서는 기존에 개발된 PLCVerifier의 내부 모듈인 pSET의 저장 형식을 PLCopen기반의 XML 파일로 변환하는 모듈을 독립화 및 개선화하여 새로운 도구 pSET2TC6을 개발한 내용을 소개한다. 또한 작성되는 프로그램의 특징과 연계 프로그램들과의 호환성에 대하여 설명한다.
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.
서붕교(Seo, Boong-Kyo),이동아(Lee, Dong-Ah) 대한건축학회 2016 대한건축학회 학술발표대회 논문집 Vol.36 No.2
Our society is changing rapidly. Advancement and development of new technologies began to pursue a de-nationalism that excludes the emotional nationalism. As a result of globalization transcends the physical distance between man and man or people and things emerged, and human life is not an issue no longer it appears on their national or ethnic affiliation of space. To create a space that has variety and possibilities in a multicultural society based on the national ride Can any architectural proposal?