Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine

Adewale Sanusi, Bashir; Ogunshile, Emmanuel; Aydin, Mehmet; Olatunde Olabiyisi, Stephen; Oyedepo Oyediran, Mayowa

Abstract

The improvement of this paper takes advantage of the existing formal method called Stream X-Machine by optimizing the theory and applying it to practice in a large-scale system. This optimized formal approach called Communicating Stream X-Machine (CSXM) applied in software testing based on its formal specifications to a distributed system as it points out its advantages and limits of the use of the existing formal methods to this level. However, despite the tremendous works that has been done in the software testing research area, the origin of bugs or defects in a software is still cost and takes more time to detect. Therefore, this paper has proven that the current state of art challenge is due to that lack of a formal specification of what exactly a software system is supposed to do. In this paper, CSXM principles was used for the development of Automated Teller Machine (ATM) given formal specification which outputs conforms with the implementation. Moreso, the computational strength of Remote Method Invocation (RMI) network interface in Java programming was used to provide communication between the stand-alone systems i.e., the client (ATM) and server (Bank) in the context of this paper. The results of this paper have been proven and helps software developers and researchers takes early action on bugs or defects discovered by software testing.

• Presentation Conference Type: Conference Paper (unpublished)
• Conference Name: 9th International Conference on Computer Science and Information Technology (CSIT 2022)
• Start Date: Aug 21, 2022
• End Date: Aug 22, 2022
• Publication Date: Aug 21, 2022
• Deposit Date: Sep 9, 2022
• Pages: 77-90
• Series Title: Computer Science & Information Technology (CS & IT)
• Series ISSN: 2231 - 5403
• DOI: https://doi.org/10.5121/csit.2022.121407
• Keywords: Formal Method, Software Testing; Stream X-machine; Communicating Stream X-Machine; Software Testing; Distributed System; Formal Specification; Defects; Automated Teller Machine; Remote Method Invocation; Java Programming Language
• Public URL: https://uwe-repository.worktribe.com/output/9959144
• Publisher URL: https://aircconline.com/csit/abstract/v12n14/csit121407.html
• Related Public URLs: https://aircconline.com/csit/papers/vol12/csit121407.pdf