Toward credible IT testing and certification

IEEE Software

Volumn 16, Issue 4, 1999, Pages 39-47

  Wakid, Shukri A ^b   Kuhn, D Richard ^a   Wallace, Dolores R ^b  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER SYSTEMS PROGRAMMING; INFORMATION TECHNOLOGY; RESPONSE TIME (COMPUTER SYSTEMS);

SOFTWARE CERTIFICATION;

SOFTWARE ENGINEERING;

EID: 0032674056     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.776947     Document Type: Article

References (7)

1. ANSI/NCSL Z540-1-1994, American Nat'l Standards Inst., New York, 1994.
2. Recommendation INC-1, Working Group on the Statement of Uncertainties, Bureau International des Poids et Mesures, Sévres, France, 1980.
3. Metrology for Information Technology, NIST IR 6025, National Inst. of Standards and Technology, May 1997.
4. ISO/IEC Guide 2:1996, Standardization and Related Activities - General Vocabulary, Int'l Standards Organization, Geneva, 1996.
5. Security Requirements for Crytographic Modules, FIPS PUB 140-1, US Dept. Commerce, Nat'l Inst. Standards and Technology, New York, 1994.
6. D.R. Wallace, "Enhancing Competitiveness via a Public Fault and Failure Data Repository," Proc. IEEE High-Assurance Systems Eng. Symp., IEEE Computer Soc. Press, Los Alamitos, Calif., 1998.
7. P.E. Ammann, P.E. Black, and W. Majurski, "Using Model Checking to Generate Tests from Specifications," Proc. IEEE Int'l Conf. Formal Eng. Methods, IEEE Computer Soc. Press, Los Alamitos, Calif., 1998.