http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김택수(Taeksu Kim),박상현(Sanghyun Park),이병정(Byungjeong Lee),김희천(Heechern Kim),우치수(Chisu Wu) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.2
웹 응용 개발 과정에서 페이지와 항해를 모델링하기 위해 설계 단계에서 항해 모델을 사용한다. 하지만 페이지와 항해의 수가 증가함에 따라 모델의 구조는 복잡해지고 검증이 어려워진다. 본 연구에서는 항해 모델의 검증을 위해 항해 규칙을 정의하고 항해 규칙을 이용한 항해 모델 검증 방법을 제시한다. 또한 사례 연구를 통하여 항해 모델 검증의 예를 보인다.
Taeksu Kim(김택수),Chanjoo Rhu(유찬주),Dongsuk Kim(김동석),Seokjin Noh(노석진) 환경독성보건학회 2021 한국독성학회 심포지움 및 학술발표회 Vol.2021 No.5
Microplastics (MPs) exist in various environmental media such as soil, atmosphere and marine. Recently, some studies reported that they will be affect the ecosystem as well as human health depending on their composition, size and shape. So far, many studies focused on MPs pollution in the marine environment, whereas it has been reported that much of marine MPs are transmitted from terrestrial environment. Therefore, it is important to understand and monitor MPs pollution in terrestrial environments such as soil, atmosphere, and water. However, there are no optimized quantitative analysis technology considering various environment and standardized method of MPs. In this study, thermal analysis is investigated using different analytical techniques for quali- and quantitative analysis of MPs such as TGA-FTIR, Py-GC-MS and TED-GC-MS. Thermal analysis are optimized using reference material such as HDPE, PS. Qualitative analysis was possible with temperature-based IR spectrum because of different thermal decomposition temperature. The results of experiments show that TGA-FTIR, Py-GC-MS and TED-GC-MS can be used to identify and quantify HDPE and PS. There are no differences of thermal decomposition behaviors by various size of MPs (1~20㎛, 20~100㎛, 100~500㎛). In addition, mixture of HDPE and PS could be analyzed simultaneously and degradation temperature is shifted.
CUTIG : 정적 분석을 이용한 C언어 단위 테스트 데이타 추출 자동화 도구
김택수(Taeksu Kim),박복남(Boknam Park),이춘우(Chunwoo Lee),김기문(Kimoon Kim),서윤주(Yunju Seo),우치수(Chisu Wu) 한국정보과학회 2009 정보과학회논문지 : 소프트웨어 및 응용 Vol.36 No.1
As unit testing should be performed repeatedly and continuously, it is a high-cost software development activity. Although there are many studies on unit test automation, there are less studies on automated test case generation which are worthy of note. In this paper, we discuss a study on automated test data generation from source codes and indicate algorithms for each stage. We also show some issues of test data generation and introduce an automated test data generating tool: CUTIG. As CUTIG generates test data not from require specifications but from source codes, software developers could generate test data when specifications are insufficient or discord with real implementation. Moreover we hope that the tool could help software developers to reduce cost for test data preparation. 단위 시험은 지속적이고 반복적으로 수행되어야 하기 때문에 높은 비용을 필요로 하는 작업이다. 단위 시험의 자동화에 대한 많은 연구가 있었으나 테스트 데이타의 자동 추출에 대한 연구는 큰 성과를 이루지 못하고 있다. 본 연구에서는 소프트웨어의 소스 코드로부터 테스트 데이타를 자동으로 추출하는 방안에 대해 논의하고 각 단계의 알고리즘을 제시하였다. 또한 테스트 데이타 추출 자동화에 관한 이슈를 소개하고 테스트 데이타 추출 자동화 도구 CUTIG를 소개한다. CUTIG는 실제 소스코드를 이용하여 테스트 데이타를 추출하므로 소프트웨어의 요구사항 명세가 잘 작성되어 있지 않거나 실제 구현과 차이가 있는 경우에도 테스트 데이타를 생성할 수 있다. 또한 이 도구를 통해 개발자가 직접 테스트 데이타를 작성하는 데 소요되는 비용을 절감할 수 있기를 기대한다.
기호실행을 이용한 C 언어 단위테스트 케이스 자동 생성기의 구현
서윤주 ( Yunju Seo ),김택수 ( Taeksu Kim ),이춘우 ( Chunwoo Lee ),김기문 ( Kimun Kim ),박복남 ( Boknam Park ),신철오 ( Chuloh Shin ),우치수 ( Chisu Wu ) 한국정보처리학회 2007 한국정보처리학회 학술대회논문집 Vol.14 No.2
본 연구에서는 소프트웨어의 구현 코드로부터 테스트 케이스 자동에 관해 연구하며 도구를 구현한다. 이를 통해 개발자가 직접 테스트 케이스를 작성하는 데 소요되는 비용을 절감하고, 소프트웨어의 요구사항 명세가 잘 작성되어 있지 않거나 실제 구현과 차이가 있는 경우에도 영향을 받지 않고 테스트 케이스를 생성 가능하도록 한다.
이현주(Hyunjoo Lee),박찬진(ChanJin Park),강유훈(Yoohoon Kang),김택수(Taeksu Kim),우치수(Chisu Wu) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.1
아키텍쳐(Architecture)는 프로젝트 초기에 결정된 설계 결정사항을 기재해 놓은 산출물이고 프로젝트 관련자(Stakeholder)간 의사소통의 수단이다. 아키텍쳐가 안정되어야 향후 진화(Evolution) 과정 중에 시스템을 이해하고 예측. 관리하는 것이 쉬워지고 또한 기본 구조를 변경하지 않고 여러 가지 기능을 추가할 수 있다. 아키텍쳐 안정성(Architecture Stability)이란 진화과정 중에 발생하는 변경들을 견디는 정도를 말하고 변경은 적응변경(Adaptive Changes), 교정변경(Corrective Changes), 완전변경(Perfective Changes)을 포함한다. 그런데 진화 과정 동안에 변경들은 필연적으로 발생하게 되고 그로 인해 결정된 아키텍쳐는 본래의 모습을 그대로 유지할 수 없게 된다. 따라서 진화 과정시 아키텍쳐의 안정성을 측정하고 향후 변경에 대한 대비가 필요하다. 본 논문은 변경의 크기, 변경의 횟수, 변경의 종류와 아키텍쳐 불안정성의 관계를 버전별로 연구하고 그와 관련된 매트릭을 제안한다. 매트릭을 실제 프로젝트(Ant,JDT)에 적용하고 측정된 결과를 통해 아키텍쳐 안정성을 살펴봄으로써, 향후 안정성을 고려하여 아키텍쳐를 관리하고 개발하는데 도움을 줄 수 있을 것이다.