A formal abstract framework for modelling and testing complex software systems

DOI10.1016/J.TCS.2011.12.072MaRDI QIDQ714878zbMATH OpenOpenAlexFDO

Authors Marc Aiguier, Frédéric Boulanger, Bilal Kanso

Publication date 11 October 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.12.072

zbMATH Keywords

coalgebramonadtransfer functionconformance testingintegration operatorscomponent based systemcompositional testingtrace semantics

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Testing of abstract components
• A logic for complex computing systems: properties preservation along integration and abstraction
• Modelling of Complex Software Systems: A Reasoned Overview
• scientific article; zbMATH DE number 2113972
• Formal model for software systems composition

Cites work

• scientific article; zbMATH DE number 4180789 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 1182386 (Why is no real title available?)
• scientific article; zbMATH DE number 2079824 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A coalgebraic semantic framework for component-based development in UML
• Coalgebraic components in a many-sorted microcosm
• Communicating sequential processes
• Components as coalgebras: the refinement dimension
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Guided Test Generation from CSP Models
• Institutions: abstract model theory for specification and programming
• Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
• Notions of computation and monads
• Proof of correctness of data representations
• Refusal testing
• Symbolic Execution Techniques for Test Purpose Definition
• Synthesis of Mealy machines using derivatives
• Terminal coalgebras in well-founded set theory
• Testing equivalences for processes
• Testing of abstract components
• The Microcosm Principle and Concurrency in Coalgebra
• Tools and Algorithms for the Construction and Analysis of Systems
• Universal coalgebra: A theory of systems

Cited in

(10)

• Test-design through abstraction: A systematic approach based on the refinement calculus
• An abstract framework for choreographic testing
• Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
• Chaste: A test-driven approach to software development for biological modelling
• Testing of abstract components
• A logic for complex computing systems: properties preservation along integration and abstraction
• Integration Testing of Distributed Components Based on Learning Parameterized I/O Models
• Conformance notions for the coordination of interaction components
• Formal model for software systems composition
• A Formal Methodology to Test Complex Heterogeneous Systems

This page was built for publication: A formal abstract framework for modelling and testing complex software systems

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