A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Coverage-based Approach for Model-based Testing in Software Product Line
2018
International Journal of Engineering & Technology
Preserved Fulltext
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
2008
2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Innovations in Systems and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2022
Emitter: International Journal of Engineering Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2007
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 7th IEEE International Conference on Industrial Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 International Conference on Computational Intelligence for Modelling Control & Automation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2017
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2005
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2012
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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