Tool specific news: Company
Testwell CMT++/CMTJava
Testwell CTC++
GrammaTech CodeSentry
GrammaTech CodeSonar
Imagix
Events/Seminars
ALL NEWS
Testwell CTC++ Training 6 July 2012 in Offenburg
Through concrete exercises and examples participants will be able to use Testwell CTC++ in an efficient way.
We provide a one day Basic Training and a two days Advanced Training.The trainings are available as inhouse training and public training. The next public training will be held on 6 July 2012 in Offenburg (Germany). more information
DESIGN & ELEKTRONIK Entwicklerforum "Embedded-System-Entwickung"
Professor Dr. Daniel Fischer of Offenburg´s University of Applied Sciences and Roland Bär of Verifysoft Technology GmbH will discuss and show the several different levels of test coverage and their instrumentations. Especially different analysis techniques on smallest targets will be focused on by the presenters. Solutions are demonstrated by examples.
You can still apply to "Entwicklerforum" until 5th of June for an early booker´s price. Keep in mind that visiting the part of the specialized fair where Verifysoft Technology GmbH will be presenting their tool solutions for testing embedded software is free.
Further information: DESIGN & ELEKTRONIK Entwicklerforum
Presentation at LinuxTag Berlin: "Code coverage shown live on an Android device"
LinuxTag is the most important place for Linux and open source software in Europe. 18th LinuxTag will take place on 23-26 May 2012 (for the sixth time at the Berlin Fairgrounds) and presents all the latest news and information for professional users, decision makers, developers, beginners and the Linux community.
SAE World Congress in Detroit: Automating AUTOSAR Functional Test Design with Model-Based Testing
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 modelling, steering of test generation, test case review, and all the way to test script generation based on the MBT tool Conformiq Designer™.
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 modelling, steering of test generation, test case review, and all the way to test script generation based on the MBT tool Conformiq Designer™.
Embedded World 2012: Verifysoft presented Testing and Analysis Tools
(Nuremberg, 1 March 2012)
Further highlights were: measurement of complexity of source code with Testwell CMT++, automated test case generation and test case execution with "Conformiq Tool Suite" in combination with "Elvior TestCast", project management with QMetry together with Software Diagnostics´ "Transparency Platform". Verifysoft Technology also informed about its seminars.
Elvior to host Model-based Testing User Conference (MBT UC 2012)
Elvior is provider of Elvior TestCast MBT Edition, a tool chain which includes the automatic test generator Conformiq Tool Suite and the test case development and execution platform Elvior TestCast.
Further information about the conference is available from the conference page
Swiss Testing Day: Verifysoft to present Testing Solutions
Do you know what Code Coverage is? Roland shows you at Droidcon in Berlin
Roland Bär, Chief Technical Officer of Verifysoft Technology, will show how to perform Code Coverage on Android devices.
The presentation will be held at Droidcon Berlin (March, 13th and 14th). Code Coverage is done with Testwell CTC++, a leading test coverage tool which is widely used in the telecommunication, automotive, healthcare and aeronautics sectors.
Testwell CTC++ analyses for code coverage on all embedded targets and OS like Android, Windows Phone 7.5, Windows CE, Symbian, Bada, Blackberry, ...
Further information: Droidcon
The presentation will be held at Droidcon Berlin (March, 13th and 14th). Code Coverage is done with Testwell CTC++, a leading test coverage tool which is widely used in the telecommunication, automotive, healthcare and aeronautics sectors.
Testwell CTC++ analyses for code coverage on all embedded targets and OS like Android, Windows Phone 7.5, Windows CE, Symbian, Bada, Blackberry, ...
Further information: Droidcon
Verifysoft presented Tools at Software Quality Days 2012
(Vienna/Austria, 17 - 19 January 2012)
Verifysoft sponsors "French Software Testing Day" in Paris
Verifysoft Technology sponsors the "Journée Française des Tests Logiciels" (French Software Testing Day), an event organized by the "Comité Français des Tests Logiciels" (CFTL) in Paris on 3 April 2012.
Further information is available from the CFTL website.
Further information is available from the CFTL website.