Forschung und Lehre
Sie studieren Informatik?Die Studenten von heute sind die Entwickler und Entscheider von morgen.
Unsere Technologien werden von hunderten Unternehmen in mehr als 30 Ländern auf der ganzen Welt genutzt.
Wenn Sie nach Ihrem Studium in ein Unternehmen eintreten, ist die Wahrscheinlichkeit groß, dass Ihr neuer Arbeitgeber unsere Technologien nutzt. Sie sind bestens vorbereitet für Ihr Berufsleben, wenn Sie bereits im Vorfeld mit der Anwendung unserer Tools vertraut sind.
Hochschulprogramm
Verifysoft bietet Fakultätsmitgliedern beste Technologien an, um diese ihren Studenten kostenfrei zur Verfügung zu stellen.Unser Hochschulprogramm deckt die Tools Testwell CTC++, Testwell CMT++, Testwell CMTJava und CodeSonar ab.
Testwell CTC++ ist der führende Code Coverage Analyser.
Das Tool ist einfach zu nutzen und arbeitet mit allen Compilern sowie allen wichtigen Betriebssystemen. Mit seinen einfachen Berichten ist Testwell CTC++ ein ideales Werkzeug zum Verständnis aller Coverage-Stufen.
Testwell CMT++ und CMTJava sind Werkzeuge zur Messung der Code-Komplexität und sind sehr gute Tools, um Metriken wie McCabe, Halstead und den Wartbarkeitsindex (Maintainability Index) zu analysieren und zu verstehen.
Sind Sie daran interessiert Testwell CTC++, Testwell CMT++ und Testwell CMTJava innerhalb Ihrer Hochschule oder Universität zu nutzen? Wir statten Ihre Computerräume kostenlos mit unseren Technologien aus.
Fordern Sie hier Ihre kostenfreien Lizenzen an.
Für Universitäten und Hochschulen bieten wir Imagix 4D und CodeSonar zu Sonderkonditionen an.
Kontaktieren Sie uns gerne für weitere Infomationen.
Seminare
Verifysoft unterstützt Entwickler und Manager mit Seminaren und Workshops.Als Student oder Universitätsmitglied können Sie an unseren Seminaren zu sehr interessanten Konditionen teilnehmen.
Kontaktieren Sie uns gerne für weitere Informationen.
Arbeiten Sie in Ihren Kursen mit Technologien, die von hunderten Unternehmen und Organisationen genutzt werden
Verifysofts Testlösungen haben nachweisliche Erfolge in sicherheitskritischer Softwareentwicklung in Branchen wie Luftfahrt und Verteidigung, Automobil, Gesundheitswesen und vielen Weiteren.Viele Universitäten und Schulen benutzen Testwell Tools für die Ausbildung Ihrer Studenten, z.B.:
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
Lesen Sie hier was Anwender aus dem Hochschulbereich über unsere Tools sagen:
"Die Installation von Testwell CTC++ ist problemlos durch unsere Studenten gemacht worden. Es ist geplant gemeinsam mit den Studenten Unit Tests zu machen und die Code Coverage für alle Projekte zu bestimmen."
Lesen Sie den vollständigen Kundenbericht hier
Valentin Py, Research Assistant
Haute Ecole ARC Ingénierie, Schweiz
Lesen Sie den vollständigen Kundenbericht hier
Valentin Py, Research Assistant
Haute Ecole ARC Ingénierie, Schweiz
"Die Einführung des Testwell CTC++ Abdeckungswerkzeugs in unsere Forschungsprojekte brachte eine wesentliche Verbesserung unserer Fähigkeit
komplexe Abdeckungskriterien für Softwaretests zu berücksichtigen (insbesondere die MC/DC-Konvergenzkriterien).
Testwell CTC++ ermöglichte es unseren Forschern auch, Experimente durchzuführen, die dem in der Softwareindustrie durchgeführten Testprozess sehr nahe kommen. Außerdem erwies sich Testwell CTC++ als sehr einfach zu installieren und zu nutzen. In Anbetracht unserer guten Erfahrungen mit Testwell CTC++ beabsichtigen wir, es in unseren Kursen einzusetzen, um das Testen sicherheitskritischer Software zu unterstützen.
Lesen Sie den vollständigen Kundenbericht hier
Alexandre Locci Martins und Ana C. V. de Melo
Instituto de Matemática e Estatística da Universidade de São Paulo, Brasilien
Testwell CTC++ ermöglichte es unseren Forschern auch, Experimente durchzuführen, die dem in der Softwareindustrie durchgeführten Testprozess sehr nahe kommen. Außerdem erwies sich Testwell CTC++ als sehr einfach zu installieren und zu nutzen. In Anbetracht unserer guten Erfahrungen mit Testwell CTC++ beabsichtigen wir, es in unseren Kursen einzusetzen, um das Testen sicherheitskritischer Software zu unterstützen.
Lesen Sie den vollständigen Kundenbericht hier
Alexandre Locci Martins und Ana C. V. de Melo
Instituto de Matemática e Estatística da Universidade de São Paulo, Brasilien
"Unser Institut hat ein Master Programm in Informatik mit einer großen Bandbreite an Softwaretechniken. Diese Bandbreite beinhaltet unter anderem einen Kurs, der sich mit der Qualität von Softwaretechniken befasst. Hier lernen und üben die Studenten fortschrittliche Testmethoden sowie verschiedene Methoden, die in sicherheitskritischen Bereichen, wie der Luft- und Raumfahrt oder der Automobilindustrie, angewendet werden. Sie lernen dabei auch die Komplexität des Codes, den sie schreiben, zu messen. Die Einführung von Testwell CTC++ ermöglicht es den Studenten anhand dieses hochentwickelten Tools die Qualität ihrer Testfälle zu messen und zeigt iohnen wie Programme instrumentiert werden können. Testwell CTC++ kann dies nicht nur in C++, sondern auch in Java und C#."
Lesen Sie den vollständigen Kundenbericht hier
Prof. Alberto Sampaio
Instituto Superior de Engenharia do Porto, Portugal
Lesen Sie den vollständigen Kundenbericht hier
Prof. Alberto Sampaio
Instituto Superior de Engenharia do Porto, Portugal
"Software-Entwicklungs-Prozesse fokussieren mehr und mehr auf Modelierung und Verifikation. Zukünftige Softwareentwickler sollten mit Methoden und Werkzeugen für den Entwurf, die Implementierung und die Validierung ihres Codes vertraut sein. Aus diesem Grund haben wir Testwell CTC++ in verschiedene Software-Engineering-Kurse bis hin zum zum Master- und Ingenieurstudium integriert."
Lesen Sie den vollständigen Kundenbericht hier
F.Zaidi & D.Longuet, Associates Professors, Maîtres de Conférences
University Paris-Saclay - University Paris-Sud, Frankreich
Lesen Sie den vollständigen Kundenbericht hier
F.Zaidi & D.Longuet, Associates Professors, Maîtres de Conférences
University Paris-Saclay - University Paris-Sud, Frankreich
„Wir waren von der Möglichkeit eines interaktiven html Berichts begeistert.
Auf diesem html-Dokument ist es möglich durch den Code zu navigieren und sogar direkt zu den Funktionen zu gehen.
Des Weiteren hat Verifysoft schnell auf unsere Fragen und E-Mails bezüglich einer Evaluierungslizenz reagiert.
Wir möchten uns nochmal bei Verifysoft für die Evaluierungslizenz und die Zeit bedanken.
Vorteile des Werkzeugs: Analyse aller Level der Testabdeckung, leicht verständliche Ausführungsberichte, Multi-language
(C, C++, C#, Java), schnelle Integration in eine Vielzahl von Entwicklungsumgebungen, recht einfache Handhabung,
vollständige und genaue Nutzungs-Dokumentation, folgt Sicherheitsnormen und bietet Qualification Kit,
sehr gute Verfügbarkeit des Kommunikationsteams mit Antwortzeiten innerhalb von 24 Stunden…“
Adrien Soler, Théo Lauverjat, Lucas Lemaire
Université de Technologie de Compiègne (UTC), Frankreich
...Lesen Sie hier den Bericht über das Stuenten-Projekt: Tests logiciel LO22 complet.(In Französisch)
Adrien Soler, Théo Lauverjat, Lucas Lemaire
Université de Technologie de Compiègne (UTC), Frankreich
...Lesen Sie hier den Bericht über das Stuenten-Projekt: Tests logiciel LO22 complet.(In Französisch)
"Als Abschlussarbeit meines Software-Engineering-Studiums schreibe ich eine Thesis mit dem Thema „CHATGPT UND CODE-REFACTORING: EINE STUDIE ZUR EFFEKTIVITÄT DES WERKZEUGS IN SOFTWAREPROJEKTEN“. Zum Datenvergleich verwende ich den Wartbarkeitsindex. Auf diese Weise hat mir das Testwell CMT++ / CMT Java-Tool beim Erhalten der Pre- und Post-Refactoring-Metriken für Open-Source-Projekte sehr geholfen. Mit der einfachen Benutzerfreundlichkeit der Benutzeroberfläche und der schnellen Rückgabe von Metriken habe ich erhebliche Fortschritte erzielt. Dieses Tool lieferte genau die Metriken, die ich für meine Abschlussarbeit brauchte, wie etwa Halstead Volume, Cyclomatic Complexity und Lines of Code."
Djonatan Arns, Student
Universidade da regiao de Joinville, Brasilien
Djonatan Arns, Student
Universidade da regiao de Joinville, Brasilien