10 papers
Novel Strategy Generating Variable-length State Machine Test Paths
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed +1
Finite State Machine is a popular modeling notation for various systems, especially software and electronic. Test paths can be automatically generated from the system model to test…
Prioritized Variable-length Test Cases Generation for Finite State Machines
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed +3
Model-based Testing (MBT) is an effective approach for testing when parts of a system-under-test have the characteristics of a finite state machine (FSM). Despite various strategie…
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
Test Coverage criteria are an essential concept for test engineers when generating the test cases from a System Under Test model. They are routinely used in test case generation fo…
PatrIoT: IoT Automated Interoperability and Integration Testing Framework
Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger +6
With the rapid growth of the contemporary Internet of Things (IoT) market, the established systems raise a number of concerns regarding the reliability and the potential presence o…
Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting their Security and Reliability
Miroslav Bures, Matej Klima, Vaclav Rechtberger +3
The current development of the Internet of Things (IoT) technology poses significant challenges to researchers and industry practitioners. Among these challenges, security and reli…
Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model
Miroslav Bures, Vaclav Rechtberger
In testing of software and Internet of Things (IoT) systems, one of necessary type of tests has to verify the consistency of data that are processed and stored in the system. The D…
Quality and Reliability Metrics for IoT Systems: A Consolidated View
Matej Klima, Vaclav Rechtberger, Miroslav Bures +3
Quality and reliability metrics play an important role in the evaluation of the state of a system during the development and testing phases, and serve as tools to optimize the test…
Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
Miroslav Bures, Matej Klima, Vaclav Rechtberger +4
The recent active development of Internet of Things (IoT) solutions in various domains has led to an increased demand for security, safety, and reliability of these systems. Securi…
Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
To effectively test parts of the Internet of Things (IoT) systems with a state machine character, Model-based Testing (MBT) approach can be taken. In MBT, a system model is created…
Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-based Approach
Miroslav Bures, Miroslav Macik, Bestoun S. Ahmed +2
As the popularity of Smart Televisions (TVs) and interactive Smart TV applications (apps) has recently grown, the usability of these apps has become an important quality characteri…