CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

QuickSpec: Guessing Formal Specifications using Testing

Koen Claessen (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Nicholas Smallbone (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; John Hughes (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Lecture Notes in Computer Science. 4th International Conference on Tests and Proofs, TAP 2010, Malaga, 1-2 July 2010 (0302-9743). Vol. 6143 (2010), p. 6-21.
[Konferensbidrag, refereegranskat]

We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem proving. The main challenge QuickSpec faces is to keep the number of generated equations to a minimum while maintaining completeness. We demonstrate how QuickSpec can improve one’s understanding of a program module by exploring the laws that are generated using two case studies: a heap library for Haskell and a fixed-point arithmetic library for Erlang.

Denna post skapades 2010-08-26. Senast ändrad 2013-09-28.
CPL Pubid: 125255


Läs direkt!

Lokal fulltext (fritt tillgänglig)

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)


Information Technology

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

Property-based testing for functional programs

Lightweight verification of functional programs