Towards code generation from design models

Pengyi Li, Jing Sun, Hai Wang

Research output: Chapter in Book/Report/Conference proceedingConference publication

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.

Original languageEnglish
Title of host publicationProceedings - SEKE 2017
Subtitle of host publication29th International Conference on Software Engineering and Knowledge Engineering
Pages242-247
Number of pages6
ISBN (Electronic)1891706411
DOIs
Publication statusPublished - 31 Jul 2017
Event29th International Conference on Software Engineering and Knowledge Engineering, SEKE 2017 - Pittsburgh, United States
Duration: 5 Jul 20177 Jul 2017

Conference

Conference29th International Conference on Software Engineering and Knowledge Engineering, SEKE 2017
CountryUnited States
CityPittsburgh
Period5/07/177/07/17

Fingerprint Dive into the research topics of 'Towards code generation from design models'. Together they form a unique fingerprint.

  • Cite this

    Li, P., Sun, J., & Wang, H. (2017). Towards code generation from design models. In Proceedings - SEKE 2017: 29th International Conference on Software Engineering and Knowledge Engineering (pp. 242-247) https://doi.org/10.18293/SEKE2017-133