scholarly journals MODEL-Based Performance Quality Assessment for IoT Applications

2021 ◽  
Vol 15 (12) ◽  
pp. 4
Author(s):  
Teeba Ismail Kh. ◽  
Ibrahim I. Hamarash
Keyword(s):  
Quality Assurance ◽  
Performance Metrics ◽  
Methodological Approach ◽  
Test Case ◽  
Quality Model ◽  
Iot Applications ◽  
Model Based ◽  
Performance Quality ◽  
Model Based Testing

<p class="0abstractCxSpFirst">The number of applications incorporating Internet of Things (IoT) concepts increases extraordinarily. This increase cannot continue without high-quality assurance. There are some difficulties in testing IoT applications; the system heterogeneity, test cost and time are taken to test the system, and the precision percentage of test results.</p><p class="0abstractCxSpLast">A well-known and possibly the best solution to overcoming these difficulties is to model the system for evaluation purposes, known as model-based testing (MBT). This paper aims to design a model-based testing approach to assess IoT applications performance quality attributes. The ISO 25000 quality model is used as a standard for software quality assurance applications. IoTMaaS is used as a case study to implement the methodological approach. The possible test cases were generated using the ACTS combinatorial test generation tool. The performance metrics of each test case were monitored until the optimum test case was identified, with the shortest response time and the least amount of resources used. The proposed testing method appears to be successful, according to the results.</p>

scholarly journals Test case prioritization techniques for model-based testing: a replicated study

2018 ◽  
Vol 26 (4) ◽  
pp. 1451-1482 ◽  
Author(s):  
João Felipe S. Ouriques ◽  
Emanuela G. Cartaxo ◽  
Patrícia D. L. Machado
Keyword(s):  
Test Case ◽  
Test Case Prioritization ◽  
Model Based ◽  
Model Based Testing

scholarly journals Model-Based Testing Applied to Software Components of Satellite Simulators

2018 ◽  
Vol 2018 ◽  
pp. 1-14
Author(s):  
Paulo Diego Barbosa da Silva ◽  
Ana Maria Ambrosio ◽  
Emilia Villani
Keyword(s):  
Space Research ◽  
Test Case ◽  
Software Components ◽  
State Machines ◽  
Operating Modes ◽  
Model Based ◽  
Model Based Testing ◽  
Space Programs ◽  
Testing Approach ◽  
Correct Implementation

Operational simulators have a fundamental role in space programs. During a satellite operation, these simulators are essential for validating critical manoeuvres, testing new on-board software versions, and supporting the diagnosis of anomalies. With the purpose of reusing the operational simulators, the Brazilian National Institute for Space Research has proposed a new standard for the specification of the components that must be integrated in their in-house developed simulators. The new standard describes the behaviour of satellite subsystems using cause-effect tables that relate telecommands, electrical switches, equipment working states, energy consumption, telemetries, and operating modes of the subsystem. Using this new standard as input, this work proposes an approach that merges model-based testing and model checking to verify the correct implementation of new components in the satellite simulator. The verification approach consists of extracting state machines from the cause-effect tables and used it to automatically derive a test case suite. In order to validate the proposal, we applied it to three different satellite subsystems and assessed the results obtained from the test campaigns. In all the three cases, the proposed approach identified errors in the simulator components that were not initially detected by the traditional testing approach used at the Brazilian National Institute for Space Research.

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

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 (<em>test case generation</em>) merupakan tahapan yang membutuhkan sumber daya terbesar yang memiliki pengaruh terhadap keefektifan dan efisiensi suatu pengujian perangkat lunak. Pembuatan <em>test case</em> menjadi salah satu topik penelitian paling manarik. Pengujian berbasis model (<em>model based testing</em>) 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 <em>use case</em> dan <em>class</em>, mengidentifikasi <em>state</em>, melakukan pemodelan perilaku (<em>behaviour modelling</em>) menggunakan<em> state machine diagram</em> dan membuat daftar kasus uji. Penelitian menunjukkan penggunaan model berbasis <em>state</em> mempu mendukung pembuatan kasus uji (<em>test case</em>) dan dapat mendeteksi perilaku (<em>behavior</em>) dari <em>response</em> sistem yang kurang sesuai terhadap inputan atau aksi yang diberikan oleh <em>user.</em>

Tools and Techniques for Model Based Testing

2010 ◽  
pp. 226-249
Author(s):  
Swapan Bhattacharya ◽  
Ananya Kanjilal ◽  
Sabnam Sengupta
Keyword(s):  
Software Development ◽  
Development Time ◽  
Domain Model ◽  
Test Case Generation ◽  
Test Case ◽  
Model Based ◽  
Testing Tools ◽  
Research Activities ◽  
Model Based Testing ◽  
Tools And Techniques

Software testing has gained immense importance in the present competitive world of developing software more quickly, more efficiently and more accurately. Testing activity is carried out throughout the lifecycle of software development and not only towards the end of development. Time and effort required to correct errors, detected later is much more compared to those, which are detected earlier. This has direct impact on costs and has led to a splurge of research activities in this domain. Model-based testing has recently gained attention with the popularization of modeling itself. It refers to testing and test case generation based on a model that describes the behavior of the system. The OMG initiative MDA has revolutionized the way models would be used for software development. There are a number of modeling techniques in use today- some have formal syntax like Z, VDM while some are semi-formal like UML. We have made a comprehensive summary of a considerable number of research works on Model Based testing. First, the issues, challenges and problems of model based testing have been discussed. Then the different methods developed for testing or test case generation based on the models are summarized. Finally a list of model based testing tools used for testing has been collectively presented.

Sign in / Sign up

Export Citation Format

Share Document