Das Wissensportal für IT-Professionals. Entdecke die Tiefe und Breite unseres IT-Contents in exklusiven Themenchannels und Magazinmarken.

SIGS DATACOM GmbH

Lindlaustraße 2c, 53842 Troisdorf

Tel: +49 (0)2241/2341-100

kundenservice@sigs-datacom.de
Author Image
1 Inhalte

Rudolf Ramler

   
  • Author
  • None
Rudolf Ramler ist Research Manager für Software Science am Software Competence Center Hagenberg. Er befasst sich mit dem Transfer aktueller Forschungsergebnisse in produktive Anwendungen für die Wirtschaft und Industrie. Er verfügt über 20 Jahre Erfahrung in anwendungsorientierter Forschung in den Bereichen Software-Engineering, Softwaretest und -qualitätssicherung, Softwareanalyse sowie Management und Verbesserung von Softwareentwicklungsprozessen.

Alle Artikel von Rudolf Ramler

Tests automatisch generieren und damit Fehler in der Software finden? Symbolische Ausführung machts möglich. Symbolische Ausführung ist in der Forschung zwar seit Langem bekannt, aber erst die Innovationen moderner Constraint-Solver, neue Suchalgorithmen und die breite Verfügbarkeit von Rechenleistung haben dem Ansatz zum Durchbruch in der Praxis verholfen. Testwerkzeuge auf Basis dieses Ansatzes ..