Journal article
Teaching formal methods lite via testing
Software Testing Verification and Reliability, Vol.11(3), pp.181-195
2001
Abstract
A new style of formal methods course is described, based on a pragmatic approach that emphasizes testing. The course introduces students to formal specification using Z, and shows how formal specification and testing can benefit each other, in both the validation and verification phases. It uses a tools-based approach, with practical work that reinforces formal specification techniques as well as traditional software engineering skills, such as unit and system testing, inspection and defensive programming with assertions. The two main results are to identify several practical uses of formal specifications that are not widely practised or taught, and to demonstrate that teaching them results in a more interesting and relevant formal methods course. Copyright © 2001 John Wiley & Sons, Ltd.
Details
- Title
- Teaching formal methods lite via testing
- Authors
- Mark Utting (Author) - University of Waikato, New ZealandS Reeves (Author) - University of Waikato, New Zealand
- Publication details
- Software Testing Verification and Reliability, Vol.11(3), pp.181-195
- Publisher
- John Wiley & Sons Ltd.
- Date published
- 2001
- DOI
- 10.1002/stvr.223
- ISSN
- 0960-0833
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99448628802621
- Output Type
- Journal article
Metrics
628 Record Views
InCites Highlights
These are selected metrics from InCites Benchmarking & Analytics tool, related to this output
- Web Of Science research areas
- Computer Science, Software Engineering