일반기술
프로그램분석기자동생성시스템
프로그램 분석 기술은 보다 경쟁력이 있는 소프트웨어를 만들기 위해 필수적인 기술이다. 프로그램 분석 기술은 프로그램 실행 중에 일어나는 일을 프로그램을 실행하지 않고 알아내는 것을 가능하게 해 주는 기술이다. 이 기술은 전통적으로 최적화된 실행 파일을 생성하는 컴파일러의 제작에 이용되어 왔으며, 최근에는 소프트웨어의 오류를 찾아내고 안전성을 검증하는 데에도 이용되어 좋은 성과를 거두고 있다. 우리의 기술은 간단한 명세로부터 프로그램 분석기를 자동으로 생성하는 방법을 제공한다. 이러한 기술은 프로그램 분석기술을 보다 쉽고 빠르게 실제 소프트웨어 개발에 적용하기 위해서는 필수적인 기술이다.- 경쟁력 있는 소프트웨어 개발을 위한 기반 기술 - 많은 부분을 자동화하여 실제 현장에 적용이 가능한 기술
기술정보
- 기술분류
- 기계 > 정보산업장비기술
- 보유기관
- 한국과학기술기획평가원
- 기술유형
- 일반기술
- 등록일
- 2004-11-24
- 데이터 갱신일
- 정보 없음
상세설명
정보 없음
관련 특허
등록된 관련 특허가 없습니다.