$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

정적분석을 이용한 자바 프로그램의 예외 전파 시각화
Visualization of Exception Propagation for Java Programs based on Static Analysis 원문보기

정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용, v.30 no.7/8, 2003년, pp.696 - 702  

허순희 (숙명여자대학교 전산학과) ,  창병모 (숙명여자대학교 전산학과)

초록
AI-Helper 아이콘AI-Helper

본 논문에서는 자바 프로그램의 예외 전파 경로를 추정하기 위한 집합 기반 분석을 제시하고 분석 결과를 이용하여 예외 전파 경로를 시각적으로 보여주는 시각화기를 제시한다. 본 논문에서는 예외 전파 분석기 및 시각화기를 구현하였다. 프로그래머는 시각화기를 이용하여 예외 전파 경로를 따라가면서 처리되지 않는 예외들을 감지하고 예외들을 보다 효과적으로 처리할 수 있다.

Abstract ▼ AI-Helper 아이콘AI-Helper

This paper presents a static analysis based on set-based framework which estimates exception propagation paths of Java programs, and a visualization tool which visualizes propagation paths of exceptions using the static analysis information. We have implemented the exception propagation analysis and...

주제어

#자바   #예외 전파   #예외 분석   #집합 기반 분석  

AI 본문요약
AI-Helper 아이콘 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

문제 정의

  • 따라서 S 안에서 예외 전파 규칙을 수정해 유한 해를 구하기 위한 새로운 규칙을 설계한다. 기본 아이디어는 예외 전파 경로를 이를 구성하는 에지(edge)들로 나타내는 것이다.
  • 본 논문에서는 예외 전파 경로들을 추정하는 정적 분석을 제시하고 이 정적 분석 정보를 이용해서 예외 전파 경로를 시각적으로 보여주는 시각화 시스템을 구현하였다. 이 시스템은 프로그래머로 하여금 처리되지 않는 예외들을 찾아내고 처리되지 않는 예외들을 정확하게 선언할 수 있도록 도움을 준다.
  • 본 논문에서는 자바 프로그램의 예외 전파 경로를 추정하기 위한 집합 기반 분석을 제안하고 분석 결과를 이용하여 예외 전파 경로를 시각적으로 보여주는 시각화기를 제시한다. 예외 전파 분석기는 자바 컴파일러 전단부인 Barat⑸을 기반으로 하여 구현하였으며 예외전파경로를 시각화하는 시각화기를 공개 소스 개발 환경인 Jipe[6] 상에 구현하였다.
  • 본 논문에서는 정적 분석을 간단하게 표현하기 위해서 자바 예외 구조들을 포함한 가상의 자바 언어를 고려한다. 그림 1은 가상 자바 언어를 위한 추상 구문이다.
본문요약 정보가 도움이 되었나요?

참고문헌 (9)

  1. B.-M. Chang, J. Jo, K. Yi, and K. Choe, 'Interprocedural Exception Analysis for Java', Proceedings of ACM Symposium on Applied Computing , pp 620-625, Mar. 2001 

    crossref

  2. M. P. Robillard and G. C. Murphy, Analyzing exception flow in Java programs, Proc. of '99 European Software Engineering Conference and ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 322-337, Springer-Verlag 

    crossref

  3. K. Yi and B.-M. Chang Exception analysis for Java, ECOOP Workshop on Formal Techniques for Java Programs, June 1999, Lisbon, Portugal 

  4. S. Sinha and M. Harrold, Analysis and testing of programs with exception-handling constructs, IEEE Transactions on Software Engineering 26(9) (2000) 

    상세보기 crossref

  5. Barat, http://www.sharemation.com/~bokowski/ba rat/index.html 

  6. S. Koleth , M. Hansen, R. Zsolt, Jipe, http://jipe.sourceforge.net 

  7. N. Heintze, 'Set-based program analysis'. Ph.D thesis, Carnegie Mellon University, October 1992 

  8. S. Drossopoulou, and S. Eisenbach, 'Java is type safe-probably', Proceedings of 97 European Conference on Object-Oriented Programming, 1997 

    상세보기 crossref

  9. S. Drossopoulou, and T. Valkevych, 'Java type soundness revisited'. Techical Report, Imperial College, November 1999. Also available from: http://www-doc.ic.ac.uk/~scd 

저자의 다른 논문 :

관련 콘텐츠

이 논문과 함께 이용한 콘텐츠

저작권 관리 안내
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로