Automated generation of test cases from output domain and critical regions of embedded systems using genetic algorithms

Thorough testing of embedded systems is required especially when the systems are related to monitoring and controlling the mission critical and safety critical systems. The embedded systems must be tested comprehensively which include testing hardware, software and both together. Embedded systems are highly intelligent devices that are infiltrating our daily lives such as the mobile in your pocket, and wireless infrastructure behind it, routers, home theatre system, the air traffic control station etc. Software now makes up 90% of the value of these devices. In this paper, authors present different methods to test an embedded system using test cases generated through combinatorial techniques. The experimental results for testing a TMCNRS (Temperature Monitoring and Controlling Nuclear Reactor System) using test cases generated from combinatorial methods are also shown.

Download Full-text

MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES

International Journal of Software Engineering and Knowledge Engineering ◽

10.1142/s021819401100513x ◽

2011 ◽

Vol 21 (01) ◽

pp. 103-127 ◽

Cited By ~ 18

Author(s):

VINCENT C. HU ◽

D. RICHARD KUHN ◽

TAO XIE ◽

JEEHYUN HWANG

Keyword(s):

Access Control ◽

Test Cases ◽

Covering Array ◽

Model Checker ◽

Challenging Problem ◽

Automated Generation ◽

Mandatory Access Control ◽

Access Control Models ◽

Security Properties ◽

Property Verification

Mandatory access control (MAC) mechanisms control which users or processes have access to which resources in a system. MAC policies are increasingly specified to facilitate managing and maintaining access control. However, the correct specification of the policies is a very challenging problem. To formally and precisely capture the security properties that MAC should adhere to, MAC models are usually written to bridge the rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a standardized structure for MAC models, providing for both property verification and automated generation of test cases. The approach expresses MAC models in the specification language of a model checker and expresses generic access control properties in the property language. Then the approach uses the model checker to verify the integrity, coverage, and confinement of these properties for the MAC models and finally generates test cases via combinatorial covering array for the system implementations of the models.

Download Full-text

Software Test Data Generation based on Path Testing using Genetic Algorithms

International Journal of Recent Technology and Engineering - 2 ◽

10.35940/ijrte.f9775.038620 ◽

2020 ◽

Vol 8 (6) ◽

pp. 4466-4473

Keyword(s):

Genetic Algorithms ◽

Test Data ◽

Iterative Algorithms ◽

Continuous Functions ◽

Software Test ◽

Test Cases ◽

Test Data Generation ◽

Data Generation ◽

Optimal Solutions ◽

Automated Test

Test data generation is the task of constructing test cases for predicting the acceptability of novel or updated software. Test data could be the original test suite taken from previous run or imitation data generated afresh specifically for this purpose. The simplest way of generating test data is done randomly but such test cases may not be competent enough in detecting all defects and bugs. In contrast, test cases can also be generated automatically and this has a number of advantages over the conventional manual method. Genetic Algorithms, one of the automation techniques, are iterative algorithms and apply basic operations repeatedly in greed for optimal solutions or in this case, test data. By finding out the most error-prone path using such test cases one can reduce the software development cost and improve the testing efficiency. During the evolution process such algorithms pass on the better traits to the next generations and when applied to generations of software test data they produce test cases that are closer to optimal solutions. Most of the automated test data generators developed so far work well only for continuous functions. In this study, we have used Genetic Algorithms to develop a tool and named it TG-GA (Test Data Generation using Genetic Algorithms) that searches for test data in a discontinuous space. The goal of the work is to analyze the effectiveness of Genetic Algorithms in automated test data generation and to compare its performance over random sampling particularly for discontinuous spaces.

Download Full-text

Genetic Algorithms

Advances in Secure Computing, Internet Services, and Applications - Advances in Information Security, Privacy, and Ethics ◽

10.4018/978-1-4666-4940-8.ch012 ◽

2014 ◽

pp. 239-255 ◽

Cited By ~ 2

Author(s):

Pabitra Mohan Khilar

Keyword(s):

Genetic Algorithms ◽

Fault Diagnosis ◽

Distributed Computing ◽

Embedded Systems ◽

Distributed Embedded Systems ◽

Distributed Computing Systems ◽

Computing Systems ◽

Satellite Systems ◽

Complete Problems ◽

Diagnosis Algorithm

Genetic Algorithms are important techniques to solve many NP-Complete problems related to distributed computing and its application domains. Genetic algorithm-based fault diagnoses in distributed computing systems have been a feasible methodology to solve diagnosis problems recently. Distributed embedded systems consisting of sensors, actuators, processors/microcontrollers, and interconnection networks are one class of distributed computing systems that have long been used, staring from small-scale home appliances to large-scale satellite systems. Some of their applications are in safety-critical systems where occurrence of faults can result in catastrophic situations for which fault diagnosis in such systems are very important. In this chapter, different types of faults, which are likely to occur in distributed embedded systems and a GA-based methodology to solve these problems along with the performance analysis of fault diagnosis algorithm have been presented. Nevertheless, the diagnosis algorithm presented here is well suitable for general purpose distributed computing systems with appropriate modification over system and fault model. In fact, this book chapter will enable the reader not only to study various aspects of fault diagnosis techniques but will also provide insight to build robust systems to allow for continued normal service despite the occurrence of failures.

Download Full-text