|
Tool specific news:
Company Conformiq Tool Suite Coverity CMT++/CMTJava CTC++/CTC for Java and C# DataDrill Express Elvior TestCast QMetry Software Diagnostics Seminars ALL NEWS
|
|
| (Saratoga/USA, 11 May 2012)
Conformiq Inc. announces the release of Conformiq Designer 4.4.3 and it´s availability for download from the Conformiq website.
Here the main highlights of the new version:
- The computation server has been made more fault tolerant and robust
- Test generation algorithm has been heavily optimized for memory keeping without sacrificing performance
- The layout algorithm of Conformiq Modeler has been revised making the behavior of transition layout more intuitive and user friendly
- User Interface has been enhanced in numerous ways
|
At the SAE World Congress in Detroit´s COBO Center on Tuesday April 24th, Conformiq´s CTO Stephan Schulz will be presenting technical paper entitled "Automating AUTOSAR Functional Test Design with Model-Based Testing".
Abstract: Classic problems of the functional software test development industry often include poorly documented coverage of specification requirements, challenging delivery cycles, high software quality requirements, costly test development, inflexible test sets, and high maintenance costs due to ever changing requirements. Technology and commercial software exist today that can help to resolve all of these issues by automating test design with model-based testing (MBT), i.e., by automatically generating tests and test documentation. In numerous case studies over a wide range of application areas, MBT has been independently confirmed to cut testing costs significantly by increasing productivity, to enable up to 91% code coverage during test execution, and to locate numerous defects that have escaped detection using conventional testing approaches.
Stephan Schulz introduces automated test design and compare it with conventional software test development. He outlines a methodology for developing functional tests from models that describes the operation of the system (aspect) to be tested. Automated test design is presented by showing modeling, steering of test generation, test case review, and all the way to test script generation based on the MBT tool Conformiq Designer™.
|
(Saratoga/California, USA, 22 June 2011)
Conformiq Inc., the world-leading supplier of model-based testing technology, announced today the immediate general availability of Conformiq Designer 4.4, a new major release of the company´s flagship Automated Test Design™ product.
More information: Version 4.4, Conformiq Tool Suite |
|
|
| (Saratoga/USA, January 2011)
According to a Forrester study a Conformiq customer reports a Return on Investment of 396% and a payback period of 3.5 months for the automatic test case generator Conformiq Tool Suite.
When designing and executing new test designs, the organization experienced a 30% efficiency gain for the engineers working on the project. The company experienced the following benefits: improved test suite maintenance efficiency, greater test coverage, earlier-identified faults, improved agility in responding to customer requirements, feedback into the functional design process, increased employee motiviation, and decreased documentation overhead. During the interview Forrester identified numerous benefits like labor efficiency gains for new test designs and for test design reuse.
![[PDF]](icon-pdf-15x16.gif) Forrester Study: The Total Economic Impact Of Conformiq Tool Suite |
(22 June 2010)
Siemens Corporate Technology has published a paper about "Model-based testing in industry: a case study with two MBT tools".
Conformiq is rated reliable and easy to use. further information
(Espoo/Finland and Saratoga/USA, 19 May 2010)
Conformiq announced the availability of version 4.2 of the Conformiq Tool Suite consisting of Conformiq Modeler™ 4.2 and Conformiq Designer™ 4.2. Conformiq simplifies naming of the Conformiq brand and clarifies that Conformiq 4.2 is a fourth-generation technology. The company has been developing model-based testing tools for ten years and wants to communicate the level of maturity in the current offering.
Conformiq 4.2 is adding a number of import and integration features. Conformiq Designer 4.2 can now import existing TTCN-3 type definitions. Rational Software Architect Realtime Edition (RSARTE) can be used for writing Conformiq models, and the Sparx Systems Enterprise Architect importer is enhanced with support for importing class diagram and physical model structure.
Conformiq Designer 4.2 is now able to import requirements from third party tools and automatically publish generated tests to test management tools. The new Conformiq 4.2 supports these integrations out of the box with the following tools:
- IBM RequisitePro (requirement management tool) version 7.1
- HP QualityCenter (requirement and test management tool) version 9 and 10
- IBM DOORS (requirement management tool) version 9.2
Conformiq Tool Suite automates the design of functional tests. Tests are generated automatically from system models, and published in human-readable and executable test scripts in customizable formats including HTML, XML, Python, Perl, TCL, Visual Basic, and TTCN-3. The models describe the products being tested and can be created in a fraction of the time needed to construct the corresponding test cases by hand.
(Saratoga, California, 13 July 2009)
Conformiq Inc. announced the availability of Conformiq Qtronic™ version 2.1, now utilizing the power of multi-core, distributed and parallel computing for faster automatic testcase generation. This scalability breakthrough paves the way for deploying Conformiq Qtronic™ in grids and on cloud computing platforms. By distributing the computations on multi-cores or across clustered computer systems, testers can speed their test case generation process and reduce costs.
Conformiq Qtronic™ automates the design of tests for software and systems by generating black-box functional tests from high-level models without user intervention. These models can be created in a fraction of the time compared to writing the corresponding test cases by hand. This way test generation speed is increased by as much as 20 times, and helped them achieve higher test quality and better test coverage. The mean of customer benchmarks shows test generation speed increases more than 5 times at the beginning of a Conformiq Qtronic™ deployment.
Conformiq Qtronic™ automatically generates functional black-box tests using mathematical algorithms from system models expressed in Java and in UML. It provides a fully interactive workbench approach to automatic test case design. The tool's open interfaces enable customers to integrate the tool with their test execution infrastructure
Further information about Conformiq Qtronic™
|
(Düsseldorf, 27 May 2009)
The software quality management and software testing community came together for the fourteenth time at the 2009 Software & Systems Quality Conference Germany in Düsseldorf.
Conformiq presented the leading Automated Test Design™ tool Conformiq Qtronic™.
Conformiq Qtronic™ uses a system requirement model as input to automatically generate test scripts. Automatec Test Design represents a paradigm shift in test design for software and systems. Companies interested in stepping into the future of test design are invited to contact us for an inhouse presentation of Conformiq Qtronic™.
Photo: Klaus Lambertz and Frank Erdrich (Verifysoft) with customer in front of Conformiq booth
Publication with friendly permission of SQS Software Quality Systems AG |
|
(3 April 2009)
Model based approaches are becoming more and more important for software development and for software testing.
Model based testing focusses on describing the requirements and behavior of the system under test in a model. This model is then used for the automatic generation of test cases.
A study of the German technical periodical "iX" on "Model based Testing: Modeling and generating tests - basics, criteria for tool use, tools in the survey" provides now detailed information about the fundamentals of model based testing and about model based testing tools including Conformiq Qtronic™.
The study (around 390 pages) is available in German language and can be ordered from www.heise.de. Price is 390 Euros (10% discount for any order before 1 May 2009). |
| (13 February 2009)
Despite the economical climate, Conformiq secures 3 million euros in investment round. |
Funding lead by Nexit Ventures mainly comes from "Finland´s industry investment Ltd." (Suomen Teollisuussijoitus Oy) and unclosed group of US angel investors.
Comformiq recently has transfered its business executives to Saratoga (California), but retain the product development in Espoo, Finland.
Conformiq focuses in model-based testing tools. The real innovation of the main product Conformiq Qtronic™ is that usually you would need to write tests, but Conformiq Qtronic™ generates and executes tests itself based on the design model.
The newest version ofConformiq Qtronic™ includes an Eclipse-based front end, which can be tied into Eclipse-based issue tracking software.
Conformiq Qtronic™™ is a model-based testing (MBT) tool for the automated design of functional tests, derived from high level functional models of the software and systems to be tested.
Because the system is entirely model-based,Conformiq Qtronic™ can test any application regardless of language, though models must be designed in Java and UML.
A lot of MBT approaches provide tools for capturing test scripts at a higher level of abstraction. Conformiq employs a more advanced approach that focuses on modeling the requirements and behavior of the system under test and relies on automated test design tools to derive the proper test plans and test scripts.
Why write tests when you can have them written for you?
"The approach we've been advocating is instead of focusing on defining the tests, you look at the specification and you create a functional model of the test" said A.K. Kalekos, CEO of Conformiq. "This functional model approach saves time and money."
Further information about Conformiq Qtronic™™ |
(23 January 2009)
Conformiq announced the release ofConformiq Qtronic™ 2.0, the leading tool for automatic model based test case generation.
Conformiq Qtronic™™ 2.0 is a major change inConformiq Qtronic™ architecture, from single monolithic software to client-server architecture. TheConformiq Qtronic™ Computational Server is powerful test generation engine, whileConformiq Qtronic™ Client is an Eclipse-based plug-in.
Here is a summary of major changes:
- Separation of user workspace and test generation into two distinct components,Conformiq Qtronic™ Computational Server (QCS) andConformiq Qtronic™ Eclipse Client (QEC).
- Redesign ofConformiq Qtronic™ user space as an Eclipse plug-in making it available to various platforms such as Linux, Window & Solaris (tied to Eclipse availability).
- Support for multiple test design configurations or profiles. Each test design configuration has its own coverage criteria and selection of script back-ends. While generation of test cases is possible without having a script back-ends (abstract test cases), a user can configure more than one scripting back-end in a test design configuration for executable test scripts. Test cases for multiple test design configurations are generated in parallel which makes test generation faster by sharing test generation results between multiple test design configurations more efficiently.
- Incremental test case generation with local test case naming
- Improved handling of coverage criteria
- Capability to browse and analyse generated test cases in the user interface including graphical I/O and execution trace (no need to export HTML test plan)
- Simplified plug-in API now can be developed in Java which eases the task of developing new plug-ins.
- Support for online testing is currently supported byConformiq Qtronic™ 1.X product family only and will be extended to 2.X family in the future.
| The EuroSTAR 2008 gathering is widely acknowledged as training and education ground for most European testing professionals.
Our partner Conformiq Software will show the world leading model-based Automated Test Design™ tool Conformiq Qtronic™™.
The venue for EuroSTAR 2008 (Nov 10-13) is World Forum Convention Center, The Hague, Netherlands.
Next presentations of Conformiq Qtronic™ by Verifysoft Technology:
Software QS-Tag Model Based Testing, Nürnberg (Germany), Nov 6, 2008
Software Quality Days 2009, Vienna (Austria), Jan 20-22, 2009
Embedded World, Nürnberg (Germany), March 3-5, 2009
Workshop Automated Test Design™, Offenburg (Germany), March 26, 2009 | |
 :
|
| (Offenburg, 11 September 2008)
During a workshop in Offenburg (Germany) Conformiq Software and Verifysoft Technology demonstrated the advantages of Automated Test Design™ such as faster test design, higher test quality, better test coverage, easier test maintenance and more test reuse.
Then followed a presentation of Conformiq Qtronic™, the leading automated test design tool that uses a system requirement model as input to automatically generate test scripts.
Automatec Test Design represents a paradigm shift in test design for software and systems. Companies interested in stepping into the future of test design are invited to contact us for an inhouse presentation of Conformiq Qtronic™. |
Conformiq Software presents Conformiq Qtronic™ at "Software & Systems Quality Conferences" on April 16-18, 2008 at Congress Center Stadthalle Düsseldorf, Germany.
Conformiq Qtronic™ is a test solution that delivers automatically test cases for Black Box Tests. The input for the tool is a design model of your software which can be created with Conformiq Qtronic™ Modeler in the tool or be "imported" form third party design tools.
Come to Düsseldorf and get a demo. Entrance to the exhibition is free of charge on friday, April 18.
Further information: Conformiq Qtronic™ Software & Systems Quality Conferences
(4 April 2008)
Conformiq Qtronic™ version 1.3 has been released and is available immediately.
Conformiq Qtronic™ 1.3 comes with an incremental test generation algorithm. With this new feature, the generated tests are stored as assets for future use. When tests are regenerated due to a change in the model etc. there is no need to regenerate tests from the parts of the model that are not changed.
The performance of test generation has been improved significantly.
The quality of the generated test has been improved and the generated set of tests is more compact.
For more information about Conformiq Qtronic™, the leading model driven testing solution, please go to the product pages
(11 January 2008)
Conformiq Qtronic™ version 1.2, a solution for automatic test case generation, is now available.
Here what´s new in Conformiq Qtronic™ 1.2 :
- Introduced model import from Sparx Systems Enterprise Architect.
- Model Debugging functionality has been integrated to the Online Testing and Script Generation modes
- New Windows installer that is based on open-source Nullsoft Scriptable Install System.
- Added a new scripter for generating test scripts in TCL .
- TTCN-3 and HTML script generators has been extended and enhanced.
- Usability of Conformiq Qtronic™ and Conformiq Qtronic™ Modeler has been enhanced.
(12 September 2007)
A new version of Conformiq Qtronic™, the leading model driven testing solution, has been released.
Here what´s new in Conformiq Qtronic™ 1.1 :
- Communication between internal threads in the model can now be observed in scripters and loggers.
- Array allocation semantics in QML has been changed.
- Added a scripter that renders scripts as MSC formatted HTML pages.
- Added Java plugin API allowing the user to implement plugins also in Java in a very similar fashion as plugins are implemented in C++.
(June 2007)
Two Nokia Research Center researchers published a paper on the use of Conformiq Qtronic™. The paper appears in the collection of peer reviewed papers for TESTCOM/FATES 2007, a leading conference on mathematics and formal methods based testing.
This year the joint conference was held in Tallinn, Estonia. Antti Huima from Conformiq Software gave his invited talk on the implementation architecture of Conformiq Qtronic™, the world´s leading model driven testing tool.
In their paper the researchers report on the use of Conformiq Qtronic™ for testing a "device level service", and mention that "bugs were found and the mentioned paraller errors were such that... there were no explicit requirements that would have to led test cases uncovering the errors".
The conference proceedings are available as LNCS 4581 from Springer.
(30 January 2007)
 Conformiq Qtronic™, the leading, innovative tool for Model Driven Quality Assurance (MDQA), is now available for evaluation.
The only commercial solution in the world that supports both online and offline testing, Conformiq Qtronic™ sets up the standard for model driven testing.
Further information and free evaluations: Conformiq Qtronic™
(12 May 2006)
Conformiq rolled out the company's new product for true model driven testing, the Conformiq Qtronic™, while exhibiting at the SQS Quality Conferences in Düsseldorf.
Conformiq Qtronic™ runs tests automatically and on the fly, deriving them without human interaction from system design models that can be provided in UML and Java.
"This roll-out is a great milestone for us. The technology has been in the works for more than four years. Our vision of automatic model driven testing has become reality in a very concrete way. This is a big step for us, and it is going to be a big step for the software industry", Antti Huima, managing director for Conformiq Software, said.
Further information
(2 May 2006)
|
| Verifysoft Technology and Conformiq Software (Espoo/Finland) have extended their distribution agreement to the French and Belgian markets.
Verifysoft has already been distributor for the testing and analysis solutions (code coverage, complexity measures, unit tests) of Testwell (Tampere/Finland) in the French speaking countries. "We make today more than 30% of our sales in France and are happy that we can now propose the automatic testing tools of the New Generation to our customers in France and Belgium" says Klaus Lambertz, country manager for Western Europe. |
|
Conformiq Test Generator is a solution for automatic model-based test generation and automatic test execution. With the new add-on Conformiq Qtronic™, which will be available soon, it will be possible to import existing design models into the automatic test tool. > Further information:
Conformiq Test Generator
Conformiq Qtronic™
|  |
(24 February 2006)
Our partner Conformiq Software announced at Embedded World (14-16 February 2006) the release of Conformiq Qtronic™, a revolutionist testing tool for automatic design-model-driven testing for the middle of the year 2006.
The tool will be presented during the Software Systems Quality Conferences the 10-12 May in Düsseldorf (Germany).
Further information : Conformiq Qtronic™
| Conformiq Software presents Conformiq Test Generator at "Software & Systems Quality Conferences" (SQC) - former ICSTEST - on April 6-8, 2005 at Congress Center Stadthalle Düsseldorf, Germany
Conformiq Test Generator is a revolutionary test automation solution that delivers more and better test results with reduced costs. Conformiq Test Generator delivers the promises of model-based test automation, and allows you to achieve the elusive quality goals of today.
| Come to Düsseldorf and get a demo of the new generation testing tool.
The entrance to the exhibition is free of charge on friday, April 8. Please contact us to get your free entrance to the exhibition.
further information about Conformiq Test Generator
further information about Software & Systems Quality Conferences
(7 September 2004)
| Conformiq Test Generator will be presented at ICSTEST®-UK Conference on Software Testing in London (October 6 - 7, 2004).
Conformiq CEO Antti Laine will speak about "Large Scale Use of Model-based Testing in Testing of a Credit Card Authorization Switching System"
| As a sponsor Conformiq is able to offer to You a reduced delegate place at 10% less than the standard rate.
> further information
(Espoo/Helsinki, 30 June 2004)
Conformiq Software Ltd., a leading Finnish software testing and test consulting company, and Verifysoft Technology announce today the signature of an agreement concerning sales and support of Conformiq Test Generator ™ in German speaking countries.
Conformiq Test Generator ™ is a dynamic test automation tool that replaces the manual process of writing test scripts with automatically generated test cases.
Conformiq Test Generator´s test models are presented as UML state diagrams. Instead of the time-consuming and error prone script programming or manual testing, the test engineer creates test models with a user-friendly graphical editor. The relevance and coverage of the test cases created by the test generator is guaranteed by intelligent algorithms, taht generate vast numbers of relevant test cases systematically.
Common areas of applicaton include: Functional, system, and acceptance testing, Regression testing, Integration testing, Interface asl well as Protocol/Platform testing.
Conformiq´s technology has been developed over a decade in research projects of finish Universities and in projects of leading Finish companies like Nokia and KONE. Since 1998 the technology has been furhter developed at Conformiq Software Ltd. into a user-friendly commercial product.
> further information
last updated: 11 May 2012
© 2011-2012 Verifysoft Technology GmbH
all company and event logos are © and the property of their respective owners
CTA++, CTC++, CMT++ and CMTJava are tools of Testwell Oy, Tampere, Finland
Conformiq Tool Suite, Conformiq Modeler and Conformiq Designer are tools and trademarks of Conformiq, Saratoga (USA)/Espoo (Finland)
Coverity Static Analysis is a product and a trademark of Coverity Inc., San Francisco (USA)
QMetry is a product and a trademark of QMetry, Santa Clara (USA)
all other trademarks of this site are the property of their respective owners. |
![[Français]](flaggeF.jpg){kind=small}
![[Deutsch]](flaggeD.jpg){kind=small}
