http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
강제성(Jae Sung Kang),윤광식(Gwang Sik Yoon),오승욱(Seung Uk Oh),권용래(Yong Rae Kwon) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.1A
인터넷을 기반으로 웹이 급속하게 성장함에 따라 웹 기반 어플리케이션의 품질이 점차 중요시되고 있다. 이로 인하여 웹 어플리케이션의 품질을 검증할 수 있는 수단이 필요하게 되었고 산업계에서도 연구가 활발히 이루어 지고 있는 실정이다. 하지만 대부분의 연구가 웹 사이트에 대한 부하시험등에 치중하고 있고, 기능적 측면의 시험은 제대로 지원하고 있지 못하다. 본 논문에서는 웹의 기능적 측면을 시험할 수 있는 기법을 제시하려 한다. 웹을 기반 모델로 보고, 웹의 동적 행위를 웹의 상태 전이로 정의하였다. 이러한 상태 전이를 표현하기 위한 상태 전이 그래프를 제안하였고, 이를 기반으로 기존의 상태 기반 시험 기법을 도입하여 시험사례를 생성하는 기법을 제시하였다.
폴트 삽입 방식을 통한 자바 가상 기계의 강건성 테스팅(Robustness Testing) 기법
이성민(Sung-Min Lee),김상운(Sang-Un Kim),강제성(Jae-Sung Kang),권용래(Yong-Rae Kwon) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.1B
Java의 경우 기존의 강건성 테스팅 방법인 ballista로는 객체 타입의 인자 및 파일 시스템의 변화를 시뮬레이션 할 수 없다. 따라서 객체에 대한 특별한 접근을 필요로 한다. 본 논문에서는 객체에 폴트를 삽입하는 방식을 통하여 자바 가상 기계의 강건성(Robustness)을 테스팅하는 방법을 제안한다. 자바 디버깅 툴인 JPDA를 사용하여 자바 가상 머신에 대한 직접적인 접근 및 의도한 상태 및 환경 변경을 가능하게 하고 이를 통해 자바 가상 기계에 폴트가 심어진 객체를 수행시킬 수 있다. 객체를 수행시키고 의도한 예외상황의 발생 유무를 관찰함으로써 자바 가상 기계의 강건성을 테스트 할 수 있다.
UML / OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경
김상운(Kim Sang-Woon),마유승(Ma Yu-Seung),강제성(Kang Jae-Sung),배두환(Bae Doo-Hwan),권용래(Kwon Yong-Rae) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.2Ⅰ
기업형 정보 시스템을 개발하는 데 클라이언트 계층, 어플리케이션 서버 계층, 데이터베이스 계층으로 구성된 3계층 아키텍처가 널리 사용되고 있다. 따라서 기업형 컴포넌트의 올바른 행위를 시험하기 위해서는 3계층 아키텍처를 고려한 시험 기법이 요구된다. 하지만 기존의 대부분의 컴포넌트 시험 기법들은 클라이언트 계층과 어플리케이션 서버 계층 사이의 관계만을 대상으로 하고 있어서 기업형 컴포넌트 시험에 부족하다. 논문에서는 기업형 컴포넌트의 시험을 위해 클라이언트 계층과 어플리케이션 서버계층 간의 관계만이 아니라 어플리케이션 서버계층과 데이터베이스 서버계층과의 관계를 포함한 시험 기법을 제안한다. 이를 위해 3계층 아키텍처를 반영하는 시험모델을 제안했으며 UML/OCL를 컴포넌트의 명세로 사용하여 시험모델을 추출한 뒤 자동으로 시험을 수행하는 시험 환경을 제안했다. 제안된 시험 환경을 일반적인 시험 단계의 뒷부분으로 테스트 케이스를 분석하여 생성하는 것보다는 생성된 시험 자료를 수행시켜 자동으로 시험 과정을 수행하는데 관심을 두고 있다. 제안된 시험환경은 기존의 연구와 달리 3계층 아키텍처를 반영하고 산업체 표준인 UML/OCL을 이용하므로 기업형 응용 프로그램의 생산성을 증가시켜 줄 것으로 보인다.
XMI로 표현된 UML 모델로부터 생성된 시험 데이터를 이용한 컴포넌트 기반 소프트웨어 시험 도구
김준산(Jun San Kim),강제성(Jae Sung Kang),마유승(Yu-seung Ma),권용래(Yong Rae Kwon) 한국정보과학회 2002 한국정보과학회 학술발표논문집 Vol.29 No.1B
재사용이 가능한 컴포넌트들을 사용하는 컴포넌트 기반 소프트웨어 개발 기술은 현재 소프트웨어 개발의 핵심 기술로써, 많은 소프트웨어들이 이 기법을 이용해 개발되고 있다. 컴포넌트 기반 소프트웨어를 보다 효율적으로 시험하기 위한 많은 노력이 있었으나, 아직까지 자동으로 시험을 쉽게 수행해 주는 도구는 별로 없으며 이미 개발된 도구들도 그 효용성이 미약하다. 본 논문에서는, 이전에 제안했던 컴포넌트 기반 소프트웨어 자동화 시험 도구인 CTM(Component Testing Manager)의 확장 내용으로써 XMI(XML Metadata Interchange) 형식으로 표현된 UML(Unified Modeling Language) 모델로부터의 시험 데이터 생성 및 수행기법에 대해 제시한다. 본 기법은 기존의 UML 모델을 이용한 다른 시험기법과는 달리 표준화된 XMI를 사용함으로써 UML 모델링 도구와 독립적이고 분산환경에서 쉽게 사용할 수 있는 장점을 제공하여 보다 쉽게 컴포넌트 기반 소프트웨어의 시험을 가능하게 해 준다.
한승희(Seung Hee Han),강제성(Jae Sung Kang),정인상(In Sang Chung),권용래(Yong Rae Kwon) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.2Ⅰ
테스트 데이터의 자동 생성은 소프트웨어 테스팅에서 가장 중요하면서도 어려운 부분이다. 대부분의 테스트 데이터 자동생성에 관한 연구는 명세로부터 테스트 데이터를 자동 생성하는 방식이며 이를 위해 정확한 정형적 명세를 필요로 한다. 본 논문에서는 프로그램을 실행하지 않고 프로그램의 동적인 특성을 분석할 수 있는 요약 해석(abstract interpretation) 방법과 선후 지배 관계(pre-, postdominance relationship)를 이용하여 프로그램 코드로부터 직접 테스트 데이터를 자동 생성할 수 있는 방법을 제안한다.