• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.220-222
• /
• 2006

본 논문은 안전등급 제어기기(Safety-Grade Programmable Logic Controller)에서 사용하는 프로세서모듈 운영체제에 대한 컴포넌트 시험에 대해 기술한다. 디지털 소프트웨어에 대한 NRC(Nuclear Regulatory Commission)의 지침에 따라 운영체제는 소프트웨어 생명주기에 따라 개발되고 있으며 요구사항과 설계명세, 그리고 구현코드를 가지고 다양한 시험을 수행하고 있다. 컴포넌트 시험은 구현된 코드가 테스트 커버리지를 만족하는 지 파악하는 시험이다. 이를 위해 설계명세서를 참조하여 시험대상을 구분하고 각각의 시험대상에 대한 시험항목을 세분화한 이후 시험방법과 절차, 그리고 시험환경을 구축한 후 컴포넌트 시험을 수행한다.

• 대한수학교육학회지:학교수학
• /
• 제11권4호
• /
• pp.547-565
• /
• 2009

본고에서는 우리나라와 중, 미국, 일본에서 대학입학 전형자료로 쓰이는 국가 단위의 시험 과목 가운데 수학 과목의 시험 체제와 내용, 문항유형을 분석하여 제시하였다. 이를 통해서 대학입학 전형자료로 사용하기 위한 국가 단위의 대규모 시험에서 필수로 포함될 필요가 있는 내용, 그 내용을 적절하게 담아낼 수 있는 문항 유형, 마지막으로 이 전체를 유효적절하게 구성하여 효과적으로 시험을 치르게 하기 위한 시험체제에 관한 시사점을 도출하고자 한다. 그리하여 향후 개정 교육과정에 따른 대학수학능력시험 수리영역의 출제 체제를 결정하는 데에 논의의 바탕을 제공하고자 한다.

• 한국수학사학회지
• /
• 제22권1호
• /
• pp.111-124
• /
• 2009

본 연구에서는 2012학년도 대학수학능력시험의 출제체제 개편에 맞추어 현재 시행되고 있는 대학수학능력시험에서 나타나는 문제점과 그 개선 방안에 대하여 연구하였다. 대학수학능력시험은 1994년도 시행이후 제5차, 6차, 7차 교육과정을 거치면서 교육과정이 바뀜에 따라 몇 차례 개정을 하여 현행에 이르고 있다. 2007년 2월 발표된 수학과 교육과정 개정에 의해 2009년부터 개정된 교육과정에 따라 교육이 이루어지고 2012학년도의 대학수학능력시험은 그 출제 및 응시체제가 개편되어야 한다. 지난 교육과정과 2009학년도부터 시행하게 되는 개정교육과정에 따른 대학수학능력시험 출제체제의 변천과정을 조사하고 외국의 대학입시시험의 출제 범위를 우리의 교육과정과 비교하여 현행 대학수학능력시험에서 나타나는 문제점을 개선할 수 있는 방안을 제언한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제61권2호
• /
• pp.287-303
• /
• 2022

본 연구의 목적은 독일의 아비투어 수학시험의 체제와 문항을 분석함으로써 수능 체제 개선을 위한 시사점을 도출하는 것이다. 이를 위해 아비투어의 체제를 개관하고 수학과 표준 교육과정과 아비투어의 관계를 고찰하였다. 또한 기본수준과 심화수준 시험의 체제, 수행지시동사, 공학적 도구 및 공식집의 사용을 중심으로 수학시험 체제를 분석하고, 2021년 수학시험 문항의 특징을 분석하였다. 분석 결과 첫째, 역량 교육을 표방한 독일은 교육과정에서 강조한 역량을 학생들이 갖추었는지를 아비투어에서 평가하고 있다. 둘째, 공학적 도구의 적절한 사용을 강조하는 독일은 아비투어 수학시험에서 공학적 도구를 사용하는 문항과 그렇지 않은 문항을 모두 활용한다. 셋째, 아비투어 수학시험은 정해진 수행지시동사를 이용하여 대부분의 문항을 구성하고, 여러 종류의 지시어를 활용하여 역량을 평가하는 다양한 유형의 문항을 출제하고 있다. 넷째, 아비투어 수학시험은 2~3개의 하위문항으로 이루어진 간단한 구조의 문항뿐만 아니라 빅아이디어를 중심으로 하나의 상황을 심도 있게 다루는 문항을 포함한다. 마지막으로, 수학적 정당화와 증명이 아비투어에서 중요한 비중을 차지하고 있다. 이를 토대로 수능 체제 개선을 위한 구체적인 방안을 몇 가지 제시하였다.

• 한국학교수학회논문집
• /
• 제11권3호
• /
• pp.467-481
• /
• 2008

본 고는 1994년 이래 실시된 대학수학능력시험의 수리영역에 관해 여러 각도에서 연구한 다수의 논문들을 분석하였다. 이러한 선행연구들의 분석을 통하여 개정된 교육과정에 맞추어 수리영역의 출제 체제 개정에서의 시사점을 도출해 보고자 하였다. 본 고에서는 먼저 선행연구들을 '목적 및 특성과의 부합성', '교육에 끼친 영향', '사회에 끼친 영향'이라는 큰 범주로 나누어 고찰하였다. 선행 연구에 따르면, 교차지원, 선택과목간의 유 불리문제, 인문계와 자연계의 시험 과목(내용)의 차이, 대학수학능력 시험에 들어가야 할 과목 등의 논의가 이루어지고 있다. 본 연구는 대학수능시험에서 수리영역의 글제 체제를 개정하는데 있어서 고려해야 할 요인을 제시함으로써 보다 합리적인 출제체제 개정에 필요한 기초정보를 제공하는데 그 의의를 두고 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.861-862
• /
• 2009

운영체제의 기본적인 역할은 각종 컴퓨터 하드웨어들을 서로 논리적으로 연결하고 제어하는 것으로 다른역할은 응용프로그램과 컴퓨터 하드웨어를 연결해주는 역할을 한다. 본 연구에서는 운영체제 소프트웨어 분야의 기반기술 및 동향을 조사하고 표준시험환경을 구축해 보았다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (하)
• /
• pp.985-988
• /
• 2000

내장형 기기의 다양성 및 적용 범위의 확장으로 내장형 기기용 운영체제도 기기별 다양성을 지원할 것이 요구되고 있다. 이러한 특성을 갖는 운영체제를 조림형 운영체제라 한다. 본 논문에서는 조림형 실시간 운영체제인 Qplus커널의 입출력 시스템 개발에 대하여 기술한다. Qplus의 입출력 시스템은 사용자의 요구에 따라 입출력 장치 구동기의 조림이 가능하며 일관된 사용자 인터페이스 및 간편한 장치 구동기 인터페이스, 빠른 입출력을 지원한다. 현재 SA110 보드를 사용한 ITSB 에서 시험되었으며 앞으로 AIO, 가상 터미널 구동기의 지원 및 입출력 성능 시험을 수행할 예정이다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2002년도 종합학술발표회논문집
• /
• pp.317-321
• /
• 2002

최근 Firewall, IDS와 같은 응용프로그램 수준의 보안 제품은 내부서버 자체의 취약성을 방어하지 못한다. 본 논문에서는 TCSEC C2급에 해당하는 보안성을 가지는 리눅스를 LKM(Loadable Kernel Module) 방법으로 B1급 수준의 다중등급 보안을 구현하였다, 따라서 구현된 다중등급 보안 리눅스 커널의 주요 기능을 기술하고, 시험 평가로서 강제적 접근제어, 성능 및 해킹 시험을 실시하였다. 구현된 보안 커널 기반의 리눅스 운영체제는 B1급의 요구사항을 만족하며, root의 권한 제한, DB를 이용한 실시간 감사추적, 해킹차단, 통합보안관리등의 추가적 기능을 제공한다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 1999년도 종합학술대회발표논문집
• /
• pp.579-588
• /
• 1999

◆ 산업기술정보의 근간이 되는 4개 DB서비스 ◆ 전지역 정보를 통합한 포탈시스템과 지역특화시스템으로 구성 ◆ DB 정보검색(8개) 및 DB 통합검색 ◆ 분야별로 정의된 업체, 지자체의 기업지원뉴스 제공 ◆ Fax, E-mail에 기반한 상품정보 거래알선체제 ◆ 자기정보 등록체제(DB등록과 갱신) ◆ 지자체 파일 공유를 위한 표준화 ◆ DB 및 시스템 이용등에 관한 전문분석 통계체제 ◆ 국내 제조업체, 전문인력, 시험연구장비, 등의 디렉토리 관리 및 로봇검색 체제 (중략)

• 정보처리학회논문지C
• /
• 제10C권2호
• /
• pp.145-154
• /
• 2003

네트워크 수준에서 정보보호를 위한 침입차단 시스템과 침입탐지 시스템은 조직 내의 컴퓨터 서버 보안 대책으로는 그 한계를 갖고 있다. 이에 따라 보안 운영체제(Secure OS)에 관한 필요성이 점차 사회적으로 공감대를 형성하고 있다. 본 논문에서는 보안 운영체제의 요구사항과 최근 보급되고 있는 리눅스 운영체제의 커널 수준에서의 보안 연구동향을 살펴보고, 본 연구팀에서 구현한 다중등급 보안 리눅스 커널을 주요 기능 중심으로 기술하고 시험 평가로서 접근제어, 성능 및 해킹 시험을 실시하여 안전성을 입증하였다. 이 보안 커널 기반의 리눅스 운영체제는 TCSEC Bl급에서 요구하는 기준 기능 외에 해킹 차단, 실시간 감사 추적, root의 권한 제한, 통합보안관리 등의 추가적 기능을 제공한다.