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 Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Formal methods and testing are two important approaches that assist in thedevelopment of high quality software. For long time these approaches have beenseen as competitors and there was very little interaction between the twocommunities. In recent years a new consensus has developed in which they areseen as more complementary. In this report we present an approach based on theASD(Analytical Software Design) suite by Verum and the Microsoft Spec ExplorerModel Based Testing(MBT) tool. ASD is a model-based design approach that canproduce verified software components that can be combined into completesystems. However, ASD cannot verify existing components, nor complex componentinteractions involving data transfers. We have developed a tool that allows usto convert ASD models to Spec Explorer, allowing us to do more completeverification of software systems using dynamic testing at little additionalcost and effort. We demonstrate this by applying our approach to anindustrial-size case study.

Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques