Abstract
Describes assurance techniques for Year-2000 (Y2K) testing. The Y2K problem is an important issue in the computer industry today, and testing is still the main technique for quality assurance. There is a need to ensure that the software is reasonably safe from Y2K faults after testing. This paper uses a statistical model for ensuring this, and it explicitly models Y2K faults as well as the ripples induced by Y2K modifications. The paper then describes two processes that use the model in practice: A bottom-up process that can be used together with software development, and a top-down process that can be used when the project is almost completed. These processes can be easily embedded in an existing testing process with minimal changes and minimal extra effort.
Original language | English (US) |
---|---|
Title of host publication | Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
Pages | 27-34 |
Number of pages | 8 |
ISBN (Electronic) | 0769504183, 9780769504186 |
DOIs | |
State | Published - Jan 1 1999 |
Event | 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 - Washington, United States Duration: Nov 17 1999 → Nov 19 1999 |
Publication series
Name | Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 |
---|
Other
Other | 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 |
---|---|
Country/Territory | United States |
City | Washington |
Period | 11/17/99 → 11/19/99 |
Bibliographical note
Publisher Copyright:© 1999 IEEE.
Keywords
- Assurance-based testing
- software testing processes
- Y2K testing