scholarly journals The Equipment Qualification Testing Framework: Model Driven Development for Design and Model-Based Testing for Verification

2020 ◽  
Vol 15 ◽  
Keyword(s):  
Electromagnetic Interference ◽  
Computer Control ◽  
Model Driven Development ◽  
Testing Framework ◽  
Model Driven ◽  
Model Based ◽  
Model Based Testing ◽  
Water Drops ◽  
Qualification Testing ◽  
Equipment Qualification

Computer control systems (CCS) are an important for operation and maintenance of safety- critical infrastructures. A challenge in such systems implementation is certification and licensing against national and international regulatory requirements. Environmental tests are applied to check that equipment of the CCS can withstand the rigors of harsh environments, for example high and low temperature and humidity, water drops and dust, seismic vibration and acceleration, electromagnetic interference, radiation, etc. It can happen that environmental tests emphasis is methods, level and types of environmental impacts, but there is a question about functions which shall perform a system under test before, during and after test impact application. Equipment Qualification Testing Framework is proposed. The requirements to system operation under test is described in view of a model. Model Driven Development methodology is applied for design and Model-based Testing methodology is applied for verification

Cost and Effectiveness of Search-Based Techniques for Model-Based Testing: An Empirical Analysis

2017 ◽  
Vol 27 (04) ◽  
pp. 601-622 ◽  
Author(s):  
Aneesa Saeed ◽  
Siti Hafizah Ab Hamid ◽  
Asmiza Abdul Sani
Keyword(s):  
Test Data ◽  
Random Search ◽  
Test Cases ◽  
Optimal Test ◽  
Model Driven ◽  
Model Based ◽  
Model Based Testing ◽  
Generate Test Data ◽  
The Cost ◽  
Model Driven Approach

Model-based testing (MBT) seems to be gaining interest in industry and academia due to its provision of systematic, automated and comprehensive testing. The challenge in MBT is to generate optimal test data to execute test cases. Recently, researchers have successfully applied search-based techniques (SBTs) by automating the search for an optimal set of test data at reasonable cost compared to other more expensive techniques. In real complex systems, effectiveness and cost of SBTs for MBT in industrial context are little known. The objective of this study is to empirically evaluate the cost and the effectiveness of SBTs for MBT on industrial case studies. We applied a model-driven approach and SBTs to automatically generate executable feasible test cases. The results show that the model-driven approach generated high number of infeasible test cases with less time while genetic algorithm (GA) and simulating annealing (SA) outperformed significantly random search (RS) with high generation time. We concluded that local SBTs are more appropriate to generate test data when the type of the constraints is simple. Current work on analyzing the cost and effectiveness on SBTs for MBT indicates possible enhancement using the model-driven approach to detect the infeasible paths and SBTs to achieve optimal success rate.

scholarly journals Model-Based Testing for MQTT Applications

2020 ◽  
pp. 47-59
Author(s):  
Kotaro Tanabe ◽  
Yoshinori Tanabe ◽  
Masami Hagiya
Keyword(s):  
Finite State Machine ◽  
State Machine ◽  
Test Cases ◽  
Testing Framework ◽  
Model Based ◽  
Model Based Testing ◽  
Finite State ◽  
Long Time ◽  
Virtual Time ◽  
The Internet Of Things

Abstract Model-based testing is a widely-used vital technique for testing software running in a complex environment. In this paper, we propose extensions to existing model-based tools to apply this technique to software that employs the MQ Telemetry Transport (MQTT) protocol for transmitting messages, commonly used in the Internet of Things (IoT) environment. First, in the finite state machine used for generating test cases in a model-based testing framework, we introduce a type of transition that is triggered when receiving MQTT messages. Second, we extend the finite-state machine so that it produces test cases that reflect the characteristics of IoT software – a large number of relatively simple devices communicate with servers. Third, the concept of time is introduced into the finite state machine. Naturally, this is necessary for verifying the properties of software that runs for a long time. Moreover, to facilitate such verification, both real-time and virtual time are introduced. We implemented these extensions into a model-based testing tool, Modbat, and conducted a small experiment to confirm the feasibility, gaining positive results.

Sign in / Sign up

Export Citation Format

Share Document