http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 마유승(Yu Seung Ma) (검색결과 22 건)
- 무료
- 기관 내 무료
- 유료
-
비순차적 프로그램 테스팅을 위한 제약조건 기반 테스팅 환경
마유승(Yu Seung Ma),서희석(Hui Suk Seo),배현섭(Hyun Seop Bae),권용래(Yong Rae Kwon) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.1A
실시간성을 가진 고신뢰 분산, 병렬 시스템에 소프트웨어의 도입이 확산됨에 따라 기존의 순차적 프로그램에 대한 테스팅 기법으로는 새로운 소프트웨어에 대한 검증이 어렵다. 순차적 프로그램과는 달리 비순차적 프로그램은 수행시에 부분 순서 관계를 따르게 되며 이에 의해서 자료 흐름과 제어 흐름이 결정된다. 따라서 부분 순서 관계에 대한 분류와 이에 대한 테스팅 방법이 필요하다. 이 논문에서는 비순차적 프로그램에서 나타날 수 있는 순서 제약 조건을 규명하고 이를 바탕으로 한 테스팅 환경을 제시한다. 비순차적 프로그램의 명세에 자주 사용되는 MSC와 Statecharts로 부터 순서 제약 조건을 추출하며 순서 제약 조건에 대한 테스트 기준을 설정하고 이에 합당한 테스트 드라이버 구축 방법을 기술한다.
-
-
마유승(Yu Seung Ma),장윤규(Yoon Kyu Jang),권용래(Yong Rae Kwon) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅰ
컴포넌트 기반 시스템 개발 과정은 크게 컴포넌트 선택, 변용, 통합의 세 단계로 이루어진다. 이 중 컴포넌트 변용은 범용목적으로 개발된 컴포넌트를 자신의 시스템의 구조에 맞도록 변경하는 과정으로 변용이 끝난 컴포넌트는 사용자 입장에서 제대로 동작하는지 테스트 되어야 한다. 이 논문에서는 변용이 끝난 컴포넌트의 뮤테이션 테스트 기법을 제시한다. 이를 위해 먼저 컴포넌트의 변용 유형을 살펴보고 여기서 나타날 수 있는 오류의 형태를 살펴본 뒤 이를 발견할 수 있는 뮤테이션 변환 연산자를 정의한다.
-
-
리눅스 디바이스 드라이버에서 freed memory 기능 검증 모듈 설계
장승주 ( Seung-ju Jang ),임채덕 ( Rim Chae-duk ),마유승 ( Ma Yu-sung ) 한국정보처리학회 2006 한국정보처리학회 학술대회논문집 Vol.13 No.1
임베디드 리눅스 디바이스 드라이버의 개발이 증가하면서 이에 대한 오류 테스트 기능을 가진 모듈의 필요성이 증가되고 있다. 본 논문은 리눅스 디바이스 드라이버를 위한 freed 메모리 오류테스트 모듈의 기본 개념을 제시하며, 기본 개념을 바탕으로 오류 테스트 모듈을 설계한다. Freed 메모리 오류 테스트 모듈 설계를 위해 리눅스 USB 디바이스 드라이버에 설계하고, 오류가 발생할 가능성이 존재하는 부분에 대한 검증을 위한 코드를 추가하여 테스트 모듈을 작성한다. 오류 테스트 모듈 설계를 위해서 usb storage 디바이스 드라이버를 대상으로 하였다. 또한 작성된 오류 테스트 모듈의 실험을 진행하였다. 실험을 통해 리눅스 디바이스 드라이버의 오류 테스트 모듈의 동작을 확인할 수 있다.
-
-
-
자바 바이트코드를 대상으로 하는 메소드 수준 뮤테이션 연산자
신종민(Jong-Min Shin),마유승(Yu-Seung Ma),권용래(Yong-Rae Kwon) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.1
컴퓨터 성능의 향상으로 고비용의 수행을 요하는 뮤테이션 분석 기법의 적용 가능성이 커지면서, 객체지향 프로그램을 대상으로, 특히 자바 프로그램에 대하여, 뮤테이션 분석 기법에 관한 연구가 수행되었다. 자바의 경우, 바이트 코드를 이용한다면 소스코드 없이 오류 프로그램인 뮤턴트들을 생성할 수 있을 뿐만 아니라, 소스코드를 이용할 때보다 뮤테이션 분석을 빨리 수행할 수 있는 장점이 있다. 하지만 현재 이러한 장점을 효율적으로 활용할 수 있는 바이트 코드 수준의 연산자는 나와있지 않다. 본 논문에서는 자바 바이트 코드를 대상으로 하는 메소드 수준의 뮤테이션 연산자를 정의한다. 개발한 뮤테이션 연산자는 소스코드 수준에서 사용자가 범할 수 있는 오류만을 대상으로 한다. 따라서 소스 코드를 대상으로 하는 뮤테이션 분석의 기능을 모두 보여주면서, 성능향상을 가져다 준다.
-
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을 이용하므로 기업형 응용 프로그램의 생산성을 증가시켜 줄 것으로 보인다.
-
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
