Towards code generation from design models

Abstract

With the growing in size and complexity of modern computer systems, the need for improving the quality at all stages of software development has become a critical issue. The current software production has been largely depended on manual code development. Despite the slow development process, the errors introduced by the programmers contribute to a substantial portion of defects in the final software product. This paper explores the possibility of generating code and assertion constraints from formal design models and use them to verify the implementation. We translate Z formal models into their OCL counter-parts and Java assertions. With the help of existing tools, we demonstrate various checking at different levels to enhance correctness.

Publication DOI: https://doi.org/10.18293/SEKE2017-133
Divisions: College of Engineering & Physical Sciences > School of Informatics and Digital Engineering > Computer Science
College of Engineering & Physical Sciences > Systems analytics research institute (SARI)
Event Title: 29th International Conference on Software Engineering and Knowledge Engineering, SEKE 2017
Event Type: Other
Event Dates: 2017-07-05 - 2017-07-07
Uncontrolled Keywords: Software
ISBN: 1891706411
Full Text Link:
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
PURE Output Type: Conference contribution
Published Date: 2017-07-31
Accepted Date: 2017-07-31
Authors: Li, Pengyi
Sun, Jing
Wang, Hai (ORCID Profile 0000-0002-4192-5363)

Download

[img]

Version: Accepted Version

| Preview

Export / Share Citation


Statistics

Additional statistics for this record