한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2000년도 추계학술발표논문집 (하)
- /
- Pages.1409-1412
- /
- 2000
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
IC카드 기술명세 검증을 위한 테스팅 도구에 관한 연구
A Study on Testing Tool for Verification of IC card Technology Specification
- Yeom, Heel-Gyun (Dept of Computer Engineering, Tae-Jon University) ;
- Jang, Woo-Hyun (Dept of Computer Engineering, Tae-Jon University) ;
- Lee, Jong-Yun (Dept of Computer Engineering, Tae-Jon University) ;
-
Hwang, Sun-Myung
(Dept of Computer Engineering, Tae-Jon University)
- 발행 : 2000.10.13
초록
현재 컴퓨터가 실생활의 모든 영역에 중대한 영향을 미치고 있기 때문에, 오류가 없는 소프트웨어에 대한 관심이 증대되고 있다. 오류 없는 안전한 소프트웨어 개발의 거의 유일한 방법은 시스템 개발 초기 단계에서부터 엄격한 검증과 테스트를 행하는 것이다. 그러나, 정작 그 소프트웨어가 적절한 명세에 따라 개발되었는지의 검증과 테스트는 이루어지고 있지 않다. 따라서 본 논문은 그러한 소프트웨어의 일부분인 JavaCard의 기술명세에 따라 제대로 만들어 졌는지의 여부를 검증할 수 있는 검증 테스팅 도구에 관해 연구하고자 한다.
키워드