Assurance-based Y2K testing

W. T. Tsai; Raymond Paul; Weiguang Shao; Sanjai Rayadurgam; Jinbao Li

doi:10.1109/HASE.1999.809472

Assurance-based Y2K testing

W. T. Tsai, Raymond Paul, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li

University of Minnesota Twin Cities

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

12 Scopus citations

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	https://doi.org/10.1109/HASE.1999.809472
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

Access

10.1109/HASE.1999.809472

OpenUrl availability

Full text

Cite this

Tsai, W. T., Paul, R., Shao, W., Rayadurgam, S., & Li, J. (1999). Assurance-based Y2K testing. In Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 (pp. 27-34). Article 809472 (Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/HASE.1999.809472

Assurance-based Y2K testing. / Tsai, W. T.; Paul, Raymond; Shao, Weiguang et al.
Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999. Institute of Electrical and Electronics Engineers Inc., 1999. p. 27-34 809472 (Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Tsai, WT, Paul, R, Shao, W, Rayadurgam, S & Li, J 1999, Assurance-based Y2K testing. in Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999., 809472, Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999, Institute of Electrical and Electronics Engineers Inc., pp. 27-34, 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999, Washington, United States, 11/17/99. https://doi.org/10.1109/HASE.1999.809472

Tsai WT, Paul R, Shao W, Rayadurgam S, Li J. Assurance-based Y2K testing. In Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999. Institute of Electrical and Electronics Engineers Inc. 1999. p. 27-34. 809472. (Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999). doi: 10.1109/HASE.1999.809472

@inproceedings{5479c2ac5d9b4275bdd52c3492506aa5,

title = "Assurance-based Y2K testing",

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.",

keywords = "Assurance-based testing, software testing processes, Y2K testing",

author = "Tsai, {W. T.} and Raymond Paul and Weiguang Shao and Sanjai Rayadurgam and Jinbao Li",

note = "Publisher Copyright: {\textcopyright} 1999 IEEE.; 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 ; Conference date: 17-11-1999 Through 19-11-1999",

year = "1999",

month = jan,

day = "1",

doi = "10.1109/HASE.1999.809472",

language = "English (US)",

series = "Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "27--34",

booktitle = "Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999",

}

TY - GEN

T1 - Assurance-based Y2K testing

AU - Tsai, W. T.

AU - Paul, Raymond

AU - Shao, Weiguang

AU - Rayadurgam, Sanjai

AU - Li, Jinbao

PY - 1999/1/1

Y1 - 1999/1/1

N2 - 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.

AB - 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.

KW - Assurance-based testing

KW - software testing processes

KW - Y2K testing

UR - http://www.scopus.com/inward/record.url?scp=85040789868&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85040789868&partnerID=8YFLogxK

U2 - 10.1109/HASE.1999.809472

DO - 10.1109/HASE.1999.809472

M3 - Conference contribution

AN - SCOPUS:85040789868

T3 - Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999

SP - 27

EP - 34

BT - Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999

Y2 - 17 November 1999 through 19 November 1999

ER -

Assurance-based Y2K testing

Abstract

Publication series

Other

Bibliographical note

Keywords

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this