Math counts: software correctness and a SIGCSE 2008 BoF
Abstract
Interesting how the term "software correctness" keeps popping up in this column. What is correct software, and can it be achieved -- if so how? The Math CountS columns strive to provide some insights into answering the latter question. One example I used in my entry level classes was developing the software for a heart pacemaker. Pushing the popular develop and test analogy to its limit, the pacemaker developer would test the system on a patient. If problems arose, e.g., death, then debug and test again. Finding agreeable test candidates would be a key to this approach ** SMILE *.
Index Terms
- Math counts: software correctness and a SIGCSE 2008 BoF
Recommendations
Design for low test pattern counts
DAC '15: Proceedings of the 52nd Annual Design Automation ConferenceThis paper presents a new method to design digital circuits for low pattern counts, one of the key factors shaping cost-effective VLSI test schemes. The method identifies the largest conflicts between internal signals that prevent efficient test ...
An expert system for the interpretation of full blood counts and blood smears in a hematology laboratory
The Technicon H1 blood cell analyzers are sophisticated instruments that are used in many hematology laboratories throughout the world. The H1 enables a technologist or hematologist to evaluate a patient's blood picture through the interpretation of a ...
Comments
Information & Contributors
Information
Published In
Copyright © 2008 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 30 November 2008
Published in SIGCSE Volume 40, Issue 4
Check for updates
Qualifiers
- Column
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 65Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 15 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in