목차
20 처지: 데이터 흐름 분석, 동적 프로그램 분석, 리버스 엔지니어링, 목적 파일, 객체 관리 그룹, 결정 문제, 보안 취약점, 기호 실행, 스탠퍼드 대학교, 정지 문제, 정형 기법, 추상화 (컴퓨터 과학), 코드 감사, 코드 검토, 쿠르트 괴델, 팟캐스트, 유한 상태 기계, 소스 코드, 소프트웨어 품질, 앨런 튜링.
- 소프트웨어 공학
- 프로그램 분석
데이터 흐름 분석
이터 흐름 분석(Data-flow analysis)은 컴퓨터 프로그램에서 다양한 지점에서 계산된 가능한 값들의 집합에 대한 정보를 모으는 기법이.
동적 프로그램 분석
동적 프로그램 분석은 프로그램 분석으로서 실제 또는 가상 프로세서에서 프로그램을 실행함으로써 수행.
리버스 엔지니어링
리버스 엔지니어링() 또는 역공학(逆工學)은 장치 또는 시스템의 기술적인 원리를 그 구조분석을 통해 발견하는 과정이.
목적 파일
학에서 목적 코드 또는 목적 파일은 컴파일러나 어셈블러가 소스 코드 파일을 컴파일 또는 어셈블해서 생성하는 파일이.
객체 관리 그룹
OMG(Object Management Group, 객체 관리 그룹)는 분산 객체에 대한 기술 표준을 제정하기 위해 1989년에 설립된 비영리 단체로서 현재는 800여 개 이상의 업체들이 참여하고 있. 이 단체에는 Oracle, Microsoft, NASA 등이 있. 그리고 모델링을 위한 새로운 포커스와 모델 기반의 기술을 표준화.
결정 문제
산 이론에서 결정 문제(decision problem, 판정 문제)란 어떤 형식 체계에서 예-아니오 답이 있는 질문을 말..
보안 취약점
약점(vulnerability)은 공격자가 시스템의 정보 보증을 낮추는데 사용되는 약점이.
기호 실행
호 실행은 컴퓨터 과학 및 컴퓨터 공학 분야에서 사용하는 용어로써, 컴퓨터 프로그램의 입력값에 대한 실행 경로를 분석하기 위한 기법이.
스탠퍼드 대학교
릴런드 스탠퍼드 주니어 대학교()는 1891년에 릴런드 스탠퍼드가 설립한 미국 캘리포니아 주 스탠퍼드에 위치한 연구 중심 사립 대학이.
정지 문제
산 복잡도 이론에서 정지문제(停止問題, halting problem)는 판정 문제의 일종으로 다음과 같이 요약할 수 있. 1936년에 앨런 튜링이 모든 가능한 입력값에 대해 정지문제를 풀 수 있는 일반적인 알고리즘 은 존재하지 않는다는 것을 증명.
정형 기법
Z 언어를 이용한 형식 명세서의 예 컴퓨터 과학, 특히 소프트웨어 공학에서 정형 기법(형식 수법)은 소프트웨어와 하드웨어 시스템의 명세, 개발, 형식 검증을 위한 특정한 종류의 수학적 기반 기술이.
추상화 (컴퓨터 과학)
학에서 추상화(abstraction)는 복잡한 자료, 모듈, 시스템 등으로부터 핵심적인 개념 또는 기능을 간추려 내는 것을 말.
코드 감사
소프트웨어 코드 감사 (code audit)는 프로그래밍 프로젝트에서 버그, 보안 위반 또는 프로그래밍 규칙을 위배하는 것을 발견하는 것을 목적으로 소스 코드를 종합적으로 분석하는 것이.
코드 검토
(code review)는 코드를 개발자가 작성하고, 다른 개발자가 정해진 방법을 통해 검토하는 일을 말. 등위 검사, 제3자 검사.
쿠르트 괴델
르트 괴델(1906년 4월 28일 ~ 1978년 1월 14일)은 불완전성의 정리로 유명한 수학자이자 논리학자이.
팟캐스트
시리얼 팟캐스트가 재생되고 있다. 팟캐스트(podcast) 또는 넷캐스트(netcast)는 시청을 원하는 사용자들이 원하는 프로그램을 선택하여 자동으로 구독할 수 있도록 하는 인터넷 방송이.
유한 상태 기계
유한 상태 기계(finite-state machine, FSM) 또는 유한 오토마톤(finite automaton, FA; 복수형: 유한 오토마타 finite automata)는 컴퓨터 프로그램과 전자 논리 회로를 설계하는데에 쓰이는 수학적 모델이.
소스 코드
파이썬 프로그래밍 언어의 소스 코드. 알아보기 쉽게 하기 위해 여러 가지 색으로 강조되어 있다. 소스 코드(source code) 또는 원시 코드란 컴퓨터 프로그램을 (사람이 읽을 수 있는) 프로그래밍 언어로 기술한 글을 말. 한 개, 또는 여러 개의 텍스트 파일로 구성되어 있.
소프트웨어 품질
소프트웨어 공학에서 소프트웨어 품질(software quality)은 비즈니스 문맥에서 품질이 정의된 곳에 존재하는, 두 개의 서로 관련되면서도 구별된 개념을 가리.
앨런 튜링
앨런 매티슨 튜링(OBE, FRS, 1912년 6월 23일 ~ 1954년 6월 7일)은 영국의 수학자, 암호학자, 논리학자이자 컴퓨터 과학의 선구적 인물이.
참고하세요
소프트웨어 공학
- 구성 관리
- 소프트웨어 개발 수명 주기
- 소프트웨어 개발 프로세스
- 소프트웨어 공학
- 소프트웨어 설계
- 애자일 소프트웨어 개발
- 정적 프로그램 분석
- 제품계열공학
- 추상화 (컴퓨터 과학)
- 컴포넌트 기반 소프트웨어 공학
- 통합 개발 환경
프로그램 분석
- 기호 실행
- 동적 프로그램 분석
- 자료형 체계
- 정적 프로그램 분석
- 컴파일러 컴파일러
- 프로그램 분석
또한 정적 코드 분석, 정적분석로 알려져 있다.