일반기술
코드 오류 검출 소프트웨어
시스템 소프트웨어의 복잡성이 증가함에 따라 소프트웨어 오류 검출을 위한 효과적인 방법들이 필요해 졌다. MC 검사자는 OS 핵심, 내장 시스템, 자료집과 같은 복잡한 시스템에서 오류들을 검출하기 위하여 확장 가능한, 컴파일러 기반 정적 분석을 사용한다. 검사자는 시스템-관련, 프로그램 작성자-관련 “규칙들”의 위반을 검출한다. MC 검사자는 시스템 충돌을 줄이고, 보안 구멍을 찾고, 성능을 향상시킴으로써 시스템 건설을 돕는다.- 소프트웨어의 실행을 요구하지 않는다. - 컴파일러 확장을 쓰기 위해 단 1명의 소프트웨어 수행자를 요구하고, 이것은 모든 다른 수행자 코드에 적용될 수 있다. 소프트웨어 오류를 검출하기 위해 컴파일러-기반 정적 분석을 사용한다. - C와 자바로 쓰여진 시스템 소프트웨어에서 성능을 향상시킨다. - OS 핵심, 내장 시스템, 자료집 등을 포함하는 복합 시스템을 시험한다.
기술정보
- 기술분류
- 정보 > 기타 시스템 소프트웨어
- 보유기관
- 중앙대학교
- 기술유형
- 일반기술
- 등록일
- 2003-08-19
- 데이터 갱신일
- 정보 없음
상세설명
정보 없음
관련 특허
등록된 관련 특허가 없습니다.