2019-11-10
Toward new unit-testing techniques for shared-memory concurrent programs
Publication
Publication
Presented at the
International Conference on Engineering of Complex Computer Systems (November 2019), Guangzhou, China
Following advances in hardware engineering (multi-core processors) and software engineering (agile practices), there is now a large demand for unit-testing techniques for concurrent code. This paper presents the motivation, problem, proposed solution, first results, and open challenges of an early-stage research project (2019-2022) that aims to develop innovative such techniques. Founded on existing work on coordination models and languages, the project's idea is to use a combination of domain-specific language, compilation, and model-checking to build a fully automated framework for unit-testing concurrency.
| Additional Metadata | |
|---|---|
| , , , | |
| doi.org/10.1109/ICECCS.2019.00025 | |
| International Conference on Engineering of Complex Computer Systems | |
|
Jongmans, S. (2019). Toward new unit-testing techniques for shared-memory concurrent programs. In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS (pp. 164–169). doi:10.1109/ICECCS.2019.00025 |
|
