Three-Day Workshop
for instructors of courses on software development
Teaching Software Correctness
Offered by
Rex
Page Univ Oklahoma
Carl
Eastlund Northeastern Univ
Up to 20 participants
Registration: email page@ou.edu |
Supported by National
Science Foundation
 |
Topic
Automated testing and mechanical logic as practical tools |
Goal
Educational modules for all levels of undergraduate study |
Format
Lectures: 9:00-10:30, 1:30-2:30, 5:30-6:00
Labs: 10:30-12:00, 2:30-5:30
No prior experience needed in automated
testing or mechanical logic |
Expenses
No fees for the workshop, software
tools or computers
Lodging provided to participants at
no charge
for a limited number
of participants
Participants provide their own transportation and meals |
Thesis
Predicate-based automatic testing and mechanical logic are practical tools for
software engineering that make defect-free software a feasible and pragmatic
goal.
Evidence
Rex Page and Carl Eastlund have successfully used predicate-based automated
testing and mechanical logic through the DrScheme
/ DrACuLa programming
environment for both lower and upper division courses on software development.
They have found that students experiencing the use of these tools gain an
improved understanding of what software bugs are, how to prevent them, and what
it means for software to be defect free.
Participant Activities
- See existing course materials for predicate-based automated
testing and mechanical logic
- Learn through practice in the lab how to use these tools
- Begin to integrate derived materials into your own
educational offerings
Experience reports
With seniors: Rex
Page
With freshman: Eastlund,
Vaillancourt, and Felleisen
With programming environment: Vaillancourt,
Page, and Felleisen