Program Specification Testing within an Integrated Programming Environment

Simple item page
dc.contributor.authorCartwright, Robert
dc.date.accessioned2018-06-18T17:23:13Z
dc.date.available2018-06-18T17:23:13Z
dc.date.issued1983-11
dc.date.noteNovember 1983
dc.description.abstractOur research breaks down into three parts. First, we are exploring the mathematical foundations of program specifications and applying the understanding that we gain to the subject of specification language design. The success of a specification and testing system hinges on the quality of the underlying specification language. We are particularly concerned with the special problems posed by floating point arithmetic and concurrency. Second, we are developing more sophisticated methods - employing a judicious combination of verification and testing - for certifying that programs implement their formal specifications. Finally, to test the effectiveness of ideas, we are building an experimental program specification and testing system as an extension of the <em>R^n</em> Programming Environment already under development at Rice.
dc.format.extent34 pp
dc.identifier.citationCartwright, Robert. "Program Specification Testing within an Integrated Programming Environment." (1983) <a href="https://hdl.handle.net/1911/101569">https://hdl.handle.net/1911/101569</a>.
dc.identifier.digitalTR83-27
dc.identifier.urihttps://hdl.handle.net/1911/101569
dc.language.isoeng
dc.titleProgram Specification Testing within an Integrated Programming Environment
dc.typeTechnical report
dc.type.dcmiText
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR83-27.pdf
Size:
644.32 KB
Format:
Adobe Portable Document Format
Download
Collections
CAAM Technical Reports