News

Modified Thursday, 01 January 1970 02:00

Tools

Astrée ist eine Software zur statischen Programmanalyse, die C-Programme automatisch auf Laufzeitfehler überprüft. Astrée analysiert handgeschriebene oder automatisch erzeugte C-Programme mit komplexer Speichernutzung, aber ohne Rekursion oder dynamische Speicherallokation. Damit bietet sich Astrée vor allem zur Analyse von sicherheitskritischen eingebetteten Anwendungen an, insbe­sondere in den Bereichen Transport, Medizintechnik, Nuklearanlagen, Luft- und Raumfahrt.
Read more

Modified Thursday, 01 January 1970 02:00

Tools

Mit X2X können Inhalte von verschiedensten Dateien zu neuen Dateifomaten kombiniert werden. Bei diesen neuen Dateiformaten kann es sich zum Beispiel um Testinputdaten, Testreports oder den Sourcecode für Testprogramme handeln.
Read more

Modified Thursday, 01 January 1970 02:00

Tools

Die Web Governance Suite ist ein webbasierter Dienst, welcher sowohl alle fünf Tage eine Website nach defekten Links, Rechtschreibfehlern, Barrieren und SEO Verbesserungsmöglichkeiten überprüft, als auch Web Analytics und Website-Verfügbarkeitskontrolle bietet. Alle beschriebenen Services werden in der Web Governance Suite in einer Benutzeroberfläche vereint.
Read more

Modified Thursday, 01 January 1970 02:00

Tools

Erhalten Sie einen Überblick über die Qualität Ihrer Website und beseitigen Sie Fehler, die Ihre Glaubwürdigkeit einschränken. Siteimprove Quality Assurance ist ein webbasierter Dienst, welcher eine Website alle fünf Tage auf defekte Links und Rechtschreibfehler überprüft. •Identifikation von Rechtschreibfehlern und defekten Links • Vollständige Übersicht der Web-Inhalte • Leicht bedienbare Benutzeroberfläche • Individuelle Berichterstattung
Read more

Modified Thursday, 01 January 1970 02:00

Tools

Die MBTsuite erzeugt ausführbare Testfälle und Testdaten automatisch aus grafischen Modellen. Sie deckt alle Anforderungen aus dem Konponententest bis hin zum Systemtest für die IT-Entwicklung ebenso wie für Embedded Software perfekt ab. Die erzuegten Testfälle sind plattformunabhängig und können in beliebigen Formaten ausgegeben werden. Für eine manuelle Testdurchführung können die Tests in Excel, Word, HP Quality Center, IBM Rational Test Manager etc. erzeugt werden. Aus den gleichen Modellen...
Read more

Modified Thursday, 01 January 1970 02:00

Tools

Framework für den automatisierten Test eingebetteter Systeme
Read more

Modified Thursday, 01 January 1970 02:00

Tools

CODE REVIEW: Bewertung, Analyse und Optimierung Ihres Quellcodes Mit der TRIOLOGY erfahren Sie, ob Ihr Quellcode State-of-the-Art ist und wie man die Wartbarkeit der Anwendung um ein Vielfaches steigern kann.
Read more