프로그램 분석
Sign in to saveAlso known as software analysis, computer program analysis, analysis of programs, analysis of computer programs, analysis of software
process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness
In the Vinony graph
Within Vinony's link graph, 프로그램 분석 is referenced by 89 other articles, and connects out to operational semantics, software development process and formal verification.
It is catalogued under the topic Program analysis.
Its subject is documented across 10 Wikipedia language editions.
Wikidata facts
- Subclass of
- analysis
Show 5 more facts
- topic's main category
- Category:Program analysis
- ACM Classification Code (2012)
- 10010143
- Commons category
- Program analysis
- uses
- computer program
- class of object(s) of occurrence
- computer program
via Wikidata · CC0
Connections
operational semantics
Entity
software development process
Entity
formal verification
Entity
correctness
Entity
dynamic program analysis
Entity
Isabelle
Entity
computer science
Entity
International Standard Book Number
Entity
C
Entity
digital object identifier
Entity
compiler
Entity
software engineering
Entity
data structure
Entity
Turing machine
Entity
interpreter
Entity
software development
Entity
software testing
Entity
integrated development environment
Entity
agile software development
Entity
debugger
Entity