Static analysis summit II

ABSTRACT

Funded by the Department of Homeland Security (DHS), the National Institute of Standards and Technology (NIST) started a long-term, ambitious project to identify, enhance and develop software assurance tools. The Software Assurance Metrics And Tool Evaluation (SAMATE) project is leading in (A) developing tests for software evaluation tools, (B) measuring the effectiveness of tools, and (C) identifying gaps in tools and methods. See the workshop web site at http://samate.nist.gov/ SASII.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.3 Coding Tools and Techniques
      D.2.4 Software/Program Verification
      D.2.8 Metrics

General Terms:
Design, Documentation, Experimentation, Human Factors, Languages, Management, Measurement, Reliability, Security, Standardization

Keywords:
ada, assurance, design, evaluation, high integrity, languages, metrics, reliability, safety, security, software assurance, software engineering, tool, tool evaluation