Flow graphs for testing sequential Erlang programs

Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to software testing get a more and more increasing impact on software development processes. For imperative programs there are several approaches to measure the appropriateness of a set of test cases for a program part under testing. Some of them are source code directed and are given as coverage criteria on flow graphs. This paper gives a definition of flow graphs for Erlang programs and describes a tool for generating such flow graphs. It provides a first step towards the transfer of advanced source code directed testing methods to functional programming. Categories and Subject Descriptors: D.2.5 [Software Engineer

• Type: Conference
• Year: 2004
• Where: ERLANG
• Authors: Manfred Widera
• Keywords: ERLANG 2004, Software Development Processes, Source Code, flow Graphs