Specifications and Assertions

Abstract
As a start, we give further examples of Alloy specifications. Next we turn to specification of imperative programs. Assertions about programs are specifications of how the program is supposed to behave. Assertions can be used for correctness reasoning and for testing. We illustrate the important notions of preconditions and postconditions. We demonstrate how the state transitions of imperative programming can be modelled as relations in Alloy. Correctness reasoning can be linked to testing and debugging by means of executable assertions, and by means of random generation of test cases based on preconditions and postconditions
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Translate to english
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,224
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Assertions in Literary Fiction.Jukka Mikkonen - 2009 - Minerva - An Internet Journal of Philosophy 13:144-180.
Logic of Assertions.Ton Sales - 1996 - Theoria 11 (1):203-228.
On Disagreement About Perception.Kenneth M. Sayre - 1964 - Inquiry : An Interdisciplinary Journal of Philosophy 7 (1-4):143 – 162.
Can It Be Morally Permissible to Assert a Falsehood in Service of a Good Cause?Christopher Kaczor - 2012 - American Catholic Philosophical Quarterly 86 (1):97-109.
Telling Tales.Antony Eagle - 2007 - Proceedings of the Aristotelian Society 107 (1pt2):125 - 147.
On Existence in Set Theory.Rodrigo A. Freire - 2012 - Notre Dame Journal of Formal Logic 53 (4):525-547.
Performatives and Antiperformatives.Ingvar Johansson - 2003 - Linguistics and Philosophy 26 (6):661-702.
Must We Know What We Say?Matthew Weiner - 2005 - Philosophical Review 114 (2):227-251.
Added to PP index
2010-11-21

Total downloads
17 ( #290,787 of 2,191,991 )

Recent downloads (6 months)
1 ( #289,020 of 2,191,991 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature