Add to ORKGConcurrent embedded software is prone to data races, race conditions and deadlock issues. Moreover, the effect of its non-deterministic behavior is likely underestimated; therefore test coverage will be incomplete. In our approach, concurrency is isolated from the test environment. More specifically, a colored petri net model represents the platform-independent concurrency model, which delivers execution traces for tests to cover the state space completely in a deterministic manner. A proof of concept application indicates the feasibility of this approach.status: publishe
Concurrent programs are ubiquitous, from the high-end servers to personal machines, due to the fact ...
Concurrent programs are hard to test because of the non- determinism inherit in them. Since non-dete...
Concurrent software executes multiple threads or processes to achieve high performance. However, con...
Non-deterministic concurrent behavior of software prohibits the idempotent property of tests. XUnit...
The lock-based shared memory model has proven to be error prone and difficult to test. Furthermore a...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
The design of concurrent systems has to deal with the satisfaction of conditions of good behavior. I...
<p>The challenge this thesis addresses is to speed up the development of concurrent programs by incr...
Concurrent programming is used in all large and complex computer systems. However, concurrency error...
A static analysis tool for detecting deadlocks and potential race conditions on shared variables in ...
In the past decade, computer hardware has undergone a true revolution, moving from uniprocessor arch...
Abstract. This paper deals with the test-case generation problem for concurrent systems that are spe...
International audienceModel-based testing has mainly focused on models where concurrency is interpre...
Three issues concerning parallelism in a concurrent system are considered: description of system str...
Efficient state space exploration of a concurrent program is a fundamental problem in algorithmic v...
Concurrent programs are ubiquitous, from the high-end servers to personal machines, due to the fact ...
Concurrent programs are hard to test because of the non- determinism inherit in them. Since non-dete...
Concurrent software executes multiple threads or processes to achieve high performance. However, con...
Non-deterministic concurrent behavior of software prohibits the idempotent property of tests. XUnit...
The lock-based shared memory model has proven to be error prone and difficult to test. Furthermore a...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
The design of concurrent systems has to deal with the satisfaction of conditions of good behavior. I...
<p>The challenge this thesis addresses is to speed up the development of concurrent programs by incr...
Concurrent programming is used in all large and complex computer systems. However, concurrency error...
A static analysis tool for detecting deadlocks and potential race conditions on shared variables in ...
In the past decade, computer hardware has undergone a true revolution, moving from uniprocessor arch...
Abstract. This paper deals with the test-case generation problem for concurrent systems that are spe...
International audienceModel-based testing has mainly focused on models where concurrency is interpre...
Three issues concerning parallelism in a concurrent system are considered: description of system str...
Efficient state space exploration of a concurrent program is a fundamental problem in algorithmic v...
Concurrent programs are ubiquitous, from the high-end servers to personal machines, due to the fact ...
Concurrent programs are hard to test because of the non- determinism inherit in them. Since non-dete...
Concurrent software executes multiple threads or processes to achieve high performance. However, con...