Filters








29 Hits in 1.0 sec

Implementing Conformiq Qtronic [chapter]

Antti Huima
2007 Lecture Notes in Computer Science  
In this essay, which accompanies my invited talk, I survey the nature of Conformiq Qtronic, the main implementation challenges that we have encountered and how we have approached them.  ...  Conformiq Qtronic 1 is a commercial tool for model driven testing. It derives tests automatically from behavioral system models.  ...  Conformiq Qtronic research and development has been partially supported by tekes 2 , and itea 3 , an eureka 4 cluster.  ... 
doi:10.1007/978-3-540-73066-8_1 fatcat:e6c4ykyeyrgx7dkq3ffiazgmdq

Towards flexible and efficient model-based testing, utilizing domain-specific modelling

Olli-Pekka Puolitaival, Teemu Kanstrén
2010 Proceedings of the 10th Workshop on Domain-Specific Modeling - DSM '10  
Conformiq Qtronic Conformiq Qtronic (CQ) is a commercial MBT tool. CQ uses a UML state machine extended with a variant of the Java programming language as model input language.  ...  On the other hand, Conformiq Qtronic is a versatile commercial tool with well defined and extensive interfaces and algorithms.  ... 
doi:10.1145/2060329.2060349 fatcat:pazjne23svguvn4uwx5n7zq4h4

Towards a GUI Test Model Using State Charts and Programming Code [chapter]

Daniel Mauser, Alexander Klaus, Konstantin Holl
2013 Lecture Notes in Computer Science  
Established solutions are, e.g., Microsoft Spec Explorer 3 or Conformiq Qtronic 4 .  ...  The established product "Conformiq Designer" supports these kinds of models.  ... 
doi:10.1007/978-3-642-41707-8_18 fatcat:e74md3enjnbcfjbyrrqs523ati

Model-Based Testing in Agile/Lightweight Processes: A Process-Centred Review

Raman Ramsin, Masoumeh Taromirad
2019 IET Software  
Qtronic) (Conformiq (Conformiq based on scenarios modelling using the Qtronic Qtronic) Qtronic and modelling language JWebUnit) (state machine) and then translated into JWebUnit, -) Faragó [2, mentioned  ...  Qtronic Conformiq Qtronic AT, roles: -, mode: tester, input: -) framework: testing tool and JWebUnit testing -, tool: Conformiq JWebUnit tools Qtronic and JWebUnit) Faragó [2, 25] M UT, explicit (when  ... 
doi:10.1049/iet-sen.2018.5164 fatcat:iqrbynovxbalbblsym2jukrweq

Model Based Testing of an Embedded Session and Transport Protocol [chapter]

Vesa Luukkala, Ian Oliver
2007 Lecture Notes in Computer Science  
Our approach is two phased: we first define a high level domain model in B and use cases in CSP that can be verified and then create a more detailed reference model that we use for testing the implementation  ...  We would like to thank Kimmo Nupponen and Antti Huima from Conformiq for valuable help.  ...  These assumptions led us to use the commercial Conformiq Qtronic [5] tool for testing.  ... 
doi:10.1007/978-3-540-73066-8_15 fatcat:czydyhgnffgnrpd7qsptue5szi

Traceability in Acceptance Testing

Jean-Pierre Corriveau, Wei Shi
2013 Journal of Software Engineering and Applications  
In this paper, we focus on acceptance testing, that is, on the validation of the actual behavior of the implementation under test against the requirements of stakeholder(s).  ...  It is generally accepted that the quality of such an implementation is of utmost importance. Yet current verification techniques, including software testing, remain problematic.  ...  We start by discussing Conformiq's Tool Suite [36, 37] , formerly known as Conformiq Qtronic (as referred to in [35] ).  ... 
doi:10.4236/jsea.2013.610a005 fatcat:mdegou4u7fhzdf6gydq7yuee7m

Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing [chapter]

Maximiliano Cristiá, Pablo Rodríguez Monetti
2009 Lecture Notes in Computer Science  
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT).  ...  CQT was surpassed by a another tool by Conformiq named Qtronic.  ...  Confimiq launched in 2002 a tool called Conformiq Test Generator (CTQ) [21] which calculates and executes test cases from UML Statechars models.  ... 
doi:10.1007/978-3-642-10373-5_9 fatcat:l4opz4borbdv5go7zu6vvgep7e

Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces

Sebastian Wieczorek, Alin Stefanescu
2010 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems  
Moreover, there is already a market with several MBT commercial tools (like Qtronic from Conformiq or TestDesigner from Smartesting or SpecExplorer from Microsoft).  ...  Therefore, implementing testing keywords is mostly done by utilizing capture/replay functionality, which is provided by most of the test automation tools.  ... 
doi:10.1109/ecbs.2010.59 dblp:conf/ecbs/WieczorekS10 fatcat:q7lwkh7umretfp3f7dcbxaauie

Experiences using Tedeso: an extensible and interoperable model-based testing platform

Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik, Monica McKenna
2013 Automated Software Engineering : An International Journal  
Additionally, Conformiq Modeler which is part of the QTronic package can be used for creating graphical models in UML, for example, state charts.  ...  QTronic does not provide a built-in integration with any other modeling tool.  ... 
doi:10.1007/s10515-012-0118-3 fatcat:63uf7oq2hzfenale2j4fzzfce4

What We Know about Testing Embedded Software

Vahid Garousi, Michael Felderer, Cagri Murat Karapicak, Ugur Yilmaz
2018 IEEE Software  
In that study, UML models of the SUT were transformed to models in a domain-specific language (DSL) called Qtronic Modeling Language (QML) and then a tool called Conformiq Qtronic tool was used to derive  ...  Given the large wealth of knowledge and industrial evidence in model-based testing of embedded systems (142 papers), we recommend companies, who are planning to implement systematic testing, to review  ... 
doi:10.1109/ms.2018.2801541 fatcat:3zmzpu2jq5c2dftcvuttfk4ou4

Specification Based Conformance Testing for Email Protocols [chapter]

Nikolay Pakulin, Anastasia Tugaenko
2010 Lecture Notes in Computer Science  
The paper presents the implementation of the method for the most widely used e-mail protocols SMTP, POP3 and IMAP4 and is illustrated by the results of testing of popular e-mail servers.  ...  Toolkit Conformiq Qtronic [13] does not provide on-the-fly testing, instead it generates TTCN-3 test scripts.  ...  Tests designed for one implementation could not be applied to other implementations.  ... 
doi:10.1007/978-3-642-16561-0_35 fatcat:dwd2xgwhlbhnxdh4lmlrczz4fu

Automatic Generation of Test Cases from UML Models

Constanza Pérez, Beatriz Marín
2018 CLEI Electronic Journal  
[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  ...  Models Standard Tools 2 [17] - UML JULE [18] Data model and Class model UML Conformiq Qtronic and EAST Test Runner [19] State machines and State diagram - PerformCharts and Condado [20] Data model - -  ...  Fig. 11 shows the algorithm that implements One Value criterion.  ... 
doi:10.19153/cleiej.21.1.3 fatcat:7wlth3m6qbfp7im3vzwslbeyqa

From Scenarios to Test Implementations Via Promela [chapter]

Andreas Ulrich, El-Hachemi Alikacem, Hesham H. Hallal, Sergiy Boroday
2010 Lecture Notes in Computer Science  
The proposed approach features three steps: 1) Deriving a MSC test implementation from a MSC scenario, 2) Mapping the test implementation into a Promela model, 3) Generating executable test scripts in  ...  The generation of an intermediate Promela model allows for model-checking to inspect the test implementation for properties like soundness, fault detection power as well as for consistency checking between  ...  Qtronic or Microsoft SpecExplorer to name just a few.  ... 
doi:10.1007/978-3-642-16573-3_17 fatcat:omizqkn3azesbabnfovudrey7y

Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost [chapter]

Marten Sijtema, Mariëlle I. A. Stoelinga, Axel Belinfante, Lawrence Marinelli
2011 Lecture Notes in Computer Science  
Writing the model, simulating it, and testing the implementation with JTorX only took 17% of the total development time.  ...  methods during the design, validation and testing phase: We modeled our design of the XBus in the process algebra mCRL2, validated the design using the mCRL2-simulator, and fully automatically tested our implementation  ...  Another very important topic is to implement test coverage metrics (e.g. from [14] ) in JTorX, so that we can quantify how thoroughly we have been testing.  ... 
doi:10.1007/978-3-642-24431-5_10 fatcat:j7uvv5pf6nekdpbvetowd2lseu

Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost

M. Sijtema, A. Belinfante, M.I.A. Stoelinga, L. Marinelli
2014 Science of Computer Programming  
Writing the model, simulating it, and testing the implementation with JTorX only took 17% of the total development time.  ...  methods during the design, validation and testing phase: We modeled our design of the XBus in the process algebra mCRL2, validated the design using the mCRL2-simulator, and fully automatically tested our implementation  ...  Another very important topic is to implement test coverage metrics (e.g. from [14] ) in JTorX, so that we can quantify how thoroughly we have been testing.  ... 
doi:10.1016/j.scico.2013.04.009 fatcat:l5tthkm4hbeapia7lcnh3nvu4u
« Previous Showing results 1 — 15 out of 29 results