Automated Procedure Behavior Tracing in Functional Programming Style

• Autorzy: Grzanek K.
• Języki publikacji: EN

Abstrakty

EN

Modern software testing demands high degree of automation especially in test data generation domain. Comparing procedure call behaviors with diverse, automatically generated data, exhibiting various levels of correctness, allows programmers, test engineers and quality managers to track the impact of software changes over time on the designed and implemented system. There are no well known frameworks offering such functionality for functional programming languages. The paper presents a sketch of such framework for Clojure and allows readers to get a detailed insight into some implementation details of the solution.

Słowa kluczowe

EN

Automated software testing; functional programming; Clojure

• Wydawca: Społeczna Akademia Nauk w Łodzi
• Czasopismo: Journal of Applied Computer Science Methods
• Rocznik: 2013
• Tom: Vol. 5 No. 2
• Strony: 165--180
• Opis fizyczny: Bibliogr. 16 poz., rys.

Twórcy

autor

Grzanek K.

• IT Institute, University of Social Sciences 9 Sienkiewicza St., 90-113 Łódź, Poland

Bibliografia

• 1. Koskela L., 2008, Test Driven, Practical TDD and Acceptance TDD for Java Developers, ISBN 1-932394-85-0, Manning Publications Co
• 2. E. W. Dijkstra, 1972, The Humble Programmer, ACM Turing Lecture
• 3. Thomas M., 2003, The Modest Software Engineer, Proc ISADS 2003, pp 169-174, IEEE Press
• 4. L. Williams, E. M. Maximilien, M. Vouk, 2003, Test-Driven Development as a Defect-Reduction Practice, ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering, pp. 34
• 5. 2007, Ada Reference Manual, ISO/IEC 8652:2007(E) Ed. 3
• 6. Jones S. P., 2003, Haskell 98 language and libraries: the Revised Report, ISBN 0521826144, Cambridge University Press
• 7. 2008, SPARK 95 - The SPADE Ada 95 Kernel, Praxis High Integrity Systems Ltd
• 8. Hevery M., 2008, Guide: Writing Testable Code, http://misko.hevery.com/codereviewers-guide/
• 9. Miller A., 2008, Clojure and testing, http://tech.puredanger.com/2013/08/31/clojure-and-testing/
• 10. Sierra S., 2014, API for clojure.test, http://richhickey.github.io/clojure/clojure.test-api.html
• 11. Martin M., 2014, Speclj - A TDD/BDD framework for Clojure, http://speclj.com/
• 12. 2014, Midje Github Repository, https://github.com/marick/Midje
• 13. 2014, HUnit -- Haskell Unit Testing, http://hunit.sourceforge.net/
• 14. Halloway S., 2009: Programming Clojure, ISBN: 978-1-93435-633-3, The Pragmatic Bookshelf
• 15. Emerick Ch., Carper B., Grand Ch., 2012, Clojure Programming, O'Reilly Media Inc., ISBN: 978-1-449-39470-7
• 16. Cardelli L., Wegner P., 1985, On Understanding Types, Data Abstraction and Polymorphism, Computing Surveys, Vol. 17 n 4, pp. 471-522, 1994