Search for dissertations about: "erlang"
Showing result 1 - 5 of 18 swedish dissertations containing the word erlang.
-
1. Analysing Fault Tolerance for Erlang Applications
Abstract : ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault-tolerant software. An important part of Erlang is its support for failure recovery. Fault tolerance is provided by organising the processes of an ERLANG application into tree structures. READ MORE
-
2. Verification of Erlang Programs using Testing and Tracing
Abstract : Producing reliable computer programs is a difficult and expensivetask, and the constant demand for more and more complex systems doesnot make the task easier. In this thesis we present some programverification tools and techniques which can improve the situation. READ MORE
-
3. Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving
Abstract : Software infiltrates every aspect of modern society. Production, transportation, entertainment, and almost every other sphere that influences modern living are either directly or indirectly dependent on software systems. READ MORE
-
4. Effective Techniques for Stateless Model Checking
Abstract : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. READ MORE
-
5. Model-Based Protocol Testing in an Erlang Environment
Abstract : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. READ MORE