Home // SECURWARE 2015, The Ninth International Conference on Emerging Security Information, Systems and Technologies // View article

The Use of Acceptance Test-Driven Development in the Construction of Cryptographic Software

Authors:
Alexandre Braga
Daniela Schwab
André Vannucci

Keywords: BDD; TDD; ATDD; User stories; Security; Test vectors; Cryptography; Assurance

Abstract:
This paper describes a work in progress on the usage of Acceptance Test-Driven Development (ATDD) during the construction of cryptographic software. As cryptography becomes universalized, it is becoming hard to separate good implementation from bad ones. The paper argues that Test Vectors for cryptography can be used as User Stories in Behavior-Driven Development (BDD) and automate ATDD during software development, complementing algorithm’s specification, and contributing to augment software reliability and the overall trust in the correctness of cryptographic implementations. The acquired confidence is preserved even after performing program transformations for improvements, such as performance optimization and hardenings.

Pages: 55 to 60

Copyright: Copyright (c) IARIA, 2015

Publication date: August 23, 2015

Published in: conference

ISSN: 2162-2116

ISBN: 978-1-61208-427-5

Location: Venice, Italy

Dates: from August 23, 2015 to August 28, 2015