scholarly journals Automatic Execution of Test Cases on UML Models of Embedded Systems

2013 ◽  
pp. 39-48
Author(s):  
Marco A. Wehrmeister ◽  
Gian R. Berkenbrock
Keyword(s):  
Embedded Systems ◽  
Test Cases ◽  
Uml Models

scholarly journals Testing embedded systems using test cases generated through combinatorial techniques

2018 ◽  
Vol 7 (2.7) ◽  
pp. 146
Author(s):  
Lakshmi Prasad Mudarakola ◽  
J K.R. Sastry ◽  
V Chandra Prakash
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
Traffic Control ◽  
Nuclear Reactor ◽  
Test Cases ◽  
Critical Systems ◽  
Daily Lives ◽  
Intelligent Devices ◽  
Wireless Infrastructure ◽  
Combinatorial Methods

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.

Towards a Platform for Debugging Executed UML-Models in Embedded Systems

2005 ◽  
pp. 238-241
Author(s):  
Philipp Graf ◽  
Clemens Reichmann ◽  
Klaus D. Müller-Glaser
Keyword(s):  
Embedded Systems ◽  
Uml Models

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems

2012 ◽  
pp. 340-351 ◽  
Author(s):  
Alek Radjenovic ◽  
Nicholas Matragkas ◽  
Richard F. Paige ◽  
Matteo Rossi ◽  
Alfredo Motta ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Automated Verification ◽  
Tool Chain ◽  
Uml Models

Test Path Prioritization from UML Activity Diagram Using a Hybridized Approach

2018 ◽  
Vol 8 (1) ◽  
pp. 83-96 ◽  
Author(s):  
Gargi Bhattacharjee ◽  
Sudipta Dash
Keyword(s):  
Genetic Algorithm ◽  
Software Testing ◽  
Critical Path ◽  
Optimization Technique ◽  
The Other ◽  
Test Cases ◽  
Activity Diagram ◽  
Apply Genetic ◽  
Uml Activity Diagram ◽  
Uml Models

Software testing is regarded as a pivotal approach to realize a high reliable product. To check for the correctness of results, we require appropriate test cases. UML models are largely used to depict the specifications for software development. Test cases are created independently and based on the sequence of occurrence in the diagrams; they lead to corresponding test paths in the program. In this paper, we have analyzed an activity diagram, consisting of concurrent activities, for generating test paths. The obtained test paths are therefore required to be ranked. We have demonstrated that it is conceivable to apply Genetic Algorithm procedures alongside Ant Colony Optimization technique for not only finding the most critical path but also prioritizing the other paths too for enhancing the effectiveness of software testing.

scholarly journals Automatic Generation of Test Cases from UML Models

2018 ◽  
Vol 21 (1) ◽  
Author(s):  
Constanza Pérez ◽  
Beatriz Marín
Keyword(s):  
Conceptual Models ◽  
State Transition ◽  
Automatic Generation ◽  
Test Cases ◽  
Design And Implementation ◽  
Model Based ◽  
Model Based Testing ◽  
The Cost ◽  
Early Phases ◽  
Uml Models

[Context] The growing demand for high-quality software has caused the industry to incorporate processes to enable them to comply with these standards, but increasing the cost of development. A strategy to reduce this cost is to incorporate quality evaluations from early stages of software development. A technique that facilitates this evaluation is the model-based testing, which allows to generate test cases at early phases using as input the conceptual models of the system. [Objective] In this paper, we introduce TCGen, a tool that enables the automatic generation of abstract test cases starting from UML conceptual models. [Method] The design and implementation of TCGen, a technique that applies different testing criteria to class diagrams and state transition diagrams to generates test cases, is presented as a model-based testing approach. To do that, TCGen uses UML models, which are widely used at industry and a set of algorithms that recognize the concepts in the models in order to generate abstract test cases. [Results] An exploratory experimental evaluation has been performed to compare the TCGen tool with traditional testing. [Conclusions] Even though the exploratory evaluation shows promising results, it is necessary to perform more empirical evaluations in order to generalize the results. Abstract (in Spanish): [Contexto] La creciente demanda de software de alta calidad ha provocado que la industria incorpore procesos para permitirles cumplir con estos estándares, pero aumentando el costo del desarrollo. Una estrategia para reducir este costo es incorporar evaluaciones de calidad desde las primeras etapas del desarrollo del software. Una técnica que facilita esta evaluación es la prueba basada en modelos, que permite generar casos de prueba en fases tempranas utilizando como entrada los modelos conceptuales del sistema. [Objetivo] En este artículo, presentamos TCGen, una herramienta que permite la generación automática de casos de pruebas abstractas a partir de modelos conceptuales UML. [Método] El diseño e implementación de TCGen, una técnica que aplica diferentes criterios de prueba a los diagramas de clases y diagramas de transición de estados para generar casos de prueba, se presenta como un enfoque de prueba basado en modelos. Para hacer eso, TCGen utiliza modelos UML, que son ampliamente utilizados en la industria y un conjunto de algoritmos que reconocen los conceptos en los modelos para generar casos de prueba abstractos. [Resultados] Se realizó una evaluación experimental exploratoria para comparar la herramienta TCGen con las pruebas tradicionales. [Conclusiones] Aunque la evaluación exploratoria muestra resultados prometedores, es necesario realizar más evaluaciones empíricas para generalizar los resultados.  

Using Graph Grammars to Develop Embedded Systems Based on UML Models

2011 ◽  
Author(s):  
Nicolas N. Bisi ◽  
Vinicius Pazzini ◽  
Luciana Foss ◽  
Simone Andre da Costa Cavalheiro ◽  
Lisane B. de Brisolara ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Graph Grammars ◽  
Uml Models
Sign in / Sign up

Export Citation Format

Share Document