Accelerated model-based robustness testing of state machine implementations

This paper presents a modeling and transition algorithm of a novel wall-climbing robot with biped-wheel hybrid mechanism. In order to realize robot transitions between inclined surfaces, the robot’s locomotion gait is analyzed and a locomotion gait planning model based on Finite State Machine (FSM) is established. Moreover a transition algorithm between inclined surfaces is proposed based on multi-sensors data fusions and logical reasoning networks. The results of simulations and experiments show that the model and algorithm are valid and can be applied for the wall-climbing robot’s transition between the concave surfaces.

Download Full-text

TEST CASE GENERATION BERBASIS STATE MODEL UNTUK VERIFIKASI SISTEM LAYANAN PERMOHONAN ROHANIWAN

Dinamika Rekayasa ◽

10.20884/1.dr.2020.16.1.275 ◽

2020 ◽

Vol 16 (1) ◽

Author(s):

Defri Kurniawan ◽

Danang Wahyu Utomo ◽

Novita Kurnia Ningrum

Keyword(s):

State Machine ◽

State Model ◽

Test Case Generation ◽

Test Case ◽

Use Case ◽

Behaviour Modelling ◽

Model Based ◽

Model Based Testing ◽

State Machine Diagram

Pembuatan kasus uji (test case generation) merupakan tahapan yang membutuhkan sumber daya terbesar yang memiliki pengaruh terhadap keefektifan dan efisiensi suatu pengujian perangkat lunak. Pembuatan test case menjadi salah satu topik penelitian paling manarik. Pengujian berbasis model (model based testing) diusulkan untuk membuat kasus uji pada Sistem Layanan Permohonan Rohaniwan Kementerian Agama Provinsi Jawa Tengah. Model yang diusulkan dalam pembuatan kasus uji dimulai dari kegiatan pengumpulan kebutuhan, menganalisa use case dan class, mengidentifikasi state, melakukan pemodelan perilaku (behaviour modelling) menggunakan state machine diagram dan membuat daftar kasus uji. Penelitian menunjukkan penggunaan model berbasis state mempu mendukung pembuatan kasus uji (test case) dan dapat mendeteksi perilaku (behavior) dari response sistem yang kurang sesuai terhadap inputan atau aksi yang diberikan oleh user.

Download Full-text

Model Based Protocol Conformance Test Study

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.713-715.466 ◽

2015 ◽

Vol 713-715 ◽

pp. 466-470

Author(s):

Guo Li Deng ◽

Tao He ◽

Yong Wei ◽

Hua Zhong Li ◽

Shou Xiang Xu ◽

...

Keyword(s):

Finite State Machine ◽

State Machine ◽

Test Method ◽

Conformance Test ◽

Testing Method ◽

Model Based ◽

Test Study ◽

Model Based Testing ◽

Finite State ◽

Protocol Conformance Testing

This paper puts forwards the problems during the process of conformance test based on the enhanced finite state machine and looks for the description method of the state machine for protocol. Through the analysis of model based on test principle, the protocol conformance testing will be applied based on the enhanced finite state machine test. Through comparing with the traditional test method, study how to design model for protocol, and through executing model produced test, verify the advantage and applicability of model based testing method by testing cases.

Download Full-text