A formal abstract framework for modelling and testing complex software systems
DOI10.1016/J.TCS.2011.12.072zbMATH Open1279.68193OpenAlexW2150690459MaRDI QIDQ714878FDOQ714878
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
Recommendations
coalgebramonadtransfer functionconformance testingintegration operatorscomponent based systemcompositional testingtrace semantics
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)
Cites Work
- Title not available (Why is that?)
- Universal coalgebra: A theory of systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Notions of computation and monads
- Testing equivalences for processes
- Proof of correctness of data representations
- Communicating sequential processes
- Title not available (Why is that?)
- Terminal coalgebras in well-founded set theory
- Coalgebraic components in a many-sorted microcosm
- Title not available (Why is that?)
- Synthesis of Mealy machines using derivatives
- Components as coalgebras: the refinement dimension
- Symbolic Execution Techniques for Test Purpose Definition
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
- Guided Test Generation from CSP Models
- Refusal testing
- The Microcosm Principle and Concurrency in Coalgebra
- Formal Approaches to Software Testing
- A coalgebraic semantic framework for component-based development in UML
- Testing of abstract components
- Formal Approaches to Software Testing
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)
