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

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

Agiles Arbeiten bedeutet oft ein Mehr an Kommunikationsbedarf. Und damit zum Leidwesen vieler auch ein Mehr an Meetings. Falls es nicht gelingt, alle Teilnehmer gut in das Meeting einzubinden und gemeinsam ein Ziel zu verfolgen, geht dabei jedoch viel Potenzial verloren. Dieser Artikel gibt praxiserprobte Tipps, wie Moderatoren Online-Meetings zu neuem Leben erwecken können und mit Liberating Stru..