Mark Blackburn, Robert Busser, Aaron Nauman, Ramaswamy Chandramouli
Security functional testing is a costly activity typically performed by security evaluation laboratories. These laboratories have struggled to keep pace with increasing demand to test numerous product variations. This paper summarizes the results of applying a model-based approach to automate security functional testing. The approach involves developing models of security function specifications (SFS) as the basis for automatic test vector and test driver generation. In the application, security properties were modeled and the resulting tests were executed against Oracle and Interbase database engines through a fully automated process. The findings indicate the approach, proven successful in a variety of other application domains, provides a cost-effective solution to security functional testing.
security function specifications, security functional testing, test driver, test vectors
, Busser, R.
, Nauman, A.
and Chandramouli, R.
Model-Based Approach to Security Test Automation, International Software Quality Week, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151237
(Accessed December 7, 2023)