English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Der Einsatz von Modellen als Grundlage für eine automatisierte Testfallerzeugung bietet einen wesentlichen Vorteil durch eine Erhöhung der Testabdeckung, eine vereinfachte Wiederholbarkeit der Testerstellung und damit verbunden einer Qualitätssteigerung der Produkte. In diesem Beitrag wird eine Methode zur Modellsynthese vorgestellt. Dabei wird aus formalisierten Anforderungen automatisiert ein Spezifikationsmodell für den Zweck der automatisierten Testfallerzeugung generiert. Im Zuge der Modellgenerierung erfolgt eine Verifizierung des Modells, um widersprüchliche oder redundante Beschreibungen aufzudecken.

Automatisierte Modellgenerierung auf Basis formalisierter Anforderungsbeschreibung