Research and Education
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 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 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, Imagix 4D and CodeSonar.
Testwell CTC++ is a Code Coverage Analyzer that is easy to use, compatible with all compilers, and supports all important operating systems. With its clear and detailed reports, Testwell CTC++ is an ideal tool for understanding and achieving all levels of code coverage.
Testwell CMT++ and CMTJava are tools for analyzing code complexity. They are tools to understand metrics such as McCabe complexity, Halstead metrics, and the Maintainability Index, making them excellent resources for improving code quality and maintainability.
Are you interested in using our technologys within your school or university?
We will equip your class-rooms with our advanced technologies at very low cost. Request your licenses
here.
Seminars
Verifysoft provides developers and managers with seminars and workshops. As a student or university member you can access to our seminars for special conditions. Please contact us for further information.
References
Verifysoft's Testing solutions have proven success in 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):
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."
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".
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
"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."
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)
"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
