Constructive Assertions with Abstract Models

Yoonsik Cheon

2024

Abstract

An assertion is a statement that specifies a condition that must be true at a particular point during program execution. It serves as a tool to ensure the program functions as intended, reducing the risk of introducing subtle errors. Usually expressed algebraically, an assertion utilizes Boolean expressions to specify permissible relationships among program variables. In complex scenarios, calculating the expected value of a program variable often proves more effective than specifying the constraints it must adhere to. In this paper, we present an approach to formulating assertions using abstract models in a constructive manner, which complements the traditional algebraic style. Constructive assertions empower programmers to articulate comprehensive assertions, including pre and postconditions, in a succinct, comprehensible, reusable, and maintainable manner.

Paper Citation

in Harvard Style

Cheon Y. (2024). Constructive Assertions with Abstract Models. In Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD; ISBN 978-989-758-682-8, SciTePress, pages 211-218. DOI: 10.5220/0012418800003645

in Bibtex Style

@conference{modelsward24,
author={Yoonsik Cheon},
title={Constructive Assertions with Abstract Models},
booktitle={Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD},
year={2024},
pages={211-218},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012418800003645},
isbn={978-989-758-682-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD
TI - Constructive Assertions with Abstract Models
SN - 978-989-758-682-8
AU - Cheon Y.
PY - 2024
SP - 211
EP - 218
DO - 10.5220/0012418800003645
PB - SciTePress