• Muamar Fajar Rahmadani Informatics School of Computing, Telkom University, Indonesia
  • Rosa Reska Riskiana Informatics School of Computing, Telkom University, Indonesia
  • Dana Sulistyo Kusumo Informatics School of Computing, Telkom University, Indonesia
Keywords: Altwalker, Extended Finite State Machine (EFSM), Model Based Testing (MBT), Model Reuse, SATUSEHAT


On 2023, the Government of Indonesia announced the change of PeduliLindungi application to SatuSehat, with the addition of features that have been integrated with Electronic Medical Records (RME). In this research, the concept of model reuse is applied to facilitate the creation of test models on the same features between PeduliLindungi and SatuSehat, namely Linked Profile and Covid-19 Vaccine. In applying the reuse model, the method template and edge template strategies are used to adjust to the evolution of the model that occurs in the SATUSEHAT application, in the edge template or second iteration there are additional vertices and edges on the Linked Profile and Vaccine features. By combining the number of vertices and edges, the overall similarity percentage is around 79.81% on the Linked Profile feature, showing the efficiency of modeling with a reuse model of around 20.19%. Testing on SatuSehat using Altwalker tools with Random and Weighted Random algorithms shows high coverage achievements, especially on vertex, these achievements show the effectiveness of the reuse model. Comparison with previous research on PeduliLindungi shows an increase in coverage rate, especially on features that apply the reuse model. This research illustrates the success of the reuse model concept in accelerating the development of test models and increasing coverage in applications where changes occur.


Download data is not yet available.


“PeduliLindungi Resmi Berubah Menjadi SATUSEHAT,” 2023.

González-Aparicio, María Teresa, et al. "A new model for testing CRUD operations in a NoSQL database." 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA). IEEE, 2016.

Dwinandana, Maulidito, Rosa Reska Riskiana, and Dana Sulistyo Kusumo. "Extended Finite State Machine-Model based Testing on Mobile Application." 2022 1st International Conference on Software Engineering and Information Technology (ICoSEIT). IEEE, 2022.

Apfelbaum, Larry, and John Doyle. "Model based testing." Software quality week conference. 1997.

G. De Cleva Farto and A. T. Endo, “Reuse of model-based tests in mobile apps,” 2017, doi: 10.1145/3131151.3131160.

Ouriques, Joao Felipe S., Emanuela G. Cartaxo, and Patrícia DL Machado. "Test case prioritization techniques for model-based testing: a replicated study." Software Quality Journal 26 (2018): 1451-1482.

Ibrahim, Maulana Malik, Dana Sulistyo Kusumo, and Rosa Reska Riskiana. "Finite State Machine-Model Based Testing on Website Application." 2022 10th International Conference on Information and Communication Technology (ICoICT). IEEE, 2022.

A. S. Kalaji, R. M. Hierons, and S. Swift, “An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models,” Inf. Softw. Technol., vol. 53, no. 12, 2011, doi: 10.1016/j.infsof.2011.06.004.

V. S. Alagar and K. Periyasamy, “Extended Finite State Machine,” in Specification of Software Systems, London: Springer London, 2011, pp. 105–128.

Villalobos-Arias, Leonardo, et al. "Evaluation of a model‐based testing platform for Java applications." IET Software 14.2 (2020): 115-128.

Gurbuz, Havva Gulay, and Bedir Tekinerdogan. "Model-based testing for software safety: a systematic mapping study." Software Quality Journal 26 (2018): 1327-1372.

Veanes, Margus, et al. "Model-based testing of object-oriented reactive systems with Spec Explorer." Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers (2008): 39-76.

A. Turlea, F. Ipate, and R. Lefticaru, “A Hybrid Test Generation Approach Based on Extended Finite State Machines,” in 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep. 2016, pp. 173–180, doi: 10.1109/SYNASC.2016.037.

Bringmann, Eckard, and Andreas Krämer. "Model-based testing of automotive systems." 2008 1st international conference on software testing, verification, and validation. IEEE, 2008.

Pretschner, Alexander, et al. "One evaluation of model-based testing and its automation." Proceedings of the 27th international conference on Software engineering. 2005.

M. Rocha, A. Simão, and T. Sousa, “Model-based test case generation from UML sequence diagrams using extended finite state machines,” Softw. Qual. J., vol. 29, no. 3, 2021, doi: 10.1007/s11219-020-09531-0.

U. H. Khan et al., “Automating Test Case Generation for Android Applications using Model-based Testing,” Emit. Int. J. Eng. Technol., 2022, doi: 10.24003/emitter.v10i1.628.

A. Albahli and A. Andrews, “Model-Based Testing of Smart Home Systems Using EFSM and CEFSM,” 2021, doi: 10.1109/CSCI54926.2021.00345.

Altom Consulting, “Altwalker,” 2023.

“Appium Website,” 2012.

How to Cite
M. F. Rahmadani, R. R. Riskiana, and D. S. Kusumo, “REUSE OF THE EFSM MODEL OF PEDULILINDUNGI APPLICATION IN SATUSEHAT APPLICATION TESTING WITH MBT METHOD”, J. Tek. Inform. (JUTIF), vol. 5, no. 3, pp. 757-765, May 2024.