NIST logo

Publications Portal

You searched on:
Topic Area: Software Testing Metrics

Displaying records 1 to 10 of 102 records.
Resort by: Date / Title


1. Test Generation Using Model Checking and Specification Mutation
Topic: Software Testing Metrics
Published: 11/22/2013
Author: Paul E Black
Abstract: Although building quality into software is paramount, professionals find that testing is necessary to assure that the system will operate as desired. Developing tests can take significant resources. In 1998 NIST showed how tests can be automaticall ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=914289

2. Combinatorial Methods in Testing
Topic: Software Testing Metrics
Published: 6/20/2013
Authors: David R Kuhn, Raghu N Kacker
Abstract: Chapter 1 in "Introduction to Combinatorial Testing" from CRC Press. Background material for Introduction to Combinatorial Testing from NIST SP 800-142 and other technical papers, which explain concepts of combinatorial testing, application to the Do ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913805

3. Introduction to Combinatorial Testing: Preface, Appendix A (Mathematics Review), and Appendix B (Empirical Data on Software Failures)
Topic: Software Testing Metrics
Published: 6/20/2013
Authors: David R Kuhn, Raghu N Kacker
Abstract: Preface and Appendices A and B in "Introduction to Combinatorial Testing" from CRC Press. Background material for Introduction to Combinatorial Testing from NIST SP 800-142 and other technical papers, which explain concepts of combinatorial testing, ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913948

4. Of Massive Static Analysis Data
Topic: Software Testing Metrics
Published: 6/20/2013
Authors: Aurelien Michel Dominique Delaitre, Vadim Okun, Elizabeth Nee nee Fong
Abstract: Static analysis produces large amounts of data. The volume of data allows for new developments in research. Practical observations of the effectiveness of static analysis tools can be derived from that data. The question of tool statistical indep ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913310

5. Report on the Metrics and Standards for Software Testing (MaSST) Workshop 2012
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7920
Topic: Software Testing Metrics
Published: 4/22/2013
Authors: Paul E Black, Elizabeth Nee nee Fong
Abstract: The NIST Software Assurance Metrics And Tool Evaluation (SAMATE) project conducted a workshop on Metrics and Standards for Software Testing (MaSST) on June 20, 2012. This workshop was co-located with the IEEE Sixth International Conference on Sof ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913074

6. Security Content Automation Protocol (SCAP) Version 1.2 Validation Program Test Requirements
Series: ITL Bulletin
Topic: Software Testing Metrics
Published: 4/10/2013
Author: Elizabeth B Lennon
Abstract: This ITL Bulletin describes a new ITL publication, NISTIR 7511, Revision 3, Ssecurity Content Automation Protocol (SCAP) Version 1.2 Validation Program Test Requirements.
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913736

7. A Basic CWE-121 Buffer Overflow Effectiveness Test Suite
Topic: Software Testing Metrics
Published: 4/1/2013
Authors: Paul E Black, Hsiao-Ming Michael Koo, Thomas F Irish
Abstract: Phase 3 of MITRE's Common Weakness Enumeration (CWE) Compatibility and Effectiveness program allows a customer to understand how effective a software assurance tool is at finding weaknesses and what code complexities it handles. Phase 3 is based on ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913117

8. The Juliet 1.1 C/C++ and Java Test Suite
Topic: Software Testing Metrics
Published: 10/1/2012
Authors: Frederick E Boland Jr, Paul E Black
Abstract: The Juliet Test Suite 1.1 is a collection of over 81,000 synthetic C/C++ and Java programs with known flaws. These programs are useful as test cases for testing the effectiveness of static analyzers and other software assurance tools, and are in the ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=912128

9. Factory Equipment Network Testing Framework: Concept, Requirements, and Architecture
Series: Technical Note (NIST TN)
Report Number: 1755
Topic: Software Testing Metrics
Published: 9/17/2012
Authors: James D Gilsinn, Kang B Lee, John L Michaloski, Frederick M Proctor, Yuyin Song
Abstract: This document describes the purpose, concept, requirements, and architecture for the Factory Equipment Network Testing (FENT) Framework and the software to test equipment on real-time factory networks. Other documents contain more detailed info ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=911180

10. Factory Equipment Network Testing Framework: Universal Client Application, Application Programming Interface
Series: Technical Note (NIST TN)
Report Number: 1754
Topic: Software Testing Metrics
Published: 9/17/2012
Authors: James D Gilsinn, Kang B Lee, John L Michaloski, Frederick M Proctor, Yuyin Song
Abstract: This document describes the application programming interface (API) used by the Factory Equipment Network Testing (FENT) Framework to communicate between the main Universal Client Application (UCA) and the Personality Module (PM). This API abstra ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=911181



Search NIST-wide:


(Search abstract and keywords)


Last Name:
First Name:







Special Publications:

Looking for a NIST Special Publication (NIST SP Series)? Place the series number and dash in the report number field (Example: 800-) and begin your search.

  • SP 250-XX: Calibration Services
  • SP 260-XX: Standard Reference Materials
  • SP 300-XX: Precision Measurement and Calibration
  • SP 400-XX: Semiconductor Measurement Technology
  • SP 480-XX: Law Enforcement Technology
  • SP 500-XX: Computer Systems Technology
  • SP 700-XX: Industrial Measurement Series
  • SP 800-XX: Computer Security Series
  • SP 823-XX: Integrated Services Digital Network Series