Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Model-based security testing

Deriving test models from artefacts of security engineering
 
: Lunkeit, Armin; Schieferdecker, Ina

:

Institute of Electrical and Electronics Engineers -IEEE-:
IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. Proceedings : 9-13 April 2018, Västerås, Sweden
Piscataway, NJ: IEEE, 2018
ISBN: 978-1-5386-6352-3
ISBN: 978-1-5386-6353-0
S.244-251
International Conference on Software Testing, Verification and Validation (ICST) <11, 2018, Västeras>
International Workshop on Software Test Architecture (InSTA) <5, 2018, Västeras>
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()

Abstract
Security-related tests should check and validate in engineering that the functionality derived from the security requirements has been correctly implemented. The design of effective tests for this security functionality requires, in addition to test models, a procedure for obtaining these models from previous artefacts of security engineering. This paper describes such an approach and focuses on the use of the artefacts of previous phases of security engineering for security testing.

: http://publica.fraunhofer.de/dokumente/N-507035.html