항목

  • 정적 프로그램 분석 (관련어 정적 코드 분석) Static progra..
    정적 프로그램 분석(static program analysis)은 실제 실행 없이 컴퓨터 소프트웨어를 분석하는 것을 말한다. 대부분의 경우에 분석은 소스 코드의 버전 중 하나의 형태로 수행되며, 가끔은 목적 파일 형태로 분석된다. 이에 반하여 실행 중인 프로그램을 분석하는 것을 동적 프로그램 분석이라고 한다.저널 인용 이 용...
    도서 위키백과
  • 정적 분석 static analysis
    프로그램을 수행시키지 않고 프로그램을 평가하는 분석. 원시코드의 구조적 특징, 설계 사양 혹은 잘 정의된 구문 법칙과 일치하는 임의의 표기법을 이용한 표현을 평가하는 기법이며, 이는 프로그램의 구조와 연관성이 있기 때문에 초기화되지 않은 변수와 실제 매개변수와 형식 매개변수 사이에서의 불일치 같은 구조...
    분야 :
    프로그래밍
  • 동적 프로그램 분석 Dynamic program analysis, 動的プログ..
    AppScan Intel Thread Checker Intel Parallel Inspector Jalangi OpenPAT는 프로그램 실행 시 동적 실행 추적 정보와 함께 툴을 호출해서 정적으로 어셈블리와 바이트코드를 인스트루먼트한다. 메모리 누수 감시에 사용된다. Parasoft Insure++는 런타임 메모리 분석과 오류 탐지 툴이다. 이것의 Inuse 컴포넌트는 시간...
    도서 위키백과
  • 불필요한 코드 Dead code
    불필요한 코드 분석은 유효 변수 분석을 사용함으로써 수행되는데, 이것은 정적 코드 분석과 데이터 흐름 분석의 한 형태이다. 이것은 제어 흐름 분석에 기초한 도달할 수 없는 코드 분석과 대조를 이룬다. 불필요한 코드 제거 기법은 도달할 수 없는 코드(unreachable code) 제거와 중복 코드(redundant code) 제거...
    도서 위키백과
  • 코드마인드
    언어 연구회, 경북대 SW재난연구센터, KAIST 사이버보안연구센터 등과 산학협약을 맺고 산학연구교류를 활발하게 진행하고 있다. 코드마인드 정적분석 기술은 그래프 DB 기반 코드분석 프레임워크를 이용한 특허 기술로서 다음의 특징을 나타낸다. 온더플라이 정적분석 최신 요약해석 프레임워크 결함추적 그래프 변경분...
    도서 위키백과
  • 이동통신단말소프트웨어개발관리자
    위해 코드빌드시스템 및 코드관리시스템을 운용한다. 결함검출, 결함등록, 결함이력관리, 결함담당자지정, 결함해결 여부를 관리하는 코드결함관리시스템을 운용한다. 정적코드분석결과를 통해 소프트웨어의 특성을 파악하고 단말 최적화에 적용한다. 라이선스(License) 분석을 위하여 단말제품소프트웨어에 포함된 다양...
    교육수준 :
    14년 초과 ~ 16년 이하(대졸 정도)
    숙련기간 :
    2년 초과 ~ 4년 이하
    작업강도 :
    가벼운 작업
    작업장소 :
    실내
    직무기능(자료) :
    종합
    직무기능(사람) :
    말하기-신호
    직무기능(사물) :
    제어조작
    고용직업분류 :
    [1331]시스템 소프트웨어 개발자
    표준직업분류 :
    [2222]시스템 소프트웨어 개발자
    표준산업분류 :
    [C264]통신 및 방송 장비 제조업
    조사연도 :
    2014년
    도서 한국직업사전 | 태그 직업
  • 자료형 체계 Type system, 型システム
    if then 42 else 는 자료형 오류를 일으키며 거부될 것이다. 왜냐하면 정적 분석은 else 분기가 실행되지 않는다는 사실을 확인할 수 없기 때문이다.서적 인용...보수적인 동작은 가끔씩 를 false로 평가할 때 유익하다. 정적 자료형 검사기는 드물게 사용되는 코드 경로에서 자료형 오류를 감지할 수 있다. 정적 형...
    도서 위키백과
  • 변수 영역 Scope (computer science), スコープ (プログラミング)
    된다. 동적 영역 규칙은 이런 특성으로 인해 소스 코드 단위에서 변수의 사용 가능 여부를 분석할 수 없고, 실행 시의 동작에 따라 변수의 사용 가능 여부가...만들어낼 수 있기 때문에, 현대 프로그래밍 언어들은 대부분 정적 영역 규칙을 사용한다. 정적 영역 규칙의 경우, 함수 square의 인자 n과 함수 sum_of...
    도서 위키백과
  • 악성 소프트웨어 Malware, マルウェア
    이메일이나 웹으로 감염되는 경우가 훨씬 많아졌다. 악성코드분석 방법은 크게 코드 정적 분석 (Static code analysis)과 코드 동적 분석 (Dynamic code analysis) 두 종류로 나눌 수 있다. 코드 정적 분석의 경우는 프로그램을 디스어셈블하는 디버깅프로그램 들을 이용하는 방법으로 Immunity Debugger, 올리디버거...
    도서 위키백과
  • Cppcheck Cppcheck
    소프트웨어 정보 Cppcheck는 C, C++ 프로그래밍 언어용 정적 코드 분석 도구이다. 비표준 코드를 검사할 수 있는 다목적 도구이다. 제작자이자 선임 개발자는 Daniel Marjamäki이다. Cppcheck는 GNU 일반 공중 사용 허가서로 배포되는 자유 소프트웨어이다. Cppcheck는 컴파일러 자체에서 다루지 않을 수 있는 다양한...
    도서 위키백과
  • 제어 흐름 분석 Control flow analysis, 控制流分析
    흐름은 프로그램의 소스 코드에 분명히 나와 있다. 결과적으로 프로시저 사이의 제어 흐름 분석은 종종 명백하게 함수나 메소드 호출의 수신자를 결정하는 정적 분석 기법과 관련있다. 예를 들면 스킴같은 고계 함수를 사용하는 프로그래밍 언어에서, 함수 호출의 대상은 명백하지 않을 수 있다. (lambda (f) (f x...
    도서 위키백과
  • 코드 커버리지 Code coverage, コード網羅率
    측정하는 법은 사람이 로그를 찍어가거나 디버거를 이용하여 볼수는 있으나 매우 힘든 과정이다. 시중에는 많은 코드커버리지 측정 도구가 나와 있으며, 대표적인 도구로 DT10, LDRA, VectorCAST, CodeScroll Controller Tester, QualityScroll Cover 라는 도구가 있다. 회귀 테스트 정적 프로그램 분석 화이트박스 검사
    도서 위키백과
이전페이지 없음 현재페이지1 2 3 4 5 다음페이지 없음