projects1

A Study on Mobile Java Programming Environment

과제 소개 TOP

제목: 정적 분석을 이용한 모바일 자바 프로그램의 효율적인 자원 사용을 위한 환경 연구
(A Study on Mobile Java Programming Environment for Efficient Resource Usage using Static Analysis )

과제배경: 현재 모바일 폰이나 PDA를 통한 무선 인터넷 접속이 매우 보편화 되고 또한 무선 인터넷 환경도 매우 발달해 왔다. 무선인터넷 사용자의 급격한 증가로 인해 더 강력하면서도 새로운 컴퓨팅 환경에서 사용하기에 쉬운 프로그래밍 언어가 요구 된다. 이런 필요성에 의하여 썬 마이크로시스템에서 셀룰러폰나 PDA같은 모바일 장비용 J2ME 프로그래밍 언어를 발표했다. 이전의 데스크탑 환경과는 달리 모바일 자바 프로그램을 개발할 때 전송하는 패킷 사이즈, CPU의 클락 스피드, 메인 메모리 사이즈, 통신 속도 등의 제약 사항이 있다. 그러므로 프로그래머는 모바일 어플리케이션을 개발할 때 대상 모바일 장비의 리소스를 반드시 고려해야한다.

과제목적: 이 과제는 효과적인 자원 관리를 위한 모바일 자바 프로그램 개발 환경을 제공함을 목표로 한다. 이를 위하여 J2ME 같은 모바일 자바 프로그램 분석을 통해서 메모리, 객체, 예외 등의 사용 정보를 제공한다. 또한 이들 분석 정보들을 이용하여 자원 시각화기(resource visualizer), 최적화기(Optimizer), 테스트 데이터 생성기(Test set generator) 등을 설계 구현한다

       과제책임자: 숙명여자 대학교 창병모 교수
       기간 : 2002.9 ~ 2005.8
       지원기관: 과학재단 특정기초과제

참여 연구원 TOP

       숙명여자대학교 창병모 교수                 chang@sookmyung.ac.kr
       숙명여자대학교 이상규 교수                 sanglee@sookmyung.ac.kr
       부산외국어대학교 조장우 교수              jjw@pufs.ac.kr

       숙명여자대학교 박사과정 안혜선           hyesun24@sookmyung.ac.kr
       숙명여자대학교 석사 박숙영                 candy216@dreamwiz.com
       숙명여자대학교 석사과정 박나리           nariini@hanmail.net
       숙명여자대학교 석사과정 오희정           sarasvati@empal.com
       숙명여자대학교 석사과정 진태금           realsusan@hanmail.net
       숙명여자대학교 석사과정 최윤정           swany@sookmyung.ac.kr
       숙명여자대학교 석사과정 문세원           wonsein@nate.com
       숙명여자대학교 석사과정 문정아           ja3007@naver.com
       부산외국어대학교 석사과정 이자영
       부산외국어대학교 석사과정 손정은
       숙명여자대학교 석사과정 김윤경           ykkim79@sookmyung.ac.kr
       숙명여자대학교 학부4학년 오민경         evaras@hanmail.net

세미나(2003년) TOP

DATE	Subject	PPT
9월 20일	<General> Abstract Interpretation and Futrue Program Analysis Problems <Bytecode> Java Bytecode verification and overview	Down Down
10월 2일	<Escape and Point Analaysis> Points-to Analysis for Java Using Annotated Constraints <Security> Formalising Java Safety - An overview. ACM Computing Survey	Down Down
10월 18일	<Exceptoin> Saurabh Sinha and Mary Jean Harrold, Analysis and Testing of Programs with Exception-Handling Constructs, IEEE TSE, 1999 <Memory> A Unified Formal Specification and Analysis of the new Java Memory Models	Down Down
11월 1일	Understanding the Behavior of Java Programs A Flexible Access Control Service for Java Mobile Code	Down Down
11월 15일	HAT JProbe	Down Down
11월 29일12월 17일12월 24일	KVEM Monitor KVEM Profile	Down Down
12월 30일	Barat을 이용한 Exception과 Event Handling KVEM Monitor 분석	Down Down

세미나(2004년) TOP

DATE	Subject	PPT
9월 20일	<General> Abstract Interpretation and Futrue Program Analysis Problems <Bytecode> Java Bytecode verification and overview	Down Down
1 월 9일	WTK partial code description Barat을 이용한 Code Tranformation	Down Down
1 월 28일	WTK21- Of Lime WTK21 - OF Lime <Summury> Barat을 이용한 Code Tranformation II (event) Barat을 이용한 Code Tranformation II (exception)	Down Down Down Down
2 월 10일	Wireless Toolkit 2.1 - J2ME Benchmark & Test Suite - Barat을 이용한 Code Tranformation Architecture(event) Barat을 이용한 Code Tranformation Architecture (Exceptiont)	Down Down Down
1 월 28일	WTK21- Of Lime WTK21 - OF Lime <Summury> Barat을 이용한 Code Tranformation II (event) Barat을 이용한 Code Tranformation II (exception)	Down Down Down Down
1 월 28일	WTK21- Of Lime WTK21 - OF Lime <Summury> Barat을 이용한 Code Tranformation II (event) Barat을 이용한 Code Tranformation II (exception)	Down Down Down Down
1 월 28일	WTK21- Of Lime WTK21 - OF Lime <Summury> Barat을 이용한 Code Tranformation II (event) Barat을 이용한 Code Tranformation II (exception)	Down Down Down Down
3 월 15일	WTK21- Of Lime WTK21 - OF Lime <Summury> Barat을 이용한 Code Tranformation II (event) Barat을 이용한 Code Tranformation II (exception)	Down Down Down Down
3 월 29일	WTK21- Of Lime WTK21 - OF Lime <Summury> Barat을 이용한 Code Tranformation II (event) Barat을 이용한 Code Tranformation II (exception)	Down Down Down Down
4 월 12일	WTK21- Of Lime WTK21 - OF Lime <Summury> Barat을 이용한 Code Tranformation II (event) Barat을 이용한 Code Tranformation II (exception)	Down Down Down Down
4 월 26일	WTK21- Of Lime	Down

세미나(2004년 가을) TOP

DATE	Subject	PPT
9 월 23일	* 자바 객체지향 프로그래밍 * JDBC / WAP	Down Down
10월 7 일	* J2ME 개발 살펴보기	Dow n
10월 14일	* CLDC 와 MIDP 살펴보기	Down
10월 21일	* MIDLet 프로그래밍 기초	Down
10월 28일	* MIDP 사용자 인터페이스	Down
11월 4 일	* MIDP 이벤트 다루기 * MIDP 그래픽 사용하기	Down
11월 11일	* MIDP 네트워크 프로그래밍	Down
10월 18일	* MIDP RMS를 이용한 데이터 저장하기	Down

세미나(2005년 1-2월) TOP