Research and Education
You are studying informatics?The students of today are the developers and decision makers of tomorrow.
We at Verifysoft want, that you use only the best tools during your education.
Our technologies are used by hundreds of companies in more than 30 countries all over the world.
When you join a company after your studies, there is a very high probability that your new employer uses our technologies. You are well prepared to your professional life when you are already familiar with the usage of our tools.
Academic program
Verifysoft offers best technologies to faculty members to extend the use of them to their students at very advantageous pricing.Our Academic Program covers the tools Testwell CTC++, Testwell CMT++, Testwell CMTJava and CodeSonar.
Testwell CTC++ is the leading Code Coverage Analyzer.
The tool is easy to use, works with all compilers and with all important operating systems. With clear reports, Testwell CTC++ is an ideal tool for learning about all coverage levels.
Testwell CMT++ and CMTJava are tools for measuring the complexity of your code.
They are very good tools to understand metrics like McCabe, Halstead and the Maintainability Index.
Are you interested in using Testwell CTC++, Testwell CMT++ and Testwell CMTJava within your school or university?
We will equip your class-rooms with our advanced technologies at very low cost. Request your licenses here.
Research projects can obtain Testwell tools with very interesting conditions. Please contact us.
If you are interested in using Imagix 4D or CodeSonar within your school or univerity please contact us.
Seminars
Verifysoft provides developers and managers with seminars and workshops.As a student or university member you can access to our seminars for very interesting conditions.
Please contact us for further information.
Use Techologies in your Courses which are used by Hundreds of Companies and Organisations
Verifysoft's Testing solutions have proven success in safety and security critical software development within the aerospace and defense, automotive, healthcare, and other industries.Many universities and schools use Testwell tools for the education of their students (partial list):
Brazil:
IME - Instituto de Matemática e Estatística da Universidade de São Paulo
China:
University Tianjin
Germany:
Fachhochschule Stralsund
Fachhochschule Trier
Helmut-Schmidt-Universität Hamburg
Hochschule Aschaffenburg
Hochschule Darmstadt
Hochschule für Technik und Wirtschaft Dresden
Hochschule Offenburg
Hochschule Ravensburg-Weingarten
Technische Universität Dresden
Universität Mannheim
Universität Stuttgart
France:
Université de Strasbourg
Université de Technologie Compiègne
Université Paris Sud LRI
Switzerland:
Berner Fachhochschule
Haute École ARC Ingénierie
United States:
East Carolina University
University of Southern California
Read here what people from research and education say about our tools:
"The installation phase of Testwell CTC++ was easily carried out by the students. It is planned to encourage students to put in place unit tests with measurements of the code coverage rate for all projects."
Read full Testimonial here
Valentin Py, Research Assistant
Haute Ecole ARC Ingénierie, Switzerland
Read full Testimonial here
Valentin Py, Research Assistant
Haute Ecole ARC Ingénierie, Switzerland
"The introduction of Testwell CTC++ coverage tool into our research projects, provided a substantial improvement in our capacity to account
for complex coverage criteria to software testings (in particular, the MC/DC converge criteria).
Testwell CTC++ also allowed our researchers to run experiments that are very close to the testing process performed in the software industry. Furthermore, Testwell CTC++ proved to be very easy to be installed and used by software developers. Considering our good experience of using Testwell CTC++, we aim to adopt it in our courses to help to test safety-critical software"
Read full Testimonial here
Alexandre Locci Martins and Ana C. V. de Melo
Instituto de Matemática e Estatística da Universidade de São Paulo, Brazil
Testwell CTC++ also allowed our researchers to run experiments that are very close to the testing process performed in the software industry. Furthermore, Testwell CTC++ proved to be very easy to be installed and used by software developers. Considering our good experience of using Testwell CTC++, we aim to adopt it in our courses to help to test safety-critical software"
Read full Testimonial here
Alexandre Locci Martins and Ana C. V. de Melo
Instituto de Matemática e Estatística da Universidade de São Paulo, Brazil
"Our school has an Informatics Engineering Master program with a branch in Software Engineering. This branch includes a course dedicated to software engineering quality where the students can learn and practice more advanced test methods, including test methods required for more critical systems in areas as avionics and automotive, and also learn to measure the compexity of the software they produce. The introduction of Testwell CTC++ to the students in the software engineering quality course allows the students to practice with those more advanced methods, to help students check the quality of their tests and to show how programs can be instrumented. This is possible not only in C++, but also in Java and C#."
Read full Customer Testimonial here
Alberto Sampaio, Professor
Instituto Superior de Engenharia do Porto, Portugal
Read full Customer Testimonial here
Alberto Sampaio, Professor
Instituto Superior de Engenharia do Porto, Portugal
"Nowadays, software development processes focus more on modelling and verification steps. Future software engineers should be acquainted with methods and tools for designing, implementing and validating their code. This is why we introduced Testwell CTC++ in several software engineering courses, from undergraduate to master and engineering degrees."
Read full Testimonial here
F.Zaidi & D.Longuet, Associates Professors, Maîtres de Conférences
University Paris-Saclay - University Paris-Sud, France
Read full Testimonial here
F.Zaidi & D.Longuet, Associates Professors, Maîtres de Conférences
University Paris-Saclay - University Paris-Sud, France
"We really liked the possibility of having an interactive html report.
This html document allowed us to navigate through the code and even go directly to the functions.
In addition, Verifysoft was very responsive during our E-Mail exchanges when we wanted to obtain an evaluation license and
when we had questions in general. We thank them again for their time and for providing us with their evaluation license.
Advantages of the tool: analysis of all levels of coverage, clarity of execution reports, multi-language (C, C ++, C #, Java),
rapid integration into many development environments, relatively simple handling, complete and explicit usage documentation,
follows safety standards and qualification kit, very good availability of the communication team: response in less than 24 hours, ... "
Adrien Soler, Théo Lauverjat, Lucas Lemaire
Université de Technologie de Compiègne (UTC), France
...Read the complete report of their student project: Tests logiciel LO22 complet. (In French)
Adrien Soler, Théo Lauverjat, Lucas Lemaire
Université de Technologie de Compiègne (UTC), France
...Read the complete report of their student project: Tests logiciel LO22 complet. (In French)
"I am writing a thesis as my final project for my software engineering degree, with the topic "CHATGPT AND CODE REFACTORING: A STUDY ON THE EFFECTIVENESS OF THE TOOL IN SOFTWARE PROJECTS". For data comparison, I am using the maintainability index. In this way, the Testwell CMT++ / CMT Java tool has greatly helped me in obtaining the pre- and post-refactoring metrics for open-source projects. With the simple usability of the UI and the quick return of metrics, I have made significant gains with the thesis. This tool provided exactly the metrics I needed for my thesis, such as Halstead Volume, Cyclomatic Complexity, and Lines of Code."
Djonatan Arns, Student
Universidade da regiao de Joinville, Brasil
Djonatan Arns, Student
Universidade da regiao de Joinville, Brasil