| 1. |
- Fredlund, Lars-Åke, et al.
(författare)
-
A Verification Tool for Erlang
- 2003
-
Ingår i: Int. Journal on Software Tools for Technology Transfer. ; 4:4, s. 405-420
-
Tidskriftsartikel (refereegranskat)
|
|
| 2. |
|
|
| 3. |
- Arts, Thomas, 1969, et al.
(författare)
-
Accelerating race condition detection through procrastination
- 2011
-
Ingår i: Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011. - New York, NY, USA : ACM. - 9781450308595 ; , s. 14-22
-
Konferensbidrag (refereegranskat)abstract
- Race conditions are notoriously frustrating to find, and good tools can help. The main difficulty is reliably provoking the race condition. In previous work we presented a randomising scheduler for Erlang that helps with this task. In a language without pervasive shared mutable state, such as Erlang, performing scheduling decisions at random uncovers race conditions surprisingly well. However, it is not always enough. We describe a technique, procrastination, that aims to provoke race conditions more often than by random scheduling alone. It works by running the program and looking for pairs of events that might interfere, such as two message sends to the same process. Having found such a pair of events, we re-run the program but try to provoke a race condition by reversing the order of the two events. We apply our technique to a piece of industrial Erlang code. Compared to random scheduling alone, procrastination allows us to find minimal failing test cases more reliably and more quickly.
|
|
| 4. |
- Arts, Thomas, 1969, et al.
(författare)
-
Automatic Testing of TCP/IP Implementations Using Quickcheck
- 2009
-
Ingår i: 8th ACM Sigplan Erlang workshop, Edinburgh, SCOTLAND, SEP 05, 2009. - 9781605585079 ; , s. 83-92
-
Konferensbidrag (refereegranskat)abstract
- We describe how to use model based testing for testing a network stack. We present a framework that together with the property based testing tool QuickCheck can be used to test the TCP layer of the Internet protocol stack. TCP is a rather difficult protocol to test, since it hides a lot of operations for the user that communicates to the stack via a socket interface. Internally, a lot happens and by only controlling the interface, full testing is not possible. This is typical for more complex protocols and we therefore claim that the presented method can easily be extended to other cases. We present an automatic test case generator for TCP using Quickcheck. This tester generates packet flows to test specific features of a TCP stack. It then controls the stack under test to run the test by using the interface provided by it (for example, the socket interface), and by sending replies to the packets created by the stack under test. We validated the test framework on the standard Linux TCP/IP implementation.
|
|
| 5. |
|
|
| 6. |
- Arts, Thomas, 1969
(författare)
-
Erlang QuickCheck Tutorial
- 2008
-
Ingår i: ACM SIGPLAN 2008 Developer Tracks on Functional Programming (DEFUN 2008). - Victoria, Canada : ACM SIGPLAN.
-
Annan publikation (övrigt vetenskapligt/konstnärligt)abstract
- Testing is a major part of all software development - yet no matter how much effort is spent on it, some errors always seem to slip through. Cases which no-one thought to test crash systems late in development or out in the field, revealing errors which cost time and money to analyze, diagnose, and fix. In the worst case, such errors reveal fundamental flaws which force a redesign of part of the system, at disproportionate cost. QuickCheck is an automated testing tool, originating from research by John Hughes and Koen Claessen and commercialized by Quviq. QuickCheck addresses the testing challenges by generating test cases from a concise specification (so that many more cases can be tested), and simplifying failing cases to a minimal example on a test failure (so that fault diagnosis is quick and easy). QuickCheck enables developers to generate tests from specifications. It enables them to find errors at an earlier stage, lowering costs and improving quality as a result. In this tutorial, Thomas Arts will use examples to show how developers write QuickCheck specifications - which are actually Erlang programs using the QuickCheck API - and use them to test code written in Erlang or other programming languages. We will see how QuickCheck's shrinking finds tiny examples that provoke errors, making the step from observing a bug to diagnosing it very short indeed, and we will show how property driven development can produce code that is solid from the word go.
|
|
| 7. |
- Arts, Thomas, 1969, et al.
(författare)
-
Erlang Workshop
- 2003
-
Ingår i: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang.
-
Tidskriftsartikel (refereegranskat)
|
|
| 8. |
- Arts, Thomas, 1969, et al.
(författare)
-
Erlang Workshop
- 2003
-
Ingår i: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang.
-
Tidskriftsartikel (refereegranskat)
|
|
| 9. |
- Arts, Thomas, 1969, et al.
(författare)
-
From test cases to FSMs: Augmented test-driven development and property inference
- 2010
-
Ingår i: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP; 9th ACM SIGPLAN Erlang Workshop, Erlang 2010, Co-located with ICFP'10; Baltimore, MD; 30 September 2010 through 30 September 2010. - 9781450302531 ; , s. 1-12
-
Konferensbidrag (refereegranskat)abstract
- This paper uses the inference of finite state machines from EUnit test suites for Erlang programs to make two contributions. First, we show that the inferred FSMs provide feedback on the adequacy of the test suite that is developed incrementally during the test-driven development of a system. This is novel because the feedback we give is independent of the implementation of the system.Secondly, we use FSM inference to develop Quick Check properties for testing state-based systems. This has the effect of transforming a fixed set of tests into a property which can be tested using randomly generated data, substantially widening the coverage and scope of the tests.
|
|
| 10. |
|
|
