Symbolic Modeling Approach in Verification and Testing | Zendy

Oleksandr Letychevskyi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Symbolic Modeling Approach in Verification and Testing

Author(s) -

Oleksandr Letychevskyi

Publication year - 2015

Language(s) - English

Resource type - Conference proceedings

DOI - 10.15849/icit.2015.0096

Subject(s) - computer science , symbolic trajectory evaluation , programming language , model checking , software engineering , theoretical computer science

The paper outlines a symbolic modeling approach developed in Glushkov Institute of Cybernetics and applied in verification and model-based testing. This method is the result of 10 years of experience in a large amount of industrial projects in different subject domains. The models in this approach are presented as UCM (Use Case Maps) notation composed with basic protocols formal language. Symbolic modelling is used in verification of requirements and models of programs. It is also intended for creation of test suits and further test execution. Keywords—symbolic modeling, symbolic execution, model-based testing, verification of requirements, predicate transformers

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research