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

Sung-Shik Jongmans

doi:10.1109/ICECCS.2019.00025

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

Sung-Shik Jongmans

Research Line Resilience (part of LIRS program)

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 language	English
Title of host publication	2019 24th International Conference on Engineering of Complex Computer Systems
Subtitle of host publication	ICECCS 2019, Guangzhou, China, November 10-13, 2019
Editors	Jun Pang, Jing Sun
Publisher	IEEE Canada
Pages	164-169
Number of pages	6
ISBN (Electronic)	9781728146461
ISBN (Print)	9781728146478
DOIs	https://doi.org/10.1109/ICECCS.2019.00025
Publication status	Published - Nov 2019
Event	24th International Conference on Engineering of Complex Computer Systems - Guangzhou, China Duration: 10 Nov 2019 → 13 Nov 2019 Conference number: 24 https://ieeexplore.ieee.org/xpl/conhome/8871108/proceeding

Conference

Conference	24th International Conference on Engineering of Complex Computer Systems
Abbreviated title	ICECCS 2019
Country/Territory	China
City	Guangzhou
Period	10/11/19 → 13/11/19
Internet address	https://ieeexplore.ieee.org/xpl/conhome/8871108/proceeding

Keywords

Compilation
Coordination
Domain-specific language
Model-checking

Access to Document

10.1109/ICECCS.2019.00025

Cite this

@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.",

keywords = "Compilation, Coordination, Domain-specific language, Model-checking",

author = "Sung-Shik Jongmans",

year = "2019",

month = nov,

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",

note = "24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019 ; Conference date: 10-11-2019 Through 13-11-2019",

url = "https://ieeexplore.ieee.org/xpl/conhome/8871108/proceeding",

}

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 proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

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

AU - Jongmans, Sung-Shik

N1 - Conference code: 24

PY - 2019/11

Y1 - 2019/11

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.

KW - Compilation

KW - Coordination

KW - Domain-specific language

KW - Model-checking

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

T2 - 24th International Conference on Engineering of Complex Computer Systems

Y2 - 10 November 2019 through 13 November 2019

ER -

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

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this