• 제목/요약/키워드: Java Programs

검색결과 172건 처리시간 0.032초

Alice 프로그래밍을 통한 객체 지향 시각 프로그래밍 교육의 평가 지표 개발 및 유용성 분석 (A Development of the Evaluation Metrics and Analysis of the Object-Oriented Visual Programming Education Using Alice Programming)

  • 정덕길;정민포;조혁규;노영욱
    • 한국정보통신학회논문지
    • /
    • 제18권3호
    • /
    • pp.742-748
    • /
    • 2014
  • 객체 지향 시각 프로그래밍 교육에 대한 연구는 학생들이 프로그램 개발을 진행하는 과정 혹은 프로그래밍을 교수하는 방법론과 프로그램 개발을 위한 적합성 분석 및 설계 방법론을 찾는 것과 관련된다. 학생들이 프로그래밍 교육에서 학습에 어려움을 겪고 있는 객체 지향 프로그램 개발 능력을 향상시킬 수 있는 교육 방법으로 이 논문에서는 컴퓨터 프로그래밍 교육에서 객체 지향 시각 프로그래밍 교육을 적용하고 평가하기 위한 평가 지표를 개발하고, Alice 프로그래밍을 통한 시각 프로그래밍 교육 방법론과 교과과정을 도입한다. 이 논문에서 제시된 시각 프로그래밍 교육의 평가 지표는 시각 프로그래밍 언어/도구를 사용할 때 학생들의 프로그래밍 교육에 대한 적합성을 측정하고 분석하여 학생들의 이해력, 추상화 능력, 프로그램 구현 능력과 학생들의 수준별 적합성을 측정하고 분석한다.

단위 테스트 자동화를 위한 자바 프로그램 테스트 코드 구축 (Building Test Codes for Unit Test Automation of Java Programs)

  • 윤회진
    • 소프트웨어공학소사이어티 논문지
    • /
    • 제23권4호
    • /
    • pp.141-149
    • /
    • 2010
  • 애자일 개발의 XP와 Scrum을 중심으로 단위 테스트 자동화의 중요성이 커지고 있다. 그러나 테스트 결과, 즉 통과 또는 실패를 자동으로 결정하기 위해서는 테스트 실행 결과와 예상 결과를 비교하는 과정이 필요하다. 이 부분의 구현이 자동화의 성패를 좌우한다. 본 연구는 단위 테스트 자동화를 위한 테스트 코드 작성을 소개하고, 테스트 코드 구현에서 고려해야할 사항을 언급한다. 첫째, void 형태의 메소드의 경우 테스트 데이터 실행 결과를 명시적으로 구하기 어려운 문제를 본 연구에서는 Mock 프레임워크를 사용하여 해결하였다. 둘째, void 형태의 메소드의 경우, criteria로 인해 구성된 테스트 경로상의 모든 문장들이 제대로 수행되었는지 하나씩 살펴보아야 하는지, 아니면 최종 문장에 대해서만 보아야 하는지의 문제이다. 본 연구에서는 Mock 프레임워크의 verify 기능을 활용하여 매 순간 제대로 실행되어져야 하는 메소드 호출을 중심으로 명확한 매개변수들을 사용하여 호출이 일어났는 지를 확인하고, 그 결과들이 모두 예상 결과와 맞을 때, 해당 테스트 케이스에 대한 테스트를 통과한 것으로 결정하였다.

  • PDF

다양한 eVTOL 유형별 호버 효율, 회전판 하중 및 필요 배터리 비에너지 분석 (Analyses of Hover Lift Efficiency, Disc Loading and Required Battery Specific Energy for Various eVTOL Types)

  • 김동희;장한용;황호연
    • 한국항행학회논문지
    • /
    • 제25권3호
    • /
    • pp.203-210
    • /
    • 2021
  • 전 세계의 많은 대도시는 도시화에 따른 지상 및 지하 교통망이 포화되고 있다. 또한 지구온난화 방지를 위한 탄소배출 규제가 더욱 엄격해지고 있으며 이러한 문제의 해결책으로 복잡한 도심에서도 운행 가능한 eVTOL이 차세대 친환경 교통수단으로 각광받고 있다. 본 연구에서는 eVTOL을 멀티콥터형, 양력+순항형, 추력편향형으로 분류하여 각 유형별 eVTOL들의 호버 효율과 회전판 하중을 계산하였으며 공력해석 프로그램인 OpenVSP, Fluent와 JavaProp을 이용하여 각국의 감항당국 및 우버 사에서 발표한 보고서를 바탕으로 가까운 미래에 실현될 eVTOL의 원활한 운행에 필요한 배터리 비에너지를 계산하고 분석하였다.

작용식 2.0 기반 파이썬에 대한 형식 의미론 (Formal Semantics Based on Action Equation 2.0 for Python)

  • 한정란
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제10권6호
    • /
    • pp.163-172
    • /
    • 2021
  • 프로그래밍 언어의 형식적인 의미를 적절하게 표현하면 언어를 표준화하고 최적화하여 번역하는 과정에서 중요한 역할을 수행한다. 파이썬은 주목받는 강력한 언어이고, 파이썬에 대한 형식적인 의미 구조를 정의하고 표현하는 것은 향후 유사한 언어를 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 파이썬에 대한 의미 구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 파이썬의 정적이고 동적인 의미 구조를 표현하는 작용식 2.0을 새롭게 제시한다. 작용식 2.0에 명세된 의미구조를 자바로 구현해 파이썬 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 2.0이 구현 가능한 실제적인 의미 구조임을 입증하고, 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식 2.0을 기존의 대표적인 의미 표현법과 비교하여 본 작용식 2.0의 우월성을 확인하고자 한다.

사용자 소비이력기반 방송 콘텐츠 추천 시스템 (Broadcast Content Recommender System based on User's Viewing History)

  • 오수영;오연희;한성희;김희정
    • 방송공학회논문지
    • /
    • 제17권1호
    • /
    • pp.129-139
    • /
    • 2012
  • 본 논문은 방송 콘텐츠를 소비한 사용자의 소비이력 정보를 바탕으로 추천해 주는 시스템을 소개한다. 방송 콘텐츠는 도서, 음반, 영화 등의 콘텐츠와는 다른 구조로 구성되어 있으며, 크게 시리즈물과 에피소드물로 나뉜다. 시리즈물은 여러 개의 방송 콘텐츠가 하나의 프로그램을 구성하고 하나의 주제나 스토리를 다룬다. 반면에 에피소드물은 여러 개의 방송 콘텐츠가 하나의 프로그램을 구성하지만 각각의 콘텐츠 별로 다른 주제나 스토리를 다룬다. 시리즈물인 경우에는 프로그램 단위로 추천이 가능하고, 에피소드물인 경우에는 하나의 프로그램을 구성하는 콘텐츠들이 독립된 콘텐츠로서 추천이 가능하다. 이와 같은 방송콘텐츠의 특징에 따라, 본 논문에서는 시리즈물과 에피소드물로 추천단위를 달리하여 콘텐츠를 추천한다. 콘텐츠 추천은 사용자의 방송 콘텐츠 소비이력 정보를 활용하여 방송 콘텐츠간의 유사도를 도출하고 이를 토대로 추천을 제공한다. 방송 콘텐츠간의 유사도는 협업 필터링 알고리즘을 사용하여 계산한다. 추천 시스템은 희소 배열 자료구조를 사용하며, 메모리 기반의 연산을 수행하여 추천 콘텐츠를 색인 구조로 저장한다. 저장된 색인은 추천 시스템에서 제공하는 오픈 API를 통해 서비스되며, 오픈 API는 HTTP 프로토콜을 기반으로 구현되었다. 마지막으로 추천 시스템 구현과 실험을 위한 웹 데모를 소개한다.

에지 확장을 통한 제어 흐름 그래프의 효과적인 비교 방법 (An Effective Method for Comparing Control Flow Graphs through Edge Extension)

  • 임현일
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제2권8호
    • /
    • pp.317-326
    • /
    • 2013
  • 본 논문에서는 바이너리 프로그램의 정적인 구조를 표현하는 제어 흐름 그래프를 비교하는 방법을 제안한다. 제어 흐름 그래프를 비교하기 위해서 기본 블록에 포함된 프로그램의 명령어 및 구문 정보를 비교한 후 기본 블록 사이의 유사한 정도를 측정한다. 또한, 에지 확장을 통해 기본 블록들 간의 제어 흐름을 표현하는 그래프 에지의 유사성을 함께 반영한다. 각 기본 블록 사이의 유사도 결과를 기반으로 기본 블록을 서로 매칭하고, 기본 블록 사이의 매칭 정보를 이용해서 전체 제어 흐름 그래프의 유사도를 측정한다. 본 논문에서 제안한 방법은 자바 프로그램으로부터 추출한 제어 흐름 그래프를 대상으로 제어 흐름 구조의 유사성에 따라 두 가지 기준으로 실험을 수행하였다. 그리고, 성능을 평가하기 위해서 기존의 구조적 비교 방법을 함께 실험하였다. 실험 결과로부터 에지 확장 방법은 서로 다른 프로그램에 대해 충분한 변별력을 가지고 있음을 확인할 수 있다. 프로그램 비교에 좀 더 많은 시간이 소요되지만, 구조가 유사한 프로그램에 대한 매칭 능력에서 기존의 구조적 비교 방법에 비해 우수한 결과를 보였다. 제어 흐름 그래프는 프로그램의 분석에 다양하게 활용될 수 있으며, 제어 흐름 그래프의 비교 방법은 프로그램의 유사성 비교를 통한 코드의 최적화, 유사 코드 검출, 코드의 도용 탐지 등 다양한 분야에서 응용될 수 있을 것이라 기대된다.

정보화시대를 대비한 CAI로서의 Web 활용 (Using Web as CAI in the Classroom of Information Age)

  • 이광희
    • 정보교육학회논문지
    • /
    • 제1권1호
    • /
    • pp.38-48
    • /
    • 1997
  • 컴퓨터, 정보생산능력, 공동 생산과 이용, 기능적 사회, 참여적 민주주의, 시간 가치의 중요성, 인간의 자율성과 공동목표 등은 정보화사회의 특징이다. 인간의 창의적 사고 능력과 정보 공학을 이용한 주변 문제의 해결능력은 우리의 중요 관심사가 되고 있다. 따라서 본 연구는 정보화사회를 대비한 새로운 교육의 방향을 제시하는데 그 목적이 있다. 먼저 정보사회의 특징과 현재의 교육과정, 교육환경 및 교사교육의 교육 현장 측면을 고찰한후 CAI와 인터넷의 특성을 요약하고, 마지막으로는 CAI로서의 웹 활용을 제시하였다. 거대한 통신망인 인터넷을 교육에서 활용하면 개인차를 고려한 개별화 학습을 가능하게 해 줄 뿐 아니라 다양한 매체를 사용하여 풍부한 학습환경을 제공한다. 또 시간과 공간을 초월한 학습을 가능하게 하며 상호작용이 가능하다. 한편 하이퍼미디어를 기반으로 한 인터넷 서비스인 웹은 학업 성취도 고양, 창의력, 문제해결력, 논리적 사고력을 증진시킬 수 있고, 학습자의 동기 유발을 높이는 데 활용된다. 인터넷과 웹은 오랫동안 폭발적인 통신 도구로 우리 곁에 있게 되며, 다양한 데이타뱅크로 부터 여러가지 형태의 정보를 손쉽게 입수할 수 있게 됨은 물론 원격교육이나 재택가강의에도 활용되어 보편화 될 것이다.

  • PDF

난독화에 강인한 안드로이드 앱 버스마킹 기법 (Android App Birthmarking Technique Resilient to Code Obfuscation)

  • 김동진;조성제;정영기;우진운;고정욱;양수미
    • 한국통신학회논문지
    • /
    • 제40권4호
    • /
    • pp.700-708
    • /
    • 2015
  • 소프트웨어 버스마크는 한 프로그램이 보유한 고유한 특징으로 해당 프로그램을 식별하는데 사용될 수 있다. 소프트웨어 버스마크 기반으로 자바 프로그램의 도용을 탐지하는 연구들이 진행되어 왔다. 안드로이드 앱의 경우, 앱 보호를 위해 난독화 방법이 제공되고 있다. 그러나 공격자들도 자신이 도용한 프로그램을 감추기 위해 난독화를 적용하기도 한다. 특정 앱에 난독화를 적용하면 앱의 특징정보가 변경될 수 있다. 따라서 난독화를 고려한 버스마크 기반의 앱 도용 탐지 기법에 대한 연구가 필요하다. 본 논문에서는 난독화에 강인한 안드로이드 앱 버스마크 및 이에 기반한 앱 도용 탐지 기법을 제안한다. 몇몇 난독화 도구들을 분석하여 효과적인 버스마크로 메서드의 매개변수 및 반환값의 자료형을 선정하였고, 비교 대상 앱들로부터 해당 버스마크를 추출하여 이들 간의 유사도를 측정하였다. 여러 앱들을 대상으로 난독화 적용 전/후의 앱 유사성을 분석한 결과, 제안한 버스마크가 난독화가 적용된 앱에 대한 도용 탐지에도 효과적임을 확인하였다.

원격교육을 위한 클라이언트/서버구조의 웹 기반 시뮬레이션 환경 : SimDraw (A Web-based Simulation Environment based on the Client/Server Architecture for Distance Education: SimDraw)

  • 서현곤;사공봉;김기형
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제30권11호
    • /
    • pp.1080-1091
    • /
    • 2003
  • 최근 인터넷 및 초고속네트워크의 발전과 더불어 원격교육도 활발히 이용되고 있다. 온라인 강의(교수-학습)툴에 대한 상대적으로 많은 연구와는 비교되게 가상실험 툴에 대한 연구는 미진하다고 할수 있다. 본 논문에서는 원격교육용 가상실험실로 사용될 수 있는 웹 기반 시뮬레이션 툴, SimDraw를 설계 및 구현한다. 웹 기반 시뮬레이션기술을 원격교육에 적용시키기 위해서는 다음과 같은 몇 가지 요구사항이 만족되어야 한다. 첫째, 시뮬레이션 툴의 사용자 인터페이스가 간단해서 학생들이 쉽게 사용할 수 있어야 한다. 둘째, 원격 학생들의 다양한 컴퓨터 환경에서도 일관되게 실행될 수 있을 정도로 이식성이 있어야 한다. 마지막으로 셋째, 시뮬레이션 프로그램이 충분히 가벼워서 학생들이 설치 없이 사용이 가능하거나 혹은 설치가 매우 간결하고 쉽게 이루어질 수 있어야 한다. 이러한 요구조건을 만족시키기 위해 SimDraw는 클라이언트/서버구조에 기반하고 있다. 클라이언트프로그램은 모델작성 및 애니메이션 기능만을 가지고 있으므로 자바 애플릿으로 구현이 가능하고 웹 브라우져 내에서 실행될 수 있다. 즉 설치가 전혀 필요 없다. 서버프로그램은 원격컴파일, 모델저장, 라이브러리관리, 사용자관리 등의 기능을 클라이언트 측에 제공한다. SimDraw의 기능을 평가하기 위해 RIP(Routing Information Protocol) 라우팅 프로토콜의 가상 실험을 예로 들어서 시뮬레이션 과정을 보였다.

메타버스 ZEP 플랫폼 기반의 최적화된 수업 공간 및 맵 개발 (Development of an Optimized Class Space and Map based on the Metaverse ZEP Platform)

  • 박애란;이명숙
    • 실천공학교육논문지
    • /
    • 제15권2호
    • /
    • pp.439 -447
    • /
    • 2023
  • 본 논문은 메타버스 플랫폼 중 ZEP을 이용하여 최적화한 수업 공간에 대한 맵을 개발하는 것을 목표로 하였다. 연구 방법으로는 기존의 메타버스의 수업 경험을 바탕으로 학습의 주체가 학습자가 되도록 수업 공간을 구성하고, 초등학교 컴퓨터 수업에 적용하면서 수업 공간을 수정·보완하여 최적화하였다. 연구 내용은 학습자의 메타버스에 대한 사전 인식을 조사하였고, 메타버스 플랫폼의 장단점 들을 비교·분석하였다. 또한, 조사 결과를 반영하여 맵을 설계하였고, 설계된 맵을 수업에 적용한 후 필요한 API와 앱을 설치하여 보완하였다. 그 결과 학습자는 메타버스 공간에서 학습의 주체자가 되어 자유롭게 공간을 파악하고, 수업에 적극적으로 참여하였다. 특히, 오프라인에서 소극적인 학생, 실력이 부족하여 참여율이 저조한 학생은 더 적극적으로 참여하였다. 향후, 학습분석을 할 수 있는 학습자의 로그데이터를 수집할 수 있는 기능들을 API와 자바스크립트 프로그램 추가하여 학습자에게는 실시간 피드백이 가능하게 하고, 교수자에게는 통계 데이터를 가지고 학습자에게 피드백을 할 수 있도록 하는 것이다. 만약 이것이 가능하다면 메타버스 공간이 학습자에게는 학습 보조자 역할과 교수자에는 교수 보조자 역할을 충분히 기대할 수 있다.