Assertion (software development)
In computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate (a Boolean-valued function over the state space, usually expressed as a logical proposition using the variables of a program) connected to a point in the program, that always should evaluate to true at that point in code execution. Assertions can help a programmer read the code, help a compiler compile it, or help the program detect its own defects.
- Comment
- enIn computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate (a Boolean-valued function over the state space, usually expressed as a logical proposition using the variables of a program) connected to a point in the program, that always should evaluate to true at that point in code execution. Assertions can help a programmer read the code, help a compiler compile it, or help the program detect its own defects.
- Has abstract
- enIn computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate (a Boolean-valued function over the state space, usually expressed as a logical proposition using the variables of a program) connected to a point in the program, that always should evaluate to true at that point in code execution. Assertions can help a programmer read the code, help a compiler compile it, or help the program detect its own defects. For the latter, some programs check assertions by actually evaluating the predicate as they run. Then, if it is not in fact true – an assertion failure – the program considers itself to be broken and typically deliberately crashes or throws an assertion failure exception.
- Hypernym
- Statement
- Is primary topic of
- Assertion (software development)
- Label
- enAssertion (software development)
- Link from a Wikipage to an external page
- blog.regehr.org/archives/1091
- discovery.ucl.ac.uk/4991/1/4991.pdf
- queue.acm.org/detail.cfm%3Fid=2220317
- ieeexplore.ieee.org/stamp/stamp.jsp%3Ftp=&arnumber=1203056
- Link from a Wikipage to another Wikipage
- Alan Turing
- Assertion definition language
- Boolean-valued function
- C. A. R. Hoare
- C (programming language)
- C++
- C++11
- C1X
- Category:Conditional constructs
- Category:Debugging
- Category:Formal methods
- Category:Logic in computer science
- Class (computer science)
- Comment (computer programming)
- Compiler
- Compiler optimizations
- Computer programming
- Core dump
- Crash (computing)
- D (programming language)
- Dead code elimination
- Debugger
- Design by contract
- Development cycle
- Eiffel (programming language)
- Exception handling
- Flowchart
- Glibc
- Heisenbug
- Herman Goldstine
- Hoare logic
- IAS machine
- Imperative programming
- Invariant (computer science)
- Java (programming language)
- Java Modeling Language
- John von Neumann
- Library (computing)
- Logical proposition
- Modulo operation
- Null pointer
- Postcondition
- Precondition
- Predicate (mathematical logic)
- Preprocessor
- Production environment
- Python (programming language)
- Remainder
- Run time (program lifecycle phase)
- Runtime system
- Security Assertion Markup Language
- Segmentation fault
- Side-effect (computer science)
- Stack trace
- Statement (programming)
- State space
- Static code analysis
- Switch statement
- Template metaprogramming
- Test-driven development
- Variable (programming)
- SameAs
- 4uaDh
- Állítás (programozás)
- Aserce
- Aserción (informática)
- Asercja (informatyka)
- Asserção
- Assertie
- Assertion (Informatik)
- Assertion (phát triển phần mềm)
- Assertion (software development)
- Asserzione (informatica)
- m.01h v3
- Q741248
- Припущення (програмування)
- Сцвярджэнне (праграмаванне)
- Утверждение (программирование)
- טענת נכונות
- 斷言 (程式)
- 表明 (プログラミング)
- 표명
- Subject
- Category:Conditional constructs
- Category:Debugging
- Category:Formal methods
- Category:Logic in computer science
- WasDerivedFrom
- Assertion (software development)?oldid=1092669670&ns=0
- WikiPageLength
- 20122
- Wikipage page ID
- 234018
- Wikipage revision ID
- 1092669670
- WikiPageUsesTemplate
- Template:About
- Template:Reflist
- Template:Short description