Content deleted Content added
No edit summary Tags: Reverted Visual edit Mobile edit Mobile web edit |
RandFreeman (talk | contribs) Adding local short description: "Verification that software meets requirements", overriding Wikidata description "overview of techniques for verifying software" |
||
| (6 intermediate revisions by 3 users not shown) | |||
Line 1:
{{Short description|Verification that software meets requirements}}
'''Software verification''' is a discipline of [[software engineering]], [[programming languages]], and [[theory of computation]] whose goal is to assure that software satisfies the expected requirements.
Line 51 ⟶ 52:
* [[Formal verification]]
== References ==
* [[IEEE]]: ''SWEBOK: Guide to the Software Engineering Body of Knowledge''
* [[Carlo Ghezzi]], [[Mehdi Jazayeri]], [[Dino Mandrioli]]: ''Fundamentals of Software Engineering'', Prentice Hall, {{ISBN|0-13-099183-X}}
* [[Alan L. Breitler]]: ''A Verification Procedure for Software Derived from Artificial Neural Networks'', Journal of the International Test and Evaluation Association, Jan 2004, Vol 25, No 4.
* Vijay D'Silva, [[Daniel Kroening]], Georg Weissenbacher: [http://www.kroening.com/papers/tcad-sw-2008.pdf A Survey of Automated Techniques for Formal Software Verification]. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1165-1178 (2008)
[[Category:Software testing]]
| |||