Filters








53,546 Hits in 7.8 sec

Empirical evaluations on the cost-effectiveness of state-based testing: An industrial case study

Nina Elisabeth Holt, Lionel C. Briand, Richard Torkar
2014 Information and Software Technology  
When test models are expressed as UML state machines, this is typically referred to as state-based testing (SBT).  ...  Objective: In this paper, we evaluate the cost-effectiveness of SBT on actual control software by studying the combined influence of four testing aspects: coverage criterion, test oracle, test model and  ...  As the state-based criteria are defined for finite state machines, a prerequisite for generating the test suites was to use an input state machine without concurrency and hierarchy.  ... 
doi:10.1016/j.infsof.2014.02.011 fatcat:xfj4j3aip5eupf5ikujlevwu74

A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008

Lars Frantzen, Mercedes G. Merayo, Manuel Núñez
2009 The Journal of Logic and Algebraic Programming  
This special issue contains the revised and extended versions of three papers presented in the 4th Workshop on Advances in Model-Based Testing (A-MOST 2008).  ...  In addition to an executive summary of these three papers, this preface briefly reviews the papers published in the four editions of the A-MOST workshop.  ...  [13] proposed a model-based regression test suite generation method based on Extended Finite State Machine (EFSM) dependence analysis.  ... 
doi:10.1016/j.jlap.2009.02.010 fatcat:o4gguzoctfhu7grrhtofsb73da

Model Based Testing for Web Applications: A Literature Survey Presented

Hasan Javed, Nasir Mehmood Minhas, Ansar Abbas, Farhad Muhammad Riaz
2016 Journal of Software  
Different techniques (based on model based testing) have been presented in the literature.  ...  The focus of this study is to present a survey of model based testing techniques with specific reference to web applications.  ...  and Extended Finite State Machines.  ... 
doi:10.17706/jsw.11.4.347-361 fatcat:2v2mhvnwlffmdmunj5vikf3cfq

Regular Expression Based Test Sequence Generation for HDL Program Validation

Onur Kilinccceker, Ercument Turk, Moharram Challenger, Fevzi Belli
2018 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)  
First, the HDL program is converted to a Finite State Machine (FSM). Then, the obtained FSM is transformed to RE which is represented by a Syntax Tree (ST).  ...  In the procedure of test sequence generation proposed in this study, Regular Expressions (REs) are utilized to model the behavior of the System Under Test (SUT).  ...  Finite State Machine (FSM): A FSM is defined by 5tuples [19] as <Q, Σ, δ, q , F> where, Q: a finite set of states Σ: a finite set of input symbols (alphabet) δ: state transition function, mostly represented  ... 
doi:10.1109/qrs-c.2018.00103 dblp:conf/qrs/KilincccekerTCB18 fatcat:hjtyj2ce2na63juyg54jugikqu

Mutation of Model Checker Specifications for Test Generation and Evaluation [chapter]

Paul E. Black, Vadim Okun, Yaacov Yesha
2001 Mutation Testing for the New Century  
Our future plans include studying how the form of a specification influences the results, finding relations between different operators, and validating the method against independent metrics.  ...  The properties of specification mutation operators have not been explored in depth. We report our work on theoretical and empirical comparison of these operators.  ...  Mutation analysis in the context of protocol specifications written in Estelle, an extended finite state machine formalism, was studied in [21] .  ... 
doi:10.1007/978-1-4757-5939-6_5 fatcat:igznnddxmvdmbpg3w3acyqwdxu

Test Data Generation from UML State Machine Diagrams using GAs

Chartchai Doungsa-ard, Keshav Dahal, Alamgir Hossain, Taratip Suwannasart
2007 International Conference on Software Engineering Advances (ICSEA 2007)  
Acknowledgement This research has been supported by the EU Asialink project -TH/Asia Link/004 (91712) -Euro-Asia Collaboration and Networking in Information Engineering System Technology (EAST-WEST).  ...  Clarke [8] proposed an empirical study on automated test data generation using the state based specification EFSMs (Extended Finite State Machines).  ...  Coverage Criteria The quality of a test data that we evaluate based on the number of coverage the test data can cover. The coverage of test data can be defined by many criteria.  ... 
doi:10.1109/icsea.2007.70 dblp:conf/icsea/Doungsa-ardDHS07 fatcat:vyinnmgwv5givl73c2d7um6kmy

A Novel Framework for Test Domain Reduction using Extended Finite State Machine

Nutchakorn Ngamsaowaros, Peraphon Sophatsathit
2007 International Conference on Software Engineering Advances (ICSEA 2007)  
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machine (EFSM).  ...  The proper domain representative along the specified path is selected based on fundamental calculus approximation.  ...  An Extended Finite State Machine (EFSM) can be extracted from the underlying model.  ... 
doi:10.1109/icsea.2007.9 dblp:conf/icsea/NgamsaowarosS07 fatcat:bqrcoomtfbhmhibpdzmz357zz4

Minimal Testcase Generation for Object-Oriented Software with State Charts

Ranjita Kumari Swain
2012 International Journal of Software Engineering & Applications  
Test data generation is one of the key issues in software testing. This paper proposes an reduction approach to test data generation for the state-based software testing.  ...  A case study on Railway Ticket Vending Machine (RTVM) has been presented to illustrate our approach.  ...  TEST ADEQUECY CRITERIA Typically, state based test generation methods focus on some form of coverage, for instance on covering transitions [20] , [21] or on transition coverage and state identification  ... 
doi:10.5121/ijsea.2012.3404 fatcat:hk3dgq5s2vctrjl7vu22n3lzba

Web Testing Generation: A Stream X-Machine Based Approach

Zhongsheng Qian
2012 Journal of Software Engineering and Applications  
To ensure the quality of Web applications, Web testing is one of the effective methods.  ...  This work proposes a Web testing framework based on Stream X-Machines (SXMs), which provides a way to derive test cases for a Web application.  ...  Acknowledgements This work is financially supported by the National Natu-  ... 
doi:10.4236/jsea.2012.51002 fatcat:bgptbm5aajfxval6wcyr3kkqsu

Construction of global finite state machine for testing task interactions written in message sequence charts

Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha
2002 Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02  
; it is subject to frequent changes while being tested; and testing period must be minimized since the product's life-time is short.  ...  In order to conduct integration testing in a cost-effective manner, it is essential that requirements are captured in precise notation and that test cases are automatically generated and executed whenever  ...  Research on test case generation based on MSCs has been actively studied in the past.  ... 
doi:10.1145/568823.568825 fatcat:jryf6el5n5bllkxtlfuauwfhgy

Construction of global finite state machine for testing task interactions written in message sequence charts

Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha
2002 Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02  
; it is subject to frequent changes while being tested; and testing period must be minimized since the product's life-time is short.  ...  In order to conduct integration testing in a cost-effective manner, it is essential that requirements are captured in precise notation and that test cases are automatically generated and executed whenever  ...  Research on test case generation based on MSCs has been actively studied in the past.  ... 
doi:10.1145/568760.568825 dblp:conf/seke/LeeKC02 fatcat:c4ae2atan5gldegkp4ywfefeki

ADBT Frame Work as a Testing Technique: An Improvement in Comparison with Traditional Model Based Testing

Mohammed Akour, Bouchaib Falah, Karima Kaddouri
2016 International Journal of Advanced Computer Science and Applications  
This paper also discusses and explains the activities in the proposed model with the finite state model (FSM).  ...  Model-based testing (MBT) is used to direct testing activities such as test verification and selection.  ...  In traditional model-based testing, the model used to generate test cases is the finite state machine diagram (FSM) [4] .  ... 
doi:10.14569/ijacsa.2016.070502 fatcat:damv3hwjhjgknaexnoqoildciu

Specifying and Generating Test Cases Using Observer Automata [chapter]

Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson
2005 Lecture Notes in Computer Science  
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EFSM).  ...  The flexibility of the technique is demonstrated by specifying a number of well-known coverage criteria based on control-and data-flow information using observer automata with parameters.  ...  Extended Finite State Machines We assume that the specification of a module to be tested is given as an extended finite state machine in some syntax.  ... 
doi:10.1007/978-3-540-31848-4_9 fatcat:lw2f2yjsmvhr3ec7cxiqaefnyq

AUTOMATED TEST CODE GENERATION FROM CLASS STATE MODELS

DIANXIANG XU, WEIFENG XU, W. ERIC WONG
2009 International journal of software engineering and knowledge engineering  
This paper presents an approach to automated generation of executable test code from class models represented by the UML protocol state machines.  ...  It supports several coverage criteria for state models, including state coverage, transition coverage, and basic and extended round-trip coverage.  ...  Hong et al. [9] provide a way to derive extended state machines from Statecharts to devise test criteria based on control and data flow analysis.  ... 
doi:10.1142/s0218194009004313 fatcat:vg3xzszd3rah7lekfmv3z4dnpm

A Comparative Study on Test Case Generation of Concurrent Programs

Bidush Kumar Sahoo, Mitrabinda Ray
2016 World Journal of Engineering and Technology  
This paper deals with a comparative study on testing of concurrent programs based on different techniques.  ...  Some researches propose an intermediate graph called Interaction Sequence Testing Criteria (ISTC) approach based on sequence of interactions to solve the problem of test coverage criteria based on control  ...  This approach not only checks model of thermal verification of finite systems but also do test generation from finite state system. An extended finite state machine is a tuple.  ... 
doi:10.4236/wjet.2016.42027 fatcat:tg3xqrbv4jdlbkceoyn265c4am
« Previous Showing results 1 — 15 out of 53,546 results