DocumentCode :
626336
Title :
XACMUT: XACML 2.0 Mutants Generator
Author :
Bertolino, Antonia ; Daoudagh, Said ; Lonetti, Francesca ; Marchetti, Eda
Author_Institution :
Ist. di Scienza e Tecnol. dell´Inf. “A. Faedo”, Consiglio Naz. delle Ric., Pisa, Italy
fYear :
2013
fDate :
18-22 March 2013
Firstpage :
28
Lastpage :
33
Abstract :
Testing of security policies is a critical activity and mutation analysis is an effective approach for measuring the adequacy of a test suite. In this paper, we propose a set of mutation operators addressing specific faults of the XACML 2.0 access control policy and a tool, called XACMUT (XACml MUTation) for creating mutants. The tool generates the set of mutants, provides facilities to run a given test suite on the mutants set and computes the test suite effectiveness in terms of mutation score. The tool includes and enhances the mutation operators of existing security policy mutation approaches.
Keywords :
authorisation; program testing; XACML 2.0 access control policy; XACML 2.0 mutants generator tool; XACMUT tool; extensible access control markup language; mutation analysis; mutation operator; mutation score; security policy mutation approach; security policy testing; test suite effectiveness; Access control; Conferences; Fault detection; Proposals; Semantics; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on
Conference_Location :
Luxembourg
Print_ISBN :
978-1-4799-1324-4
Type :
conf
DOI :
10.1109/ICSTW.2013.11
Filename :
6571605
Link To Document :
بازگشت