Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
450831 | Computer Networks | 2014 | 13 Pages |
Abstract
Designing and executing test cases for security-critical protocols is a technically complicated and tedious process. SecureMDD is a model-driven approach that enables development of security-critical applications based on cryptographic protocols. In this paper we introduce a method which combines the model-driven approach used in SecureMDD with the design of functional and security tests. We construct and evaluate new modeling guidelines that allow the modeler to easily define such test cases during the modeling stage. We also implement model transformation routines to generate runnable tests for actual implementation of applications developed with SecureMDD.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Networks and Communications
Authors
Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif,