http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
비순차적 프로그램 테스팅을 위한 제약조건 기반 테스팅 환경
마유승(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 디바이스 드라이버를 대상으로 하였다. 또한 작성된 오류 테스트 모듈의 실험을 진행하였다. 실험을 통해 리눅스 디바이스 드라이버의 오류 테스트 모듈의 동작을 확인할 수 있다.
이효정(Hyo-Jeong Lee),마유승(Yu-Seung Ma),김상운(Sang-Woon Kim),권용래(Yong-Rae Kwon) 한국정보과학회 2002 한국정보과학회 학술발표논문집 Vol.29 No.2Ⅱ
컴퓨터 성능의 향상으로 고비용의 수행을 요하는 뮤테이션 기법의 적용 가능성이 커지면서 뮤테이션 기법에 대한 연구가 다시 활성화되고 있다. 뮤테이션 기법에 대한 연구는 순차 프로그램에 대해서는 완성 단계인 것에 반해, 객체지향 프로그램에 대한 연구는 역사가 짧고 아직 초기 단계에 머무르고 있다. 본 논문에서는 현존하는 자바 뮤테이션 오퍼레이터를 모두 지원하는 뮤테이션 분석 도구인 MuJava/SC를 구현하고 이의 성능 개선 방안에 대해서 논의한다. MuJava/SC 구현에는 리플렉션 시스템을 사용하였는데 그 중에서 구조적 리플렉션이 객체지향 뮤테이션 도구의 구현에 적절히 이용됨을 보여주었다. MuJava/SC의 성능을 개선한다면 객체지향 프로그램의 뮤테이션 분석에 유용하게 사용될 수 있을 것이다.