Toward new unit-testing techniques for shared-memory concurrent programs

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

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.
Original languageEnglish
Title of host publication2019 24th International Conference on Engineering of Complex Computer Systems
Subtitle of host publicationICECCS 2019, Guangzhou, China, November 10-13, 2019
EditorsJun Pang, Jing Sun
PublisherIEEE Canada
Pages164-169
Number of pages6
ISBN (Electronic)9781728146461
ISBN (Print)9781728146478
DOIs
Publication statusPublished - 2019
Event24th International Conference on Engineering of Complex Computer Systems - Guangzhou, China
Duration: 10 Nov 201913 Nov 2019
Conference number: 24
https://ieeexplore.ieee.org/xpl/conhome/8871108/proceeding

Conference

Conference24th International Conference on Engineering of Complex Computer Systems
Abbreviated titleICECCS 2019
CountryChina
CityGuangzhou
Period10/11/1913/11/19
Internet address

Fingerprint

Data storage equipment
Model checking
Testing
Computer hardware
Software engineering

Cite this

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 (pp. 164-169). IEEE Canada. https://doi.org/10.1109/ICECCS.2019.00025
Jongmans, Sung-Shik. / Toward new unit-testing techniques for shared-memory concurrent programs. 2019 24th International Conference on Engineering of Complex Computer Systems : ICECCS 2019, Guangzhou, China, November 10-13, 2019. editor / Jun Pang ; Jing Sun. IEEE Canada, 2019. pp. 164-169
@inproceedings{6d9582f17a8446149ff260454a015fe5,
title = "Toward new unit-testing techniques for shared-memory concurrent programs",
abstract = "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.",
author = "Sung-Shik Jongmans",
year = "2019",
doi = "10.1109/ICECCS.2019.00025",
language = "English",
isbn = "9781728146478",
pages = "164--169",
editor = "Jun Pang and Jing Sun",
booktitle = "2019 24th International Conference on Engineering of Complex Computer Systems",
publisher = "IEEE Canada",
address = "Canada",

}

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

Toward new unit-testing techniques for shared-memory concurrent programs. / Jongmans, Sung-Shik.

2019 24th International Conference on Engineering of Complex Computer Systems : ICECCS 2019, Guangzhou, China, November 10-13, 2019. ed. / Jun Pang; Jing Sun. IEEE Canada, 2019. p. 164-169.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

TY - GEN

T1 - Toward new unit-testing techniques for shared-memory concurrent programs

AU - Jongmans, Sung-Shik

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

U2 - 10.1109/ICECCS.2019.00025

DO - 10.1109/ICECCS.2019.00025

M3 - Conference article in proceeding

SN - 9781728146478

SP - 164

EP - 169

BT - 2019 24th International Conference on Engineering of Complex Computer Systems

A2 - Pang, Jun

A2 - Sun, Jing

PB - IEEE Canada

ER -

Jongmans S-S. Toward new unit-testing techniques for shared-memory concurrent programs. In Pang J, Sun J, editors, 2019 24th International Conference on Engineering of Complex Computer Systems : ICECCS 2019, Guangzhou, China, November 10-13, 2019. IEEE Canada. 2019. p. 164-169 https://doi.org/10.1109/ICECCS.2019.00025