Anwendungssoftware

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 ..

Die Zukunft des Softwaretestens wird durch verschiedene Faktoren bestimmt. Beispiele dafür sind die technische Weiterentwicklung der zu testenden Systeme, die Weiterentwicklung der Testsysteme und die technische Ausbildung der Testingenieure. Diese drei Faktoren stehen notwendigerweise in einem direkten Zusammenhang: Ohne Wissen über technische Neuerungen können Testingenieure neuartige Systeme ni..

Hallo, diesmal möchte ich Euch „Domain Storytelling“ vorstellen. Dabei handelt es sich um ein Tool, das es uns erleichtert, die fachliche Domäne des Kunden zu verstehen. Denn wie ihr alle wisst, implementieren wir ja nicht, was der Kunde benötigt, sondern das, was wir verstanden haben, was er benötigt. Um das Ganze etwas lebendiger zu gestalten, habe ich mir diesmal Hilfe von Henning Schwentner be..

Das Konzept domänenspezifischer Modellierung mit Domain Specific Languages (DSLs) ist nicht neu, aber dank moderner Tool-Unterstützung durch Language Workbenches ist die Umsetzung heute praktikabler denn je. Dieser Artikel gibt eine Einführung in die DSL-Thematik und deren Umsetzung und fasst zusammen, wann sich ein Einsatz lohnt.

Nicht erst seit der digitalen Transformation müssen sich Unternehmen regelmäßig mit neuen Prozessen, Technologien und Geschäftsmodellen auseinandersetzen, um am Markt bestehen zu können. Ein großer Teil davon ist, aktuelle Tools zu benutzen, die die neuen Möglichkeiten abbilden können. Wegen der Vielzahl der am Markt verfügbaren Tools kann die Auswahl sehr aufwendig sein. In diesem Artikel werden ..