Abstract
This paper studies the structural testing of Erlang applications. A program transformation is proposed that represents the program under test as a binary tree. The challenge of achieving structural coverage can thus be interpreted as a tree-search procedure. We have developed a testing-technique that takes advantage of this tree-structure, which we demonstrate with respect to a small case study of an Erlang telephony system.
Chapter PDF
Similar content being viewed by others
References
Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)
Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing Telecoms Software with Quviq Quickcheck. In: Feeley, M., Trinder, P.W. (eds.) Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang (Erlang 2006), pp. 2–10. ACM Press, New York (2006)
Bang-Jensen, J., Gutin, G.: Digraphs: Theory Algorithms and Applications. Springer, London (2001)
Guo, Q., Derrick, J.: Eliminating overlapping of pattern matching when verifying Erlang programs in μCRL. In: 12th International Erlang User Conference (EUC 2006), Stockholm, Sweden (2006)
Guo, Q., Derrick, J., Hoch, C.: Verifying Erlang Telecommunication Systems with the Process Algebra μCRL. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol. 5048, pp. 201–217. Springer, Heidelberg (2008)
Harman, M., Hu, L., Hierons, R., Wegener, J., Sthamer, H., Baresel, A.: Testability Transformation. IEEE Transactions on Software Engineering 30(1), 3–16 (2004)
King, J.: Symbolic Execution and Program Testing. Communications of the ACMÂ 19(7) (1976)
Kröger, F.: Temporal logic of programs. Springer, New York (1987)
McMinn, P.: Search-based software test data generation: a survey. Softw. Test, Verif. Reliab. 14(2), 105–156 (2004)
Mottu, J.-M., Baudry, B., Traon, Y.: Model Transformation Testing: Oracle Issue. In: Frantzen, L., Merayo, M., Múñez, M. (eds.) 28th International Conference on Software Testing, Verificaiton and Validation Workshop (ICSTW 2008), Washington, DC, USA, pp. 105–112. IEEE Computer Society Press, Los Alamitos (2008)
Naslavsky, L., Ziv, H., Richardson, D.J.: Using Model Transformation to Support Model-based Test Coverage Measurement. In: AST 2008: Proceedings of the 3rd international workshop on Automation of software test, pp. 1–6. ACM, New York (2008)
Sun, C.-A.: A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications. In: 32nd Annual IEEE International Computer Software and Applications Conference, pp. 160–167. IEEE Computer Society Press, Los Alamitos (2008)
US Department of Transportation, Federal Aviation Administration. Software Approval Guidelines (2003) 8110.49
Voas, J., Miller, K.: Software Testability: The New Verification. IEEE Software 12(3), 17–28 (1995)
Zhu, H., Hall, P.A.V., May, J.H.R.: Software Unit Test Coverage and Adequacy. ACM Computing Surveys 29(4), 366–427 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guo, Q., Derrick, J., Walkinshaw, N. (2009). Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. In: Núñez, M., Baker, P., Merayo, M.G. (eds) Testing of Software and Communication Systems. FATES TestCom 2009 2009. Lecture Notes in Computer Science, vol 5826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05031-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-05031-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05030-5
Online ISBN: 978-3-642-05031-2
eBook Packages: Computer ScienceComputer Science (R0)