iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns

Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato

2018

Abstract

Embracing uncertainty in software development is one of the crucial research topics in software engineering. In most projects, we have to deal with uncertain concerns by using informal ways such as documents, mailing lists, or issue tracking systems. This task is tedious and error-prone. Especially, uncertainty in programming is one of the challenging issues to be tackled, because it is difficult to verify the correctness of a program when there are uncertain user requirements, unfixed design choices, and alternative algorithms. This paper proposes iArch-U/MC, an uncertainty-aware model checker for verifying whether or not some important properties are guaranteed even if Known Unknowns remain in a program. Our tool is based on LTSA (Labelled Transition System Analyzer) and is implemented as an Eclipse plug-in.

Download


Paper Citation


in Harvard Style

Ubayashi N., Kamei Y. and Sato R. (2018). iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns.In Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-320-9, pages 176-184. DOI: 10.5220/0006889501760184


in Bibtex Style

@conference{icsoft18,
author={Naoyasu Ubayashi and Yasutaka Kamei and Ryosuke Sato},
title={iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns},
booktitle={Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2018},
pages={176-184},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006889501760184},
isbn={978-989-758-320-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns
SN - 978-989-758-320-9
AU - Ubayashi N.
AU - Kamei Y.
AU - Sato R.
PY - 2018
SP - 176
EP - 184
DO - 10.5220/0006889501760184