Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs
| Autor: | Jongmans, Sung-Shik, Pang, Jun, Sun, Jing |
|---|---|
| Přispěvatelé: | Pang, Jun, Sun, Jing, Department Computer Science, RS-Research Line Resilience (part of LIRS program) |
| Rok vydání: | 2019 |
| Předmět: |
Model checking
Domain-specific language Unit testing Computer science business.industry Concurrency 020207 software engineering 0102 computer and information sciences 02 engineering and technology Compilation 01 natural sciences Model-checking Software Shared memory 010201 computation theory & mathematics Coordination 0202 electrical engineering electronic engineering information engineering Code (cryptography) Concurrent computing Software engineering business |
| Zdroj: | ICECCS Jongmans, S-S 2019, Toward new unit-testing techniques for shared-memory concurrent programs . in J Pang & J Sun (eds), 2019 24th International Conference on Engineering of Complex Computer Systems : ICECCS 2019, Guangzhou, China, November 10-13, 2019 . IEEE Canada, pp. 164-169, 24th International Conference on Engineering of Complex Computer Systems, Guangzhou, China, 10/11/19 . https://doi.org/10.1109/ICECCS.2019.00025 2019 24th International Conference on Engineering of Complex Computer Systems: ICECCS 2019, Guangzhou, China, November 10-13, 2019, 164-169 STARTPAGE=164;ENDPAGE=169;TITLE=2019 24th International Conference on Engineering of Complex Computer Systems |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|