http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 오승욱(Seung-Uk Oh) (검색결과 13 건)
- 무료
- 기관 내 무료
- 유료
-
상태 추상화를 통한 Statecharts 요구명세의 검증
오승욱(Seung Uk Oh),권용래(Yong Rae Kwon) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅰ
소프트웨어 시스템의 개발 과정에서 발생할 수 있는 오류를 조기에 발견하기 위해서 정형적 언어를 사용한 요구사항 명세와 이의 검증에 대한 연구가 활발히 진행되고 있다. 본 논문에서는 reactive-system의 요구사항 명세에 널리 사용되는 Statecharts를 이용한 요구사항 명세를 대상으로 자동화된 검증 기법인 Model-checking 방법을 적용하기 위해, 요구명세로부터 전체 상태 그래프를 얻어내는 과정에서 발생할 수 있는 상태 폭발 문제에 대한 해결 방안을 제시하고자 한다. Statecharts로 기술된 요구명세를 검증할 때 상태 폭발로 인한 문제를 줄이기 위해서 Statecharts의 계층적 구조를 이용한 상태의 추상화를 통해 전체 상태의 규모를 줄이고 그 결과로 얻어진 Statecharts로부터 생성된 상태 그래프를 이용한 시스템의 검증 방법을 제안한다.
-
백워드 설계에 기반한 교육과정 매핑의 사례와 시사점 탐구: 사례 연구를 중심으로
오승욱 ( Seung-uk Oh ),이지은 ( Ji-eun Yi ),강현석 ( Hyeon-suk Kang ) 대경교육학회(구 우리교육학회) 2017 교육학논총 Vol.38 No.1
본 연구는 학생의 학습 경험의 계획과 실제의 차이를 줄이기 위한 교육과정설계의 방법으로 백워드 설계와 교육과정 매핑의 개념과 절차를 소개하고, 백워드 설계에 기반하여 교육과정 매핑을 적용하고 있는 미국의 교육과정 매핑 시스템인 Atlas 시스템을 살펴보고 그 시사점을 탐구하는 데 초점이 있다. 본 연구에서는 문헌연구를 통해 교육과정 매핑의 개념과 방법 및 절차, 백워드 설계의 특징과 절차를 각각 살펴보고, 이를 토대로 Atlas 시스템에서 사용되고 있는 백워드 기반의 교육과정 지도 템플릿의 형식과 기존의 교육과정 매핑에서 제안한 교육과정 지도의 형식을 비교하였다. 이를 통해 학교중심 교육과정 운영에 핵심적인 요소인 교사의 교육과정 설계와 운영의 전문성을 높일 수 있는 방법과 절차에 관해 시사점을 도출하였다. This research focuses on introducing the curriculum mapping based on backward design. Curriculum mapping is an ongoing, calendar-based process involving teacher designed operational and planned learning curriculum, collaborative inquiry, and data-driven decision making. There are four types, diary map, projedted map, consensus map, essential map in curriculum mapping. While curriculum mapping is recognized as a highly effective method for serving studednts' instructional needs and creating systemic change, the means for putting this data-based decision-making process into practice is nor always clearly understood. Wiggins and McTighe refer to planning the outcome assessments first as application of backward design. We propose the method of curriculum mapping based on backward for effective student's learning and teachers' teaching. This research tries to explain the method of mixing curriculum mapping and backward design in case of Atals system. Korean teacher minding curriculum mapping and backward design may apply to curriculum design and reconstruction.
-
-
C언어 기반 프로그램의 소스코드 분석을 이용한 메모리 접근오류 자동검출 기법
조대완,오승욱,김현수,Cho, Dae-Wan,Oh, Seung-Uk,Kim, Hyeon-Soo 한국정보처리학회 2007 정보처리학회논문지D Vol.14 No.6
잘못된 메모리 접근으로부터 발생되는 오류는 C언어로 작성된 프로그램에서 가장 빈번하게 발생하는 오류이다. 이러한 오류를 자동으로 검출하기 위한 기존의 상용화 도구 및 연구결과는 수행시간에 테스트 대상 프로그램에 가해지는 부가적인 오버헤드가 매우 크거나 검출할 수 있는 메모리 접근오류의 종류가 제한적이다. 본 논문에서는 기존연구의 한계점을 개선한 새로운 메모리 접근오류 검출기법을 제안하고 실험을 통해 기존연구와의 비교분석을 수행하였다. 본 논문은 C언어 기반 프로그램의 소스코드 분석기법에 기반하고 있으며, 테스트 대상 프로그램에 할당된 동적 메모리 블록의 주소 범위에 대해 컬러링 기법을 적용한다. 본 논문에서 제안하는 오류검출기법은 기존의 바이너리 코드 분석기법에 비해 다양한 형태의 메모리 접근오류를 검출할 수 있으며, 테스트 대상 프로그램의 수행시간에 요구되는 메타데이터의 유지 및 갱신연산에 따른 공간 및 성능오버헤드가 기존의 소스코드 분석기법에 비해 개선되었다. 또한 본 논문에서 제안하는 기법은 테스트 대상 프로그램과 공유 라이브러리간의 호환성 문제를 일으키지 않으며, 메모리 할당함수의 내부 메커니즘을 변경하지 않는 특징을 갖고 있다. Memory access errors are frequently occurred in C programs. A number of tools and research works have been trying to detect the errors automatically. However, they have one or more of the following problems: inability to detect all memory errors, changing the memory allocation mechanism, incompatibility with libraries, and excessive performance overhead. In this paper, we suggest a new method to solve these problems, and then present a result of comparison to the previous research works through the experiments. Our approach consists of two phases. First is to transform source code at compile time through inserting instrumentation into the source code. And second is to detect memory errors at run time with a bitmap that maintains information about memory allocation. Our approach has improved the error detection abilities against the binary code analysis based ones by using the source code analysis technique, and enhanced performance in terms of both space and time, too. In addition, our approach has no problem with respect to compatibility with shared libraries as well as does not need to modify memory allocation mechanism.
-
일반고 교육 문제 해결을 위한 하나의 접근: 학교 컨설팅의 사례를 중심으로
강현석 ( Hyeon-suk Kang ),오승욱 ( Seung-uk Oh ),이지은 ( Ji-eun Yi ) 대경교육학회(구 우리교육학회) 2016 교육학논총 Vol.37 No.2
본 연구는 최근에 큰 어려움을 겪고 있는 일반고의 교육문제를 해결하기 위하여 실시한 학교 컨설팅의 과정을 소개하고, 거기에서 얻어진 몇 가지의 결과를 논의하는 데에 초점이 있다. 연구진에서 준비한 몇 가지의 반구조화된 질문지를 가지고 학교의 핵심 인사들을 심층 면담하고 학교 현황을 중심으로 하여 얻어진 결과를 제시하고 있다. 연구대상의 모든 학교들은 학교교육과정 발전과 개선을 위하여 많은 노력을 하고 있지만, 다수의 어려움에도 봉착하고 있는 것으로 나타나고 있다. 이를 위해서 다각적인 노력이 필요하며, 보다 실질적이고 체계적인 단위학교의 지원과 교육과정 운영 안내가 필요하다. This research focuses on introducing the process of school consulting to solve the educational problems of the general high school that have recently suffered a great deal and discussing some results obtained it. We have interviewed the key personnel of the school with some semi-structured questionnaires prepared by the researchers and present the results focused on the school situation. All of the schools in this study have made a lot of effort to develop and improve the school curriculum, but they are also facing many difficulties. This requires diverse efforts and more practical and systematic unit school support and curriculum management guidance are needed.
-
서선애(Sun Ae Seo),오승욱(Seung Uk Oh),조승모(Seung Mo Cho),이남희(Nam Hee Lee),차성덕(Sung Deok Cha),권용래(Yong Rae Kwon) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅰ
모형 검증을 통한 시스템 명세의 정형적인 검증은 상태 폭발 문제로 인해 많은 어려움을 겪고 있다. 여러 개의 병렬 프로세스로 구성된 시스템에서 지수적으로 증가하는 상태의 갯수로 인해 현실적으로 모형 검증을 적용하는 것이 불가능한 경우가 많다. 이런 문제점을 해결하기 위해서 시스템을 모듈 단위로 생각하여 정형 검증을 시도하는 많은 연구가 수행되고 있다. 병렬성을 중요한 특성의 하나로 하는 Statecharts 또한 널리 사용되고 있음에도 불구하고 아직 모듈을 바탕으로 검증을 수행하려는 시도가 그리 많지 않다. 본 연구에서는 내장 소프트웨어 시스템에 널리 사용되는 Statecharts 명세를 모듈을 바탕으로 검증하는 방법을 제시하고자 한다. 먼저 Statecharts에서의 모듈을 정의하고, 그와 같은 정의를 바탕으로 여러 개의 모듈로 구성되어 있는 Statecharts 명세의 모듈 기반 검증 방법을 제안한다. 여기서 사용되는 모듈 기반 검증은 환경에 대한 가정이 만족된다면 모듈은 반드시 주어진 성질을 만족한다는 가정-보중 추론(Assume-Guarantee Reasoning)을 이용한다.
-
C언어 기반 프로그램의 동적 메모리 접근 오류 테스트 자동화 도구 설계
조대완(Dae Wan Cho),오승욱(Seung Uk Oh),김현수(Hyeon Soo Kim) 한국정보과학회 2007 정보과학회논문지 : 소프트웨어 및 응용 Vol.34 No.8
메모리 접근연산으로부터 발생되는 프로그램 오류는 C언어로 작성된 테스트 대상 프로그램에서 가장 빈번하게 발생하는 오류이다[1,2]. 기존연구를 통해 이런 문제점을 해결하기 위한 다양한 메모리 오류 자동검출 방법들이 제안되었다. 하지만 기존의 오류검출방법은 테스트 대상 프로그램에 가해지는 부가적인 오버헤드가 매우 크거나 검출할 수 있는 메모리 접근오류의 종류가 제한적이다. 또한 메모리 할당 함수의 내부구현에 의존성을 갖고 있기 때문에 플랫폼 간 이식성(portability)이 떨어지는 단점을 갖고 있다. 본 연구에서는 이러한 문제점을 해결하기 위해 새로운 메모리 접근오류 검출기법을 제안하고 테스트 자동화 도구를 설계하였다. Memory access errors are frequently occurred in computer programs written in C programming language [1,2]. Accordingly, a number of research works have suggested a wide variety of methods to detect such errors automatically. However, they have one or more of the following problems: inability to detect all memory errors, changing the memory allocation mechanism, and excessive performance overhead. To cope with these problems, in this paper we suggest a new and automated tool to detect dynamic memory access errors in C programs.
-
아키텍쳐 기술로부터 도출한 의존성 정보를 이용한 테스트 케이스 생성
허유진(Yu-Jin Huh),오승욱(Seung-Uk Oh),서희석(Heui-Seok Seo),권용래(Yong-Rae Kwon) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.2Ⅰ
컴포넌트기반 소프트웨어의 신뢰도를 높이기 위해서 개별 컴포넌트의 테스팅과 더불어 통합된 컴포넌트들이 올바르게 동작하는지 테스팅할 필요가 있다. 이 논문에서는 컴포넌트기반 소프트웨어에서 컴포넌트의 구성과 통신에 관한 정보를 얻기 위해 아키텍쳐 기술을 이용한다. 우선 아키텍쳐 기술에서 제어 의존성과 자료 요소를 식별하여 테스트 모델을 구축한다. 구축한 테스트 모델에서 테스트의 단위가 되는 OFU(Observable Functional Unit)을 식별하고 자료 의존성을 이용하여 OFU의 수행 순서를 결정한다.
-
-
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
