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.
Filters
Implementing Conformiq Qtronic
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
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
2010
Proceedings of the 10th Workshop on Domain-Specific Modeling - DSM '10
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 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2013
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.
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
2019
IET Software
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.
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]
2007
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Journal of Software Engineering and Applications
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.
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]
2009
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 2016; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems
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 2011; you can also visit the original URL.
The file type is application/pdf.
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
2013
Automated Software Engineering : An International Journal
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.
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
2018
IEEE Software
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.
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]
2010
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 2014; you can also visit the original URL.
The file type is application/pdf.
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
2018
CLEI Electronic Journal
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.
[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]
2010
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 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2011
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.
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
2014
Science of Computer Programming
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.
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