Assuring correctness, testing, and verification of x-compiler by integrating communicating stream x-machine

Sanusi, Bashir; Ogunshile, Emmanuel; Aydin, Mehmet; Olabiyisi, Stephen

Abstract

Compiler design plays an important role in ensuring that the translation of the programs written in high-level language into executable code is correct. However, in todays’ safety-critical environments, security gaps, visible and hidden defects in compiler models are liability factors that needed to be addressed in the process of examining that a system meets specifications and requirements of its intended objectives. Nevertheless, defects in this model are errors in coding which bring about incorrect or unexpected results from a compiler design that does not meet the actual requirements. Hence, this paper developed a novel approach by integrating the computational power of Communicating Stream X-Machine (CSXM) to address the problem associated with compiler correctness. In addition, this paper outlines the development of a novel compiler design called X-compiler, emphasizing its important role in software development. CSXM technique was implemented in Visual Studio (2022) to develop the X-compiler. The X-compiler utilize state-of-the-art techniques to translate program source code written in high-level programming language which is the blend of C# and Python programming language into executable code. The development process includes the lexical analysis, syntax parsing, semantic analysis, and code generation ensuring the correctness of the X-compiler. The results of the compiled code were run to produce output in command Windows environment for user interactions. Also, highlights the potential for enhanced language interoperability and the development of efficient compiler that leverage the strengths of multiple programming paradigms. Overall, the study on CSXM contributed to a deeper understanding of concurrent systems, while the design and implementation of the compiler showcased the feasibility of creating a synergistic blend of C# and Python programming languages.

• Presentation Conference Type: Conference Paper (published)
• Conference Name: 2024 6th International Conference on Software Engineering and Development (ICSED 2024)
• Start Date: May 29, 2024
• End Date: May 31, 2024
• Acceptance Date: Mar 5, 2024
• Online Publication Date: Oct 15, 2024
• Publication Date: Oct 15, 2024
• Deposit Date: Sep 12, 2024
• Publicly Available Date: Sep 12, 2024
• Peer Reviewed: Peer Reviewed
• Pages: 64-72
• Book Title: ICSED '24: Proceedings of the 2024 6th International Conference on Software Engineering and Development
• ISBN: 9798400718052
• DOI: https://doi.org/10.1145/3686614.3686622
• Keywords: Compiler, Communicating Stream X-Machine, X-Compiler, Software Development, Code Generation.
• Public URL: https://uwe-repository.worktribe.com/output/12884934