Coverage testing software architectural design in SDL.

DOI10.1016/S1389-1286(03)00248-2MaRDI QIDQ1400433zbMATH OpenOpenAlexFDO

Authors W. Eric Wong, Tatiana Sugeta, J. Jenny Li, José Carlos Maldonado

Publication date 13 August 2003

Published in Computer Networks (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1389-1286(03)00248-2

zbMATH Keywords

Architectural designCAT\(_{\text{SDL}}\)Control-flow- and data-flow-based coverage testingSDL

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• On the testability of SDL specifications
• Survey of software design for testability
• scientific article; zbMATH DE number 2020410
• A Semantic Framework for Test Coverage
• scientific article; zbMATH DE number 1418465

This page was built for publication: Coverage testing software architectural design in SDL.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1400433)