Abstract | ||
---|---|---|
The implementation of an authorization system is a difficult and error-prone activity that requires a careful verification and testing process. In this paper, we focus on testing the implementation of the PolPA authorization system and in particular its Policy Decision Point (PDP), used to define whether an access should be allowed or not. Thus exploiting the PolPA policy specification, we present a fault model and a test strategy able to highlight the problems, vulnerabilities and faults that could occur during the PDP implementation, and a testing framework for the automatic generation of a test suite that covers the fault model. Preliminary results of the test framework application to a realistic case study are presented.
|
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/IWAST.2012.6228997 | AST |
Keywords | Field | DocType |
authorization systems,polpa language,request generation,testing,fault model,authorization,software fault tolerance,gold,authorisation,generators | Test suite,Computer science,Authorization,Software fault tolerance,Real-time computing,Program testing,Test strategy,Reliability engineering,Fault model | Conference |
ISBN | Citations | PageRank |
978-1-4673-1822-8 | 5 | 0.47 |
References | Authors | |
11 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Antonia Bertolino | 1 | 1961 | 140.25 |
Said Daoudagh | 2 | 99 | 11.31 |
Francesca Lonetti | 3 | 279 | 29.13 |
Eda Marchetti | 4 | 392 | 41.68 |
Fabio Martinelli | 5 | 10 | 5.34 |
Paolo Mori | 6 | 212 | 19.83 |