28 Februar 2023PG

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 GrammaTech CodeSonar ab.
Testwell CTC++ ist der führende Code Coverage Analyser.
Das Tool ist einfach zu nutzen, arbeitet mit allen Compilern sowie mit 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.
Testwell CMT++ und CMTJava 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.
Forschungsprojekte können unsere Testwell Tools zu sehr interessanten Konditionen erhalten. Bitte kontaktieren Sie uns.
Universitäten und Hochschulen stellen wir Imagix 4D zu Sonderkonditionen zur Verfügung. Bitte kontaktieren Sie uns.
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 bitte für weitere Informationen.
Arbeiten Sie in Ihren Kursen mit Technologien, die von hunderten Unternehmen und Organisationen benutzt werden
Verifysofts Testlösungen haben nachweisliche Erfolge in sicherheitskritischer Softwareentwicklung in Branchen wie Luftfahrt und Verteidugung, Automotive, Gesundheitswesen und anderen Bereichen.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)