Akademik Veri Yönetim Sistemi
Programming and Computer Software, cilt.47, sa.8, ss.765-777, 2021 (SCI-Expanded, Scopus)
Abstract: In the biomedical domain, diagrammatical models have been extensively used to describe and understand the behaviour of biological organisms (biological agents) for decades. Although these models are simple and comprehensive, they can only offer a static picture of the corresponding biological systems with limited scalability. As a result, there is an increasing demand to integrate formalism into more dynamic forms that can be more scalable and can capture complex time-dependent processes. Stream X-Machine (SXM) is such a powerful formal method with a memory (data) structure and function-labelled transitions. One of the main strengths of the SXM is its associated testing strategy which ensures that, under well-defined conditions, all functional inconsistencies between the system under test and the model are revealed. In this paper, we adopt the concept of SXM to develop a tool known as T-SXM, which has the capabilities of modelling real world problems and generating test cases automatically based on the state-counting approach. The Type II diabetes case study has been used to demonstrate the abilities of the proposed tool.