TY - GEN
T1 - IARCH-U/MC
T2 - 13th International Conference on Software Technologies, ICSOFT 2018
AU - Ubayashi, Naoyasu
AU - Kamei, Yasutaka
AU - Sato, Ryosuke
N1 - Funding Information:
We thank Syunya Nakamura, Keisuke Watanabe, and Takuya Fukamachi for their great contributions. They were students of Naoyasu Ubayashi. This work was supported by JSPS KAKENHI Grant Numbers JP26240007.
PY - 2019
Y1 - 2019
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85071476875&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85071476875&partnerID=8YFLogxK
U2 - 10.5220/0006889501760184
DO - 10.5220/0006889501760184
M3 - Conference contribution
AN - SCOPUS:85071476875
T3 - ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies
SP - 176
EP - 184
BT - ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies
A2 - Maciaszek, Leszek
A2 - Maciaszek, Leszek
A2 - van Sinderen, Marten
PB - SciTePress
Y2 - 26 July 2018 through 28 July 2018
ER -