Filters








2,778 Hits in 3.4 sec

Coverage-based Approach for Model-based Testing in Software Product Line

Rabatul Aduni Sulaiman, Dayang Norhayati A. Jawawi, Shahliza Abd Halim
2018 International Journal of Engineering & Technology  
For modelling purposes, the authors constructed a mapping model based on variability in FM and behaviour from statecharts. The proposed approach was validated using mobile phone SPL case study.  ...  One of the testing techniques that can enhance product quality is Model-Based Testing (MBT).  ...  We would like to express our profound gratitude to lab members of Software Engineering Department, Universiti Teknologi Malaysia (UTM) for their continuous support and constructive feedbacks towards the  ... 
doi:10.14419/ijet.v7i4.15.21373 fatcat:luhiiscxfnhjrlxh7ont72fy7e

An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models

Valdivino Santiago, N. L. Vijaykumar, Danielle Guimarães, Ana Silvia Amaral, Érica Ferreira
2008 2008 IEEE International Conference on Software Testing Verification and Validation Workshop  
Automated test case generation from behavioral models like Finite State Machines (FSMs) and Statecharts has long been studied.  ...  The environment supports test case generation from some test methods for FSM, such as switch cover, DS and UIO methods, and also from some test criteria for Statecharts based on the SCCF family.  ...  Previous methodology for automated test case generation.  ... 
doi:10.1109/icstw.2008.7 dblp:conf/icst/SantiagoVGAF08 fatcat:aep2cu4g2jbq3myu3yrgl6e764

A framework for computer-aided validation

Doron Drusinsky, James Bret Michael, Man-Tak Shing
2008 Innovations in Systems and Software Engineering  
Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instruction, searching existing data sources, gathering and maintaining  ...  Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington headquarters Services, Directorate for  ...  Validation of statechart assertion via scenario-based testing For example, the IV&V team can test the Statechart assertion A1 with a scenario in which the system receives more than eight newTracks in one  ... 
doi:10.1007/s11334-008-0047-2 fatcat:kl3dof3c4zbwlih44bf35s2ksq

Automating Test Case Generation for Android Applications using Model-based Testing

Usman Habib Khan, Muhammad Naeem Ahmed Khan, Aamir Mehmood Mirza, MUHAMMAD AKRAM, Shariqa Fakhar, Shumaila Hussain, Irfan Ahmed Magsi, Raja Asif Wagan
2022 Emitter: International Journal of Engineering Technology  
Test cases for the targeted model of the application under test were generated on a real device.  ...  Using model-based testing approach, we can automate the tedious phase of test case generation, which not only saves time of the overall testing process but also minimizes defects and ensures maximum test  ...  [11] presented an MBT approach for Android apps to generate automated test cases.  ... 
doi:10.24003/emitter.v10i1.628 fatcat:3vlsssod3zgpfbno4w4xdz4bwi

Software Test Data Generation Using Ant Colony Optimization

Huaizhong Li, C.Peng Lam
2007 Zenodo  
This paper proposes an Ant Colony Optimization approach to test data generation for the state-based software testing.  ...  State-based testing is frequently used in software testing. Test data generation is one of the key issues in software testing.  ...  In this paper we propose to use UML Statechart diagrams and ACO for test data generation.  ... 
doi:10.5281/zenodo.1330789 fatcat:o3coqpb5gnc6tofc45pepyoypi

Automated State-Based Unit Testing for Aspect-Oriented Programs: A Supporting Framework

Mourad Badri, Linda Badri, Maxime Bourque-Fortin
2009 Journal of Object Technology  
The generation and verification process of the testing sequences is completely automated.  ...  Interactions between aspects and classes are a new source for faults. Existing objectoriented testing techniques are not adequate for testing aspect-oriented programs.  ...  AUTOMATED TESTING SEQUENCES GENERATION The proposed technique supports the generation of testing sequences basically from the UML statechart of the class under test and the behavior of its related aspects  ... 
doi:10.5381/jot.2009.8.3.a4 fatcat:ttrgxvlgvvgp3aquiahqkiysv4

Basic Statechart: A formalism to model industrial systems

Raimundo Santos Moura, Luiz Affonso Guedes
2009 2009 7th IEEE International Conference on Industrial Informatics  
Accordingly, this paper proposes a methodology to model control programs for manufacturing systems that include sequential, parallel and timed operations, using a formalism based on Statechart diagrams  ...  , denominated Basic Statechart (BSC).  ...  In this case, the variables E1, E2, E3, and E4 indicate the "end-of-operation" of the belt, drill, test, and robot, respectively. These variables must be set to "true" for each of the devices.  ... 
doi:10.1109/indin.2009.5195796 fatcat:c3b3xaga6ra3ldwaqpbspiscda

Test Case Generation for Critical Systems through a Collaborative Web-Based Tool

Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Junior, Danielle Guimaraes
2008 2008 International Conference on Computational Intelligence for Modelling Control & Automation  
Such software uses Finite State Machines (FSM) in order to model the software specification from which test sequences are generated for a black box test approach.  ...  This paper addresses an experience in the modeling issue in using Statecharts to represent the specification of space application software from which test sequences can be generated.  ...  for generation of test sequences within a real space application.  ... 
doi:10.1109/cimca.2008.143 dblp:conf/cimca/ArantesVJG08 fatcat:zezoqlmgsvd6nmy4xjhs3z2vuu

Integrating Graphical and Natural Language Specifications to Support Analysis and Testing

Christopher L. Robinson-Mallett, Robert M. Hierons
2017 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)  
This paper presents a model-based approach for improving the quality of comprehensive requirements sets.  ...  At every release or delivery milestone, acceptance and integration testing take place. Therefore, test-cases have to be created from the requirements exchanged.  ...  Creating Test-Cases The presented test-case creation approach combines automated test-case generation with experienced based testing. We outline this for statecharts.  ... 
doi:10.1109/rew.2017.50 dblp:conf/re/Robinson-Mallett17 fatcat:iioln2dhdred3kfhk2ft4chk6q

Generation of Optimized Testsuites for UML Statecharts with Time [chapter]

Tilo Mücke, Michaela Huhn
2004 Lecture Notes in Computer Science  
We present an approach to automatically generate timeoptimized coverage-based testsuites from a subclass of deterministic statecharts with real-time constraints.  ...  The statecharts are extended to accomplish common and new coverage criteria inspired by the experience of test experts and translated into timed automata.  ...  A straightforwared idea for automated test design is so-called model based testing, i.e. to generate tests from (semi-)formal state based design models.  ... 
doi:10.1007/978-3-540-24704-3_9 fatcat:5okazldelzakljqx7kic2k5sxe

Automated support for deriving test requirements from UML statecharts

L. C. Briand, Y. Labiche, J. Cui
2005 Journal of Software and Systems Modeling  
Many statechart-based testing strategies result in specifying a set of paths to be executed through a (flattened) statechart.  ...  This requires that we determine the system state required for each event/transition that is part of the path to be tested and the input parameter values for all events and actions associated with the transitions  ...  This work is part of a larger project on testing object-oriented systems with the UML (www.sce.carleton.ca/Squall).  ... 
doi:10.1007/s10270-005-0090-5 fatcat:lkm6wmn52fe6hb6mod22yk3zsi

Checking General Safety Criteria on UML Statecharts [chapter]

Zsigmond Pap, István Majzik, András Pataricza
2001 Lecture Notes in Computer Science  
This paper describes methods and tools for automated safety analysis of UML statechart specifications.  ...  The general safety criteria described in the literature are reviewed and automated analysis techniques are proposed.  ...  Accordingly, we had to formalize and adapt the criteria to UML statecharts and elaborate tools for automated analysis.  ... 
doi:10.1007/3-540-45416-0_5 fatcat:a43q34c7mff63bdg2ov3k3rfsy

Verifying Access Control in Statecharts

Levi Lucio, Qin Zhang, Vasco Sousa, Yves Le Traon
2012 Electronic Communications of the EASST  
Based on our proposal a tool for performing the transformation and localization of errors in the statechart has been implemented.  ...  The approach is based on the transformation of a statechart into an Algebraic Petri net to enable checking access control policies and identifying potential inconsistencies with an OrBAC set of access  ...  The test cases generated from the integrated statechart describe the action/event sequences for exercising access control mechanisms.  ... 
doi:10.14279/tuj.eceasst.50.739 dblp:journals/eceasst/LucioZST11 fatcat:k7s2ykivqzdhpdakjfkjyt7fnu

A Comparative Evaluation of Tests Generated from Different UML Diagrams

Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini
2008 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing  
level faults than the statechart test sets.  ...  This paper presents a single project experiment on the fault revealing capabilities of model-based test sets. The tests are generated from UML statecharts and UML sequence diagrams.  ...  The dependent variables of the experiment were the two sets of test cases generated and the number of faults found at each level using those test sets.  ... 
doi:10.1109/snpd.2008.48 dblp:conf/snpd/KansomkeatOAB08 fatcat:gxd6mbtq6rgatkqijcttgxlh5a

The Petri-Nets to Statecharts Transformation Case

Pieter Van Gorp, Louis M. Rose
2013 Electronic Proceedings in Theoretical Computer Science  
Although the focus of this case study is on the comparison of the runtime performance of solutions, we also include correctness tests as well as bonus criteria for evaluating transformation language and  ...  This paper describes a case study for the sixth Transformation Tool Contest. The case is based on a mapping from Petri-Nets to statecharts (i.e., from flat process models to hierarchical ones).  ...  Juan de Lara for constructing the initial versions of the Petri-Net and statecharts metamodels used in this case.  ... 
doi:10.4204/eptcs.135.3 fatcat:yovxthtoirci3gb2ktxyl37yju
« Previous Showing results 1 — 15 out of 2,778 results