Teaching formal methods lite via testing

Home

List Of Titles

Add to Quick Collection

Title: Teaching formal methods lite via testing
Author/Creator: Utting, Mark | Reeves, S
Description: 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.
Relation: Software Testing Verification and Reliability / Vol. 11, No. 3, pp.181-195
Relation: http://dx.doi.org/10.1002/stvr.223
Year: 2001
Publisher: John Wiley & Sons Ltd.
Subject: FoR 0803 (Computer Software) | testing | specifications | assertions | teaching | formal methods

374 Visitors

0 Downloads

USC Research Bank - University of the Sunshine Coast, Queensland, Australia