程序分析

Also 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

Vinony's link graph records 89 inbound references to 程序分析, and connects out to operational semantics, software development process and formal verification.

It is catalogued under the topic Program analysis.

Vinony links it to 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

Sources (4)

via Wikidata · CC0

Article · 中文

在计算机科学中，程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。程序分析主要研究两大领域：和程序的正确性。前者研究如何提升程序性能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。程序分析可以在不执行程序的情况下进行（静态程序分析），也可在执行时进行（），或结合二者。

Abstract from DBpedia / Wikipedia · CC BY-SA