Extended Finite State Machine-Model based Testing on Mobile Application

Dwinandana, Maulidito; Riskiana, Rosa Reska; Kusumo, Dana Sulistyo

doi:10.1109/icoseit55604.2022.10030001

Cited by 3 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For this purpose, system dynamics modeling can be used in both UML and FSMs. Dwinandana et al [12] presented an example of MBT (model-based testing) with the extended finite-state machine (EFSM) approach for mobile applications. Kalaji et al [13] used EFSMs for functional verification and proposed an automatic test pattern generation approach.…”

Section: Related Workmentioning

confidence: 99%

A Method for Modeling and Testing Near-Real-Time System Scenarios

Górski,

Stecz

2024

Applied Sciences

View full text Add to dashboard Cite

Unmanned platforms are becoming more and more widely used in both civilian and military applications. The flight safety of such aircraft is crucial. Therefore, it becomes necessary to formally model and rigorously test their software. Commencement of an unmanned air vehicle’s (UAV) operation requires it undergoing a certification process, which further heightens the quality requirements. The validation process of the designed system is presented on the example of verifying the correctness of the operational scenario involving the transfer of control over a UAV between two ground control stations (GCSs). The paper introduces the method of designing unmanned aerial vehicles and testing their functionality based on finite-state machines. The architecture description of the system encompasses the use cases view and logical view of the 1+5 architectural views model. The paper concentrates on system requirements and their transformation into unified modeling language (UML) state machine diagrams. The authors present a method of mapping requirements to functions related to flight safety and system dynamics models expressed as communicating extended finite-state machines (CEFSMs). Moreover, the paper shows the rules for testing the correctness of state machine models using methods based on determining flows in directed graphs. It should be emphasized that the paper considers the certification of UAV software components from the system safety viewpoint, which directly affects the airworthiness of the air platform.

show abstract

Section: Related Workmentioning

confidence: 99%