Title :
Software Assurance During Maintenance
Author_Institution :
U.S. Nat. Inst. of Stand. & Technol., Gaithersburg, MD
Abstract :
Software development, testing, and maintenance tools must yield assurance information in a standardized form. Developers can use this information to argue that the software is adequate for its use and secure enough for the risk. NIST´s Software Assurance Metrics And Tool Evaluation (SAMATE) project is developing specifications for software assurance tools. These specifications can include optional features for assurance information reports, encouraging tools to provide them. During maintenance, developers can collect this information to make explicit assurance cases
Keywords :
formal specification; software maintenance; software quality; Software Assurance Metrics And Tool Evaluation project; assurance information reports; software assurance tools specifications; software maintenance; Accreditation; Application software; Data security; Information security; Materials testing; NIST; Programming; Software maintenance; Software testing; Software tools;
Conference_Titel :
Software Maintenance, 2006. ICSM '06. 22nd IEEE International Conference on
Conference_Location :
Philadelphia, PA
Print_ISBN :
0-7695-2354-4
DOI :
10.1109/ICSM.2006.58
