Method of Symbolic Test Scenarios Automated Concretization

Abstract

Described in the paper is an approach to symbolic test scenarios concretization in the scope of automated software verification and testing technology. Tools for automated concretization process based on user defied settings are presented.

Keywords

• concretization
• symbolic behavior scenario
• software testing