I'm interested! I'm interested! Votes: 6

An engineering technology of testing automation based on coverage of defined user scenarios is vital for automated coverage of specific behaviors of software systems defined by user.

The research project objective was to develop an engineering technology, techniques, and methods, which when used systematically at the design and testing phase would lead to efficient production of correct software. The main idea of technology is in usage of high level graphical modeling notation UCM (Use Case Maps) for creation of behavioral formal model of software for future generation of tests in accordance with branch criterion.

Developed technology and tools allow to generate test suites in automatic mode with full branches coverage and in user defined scenarios mode to cover only particular scenarios. In case of automatic mode graph of UCM model shall be passed for all branches and generated scenarios can be used for tests generation on target language. In case of user defined scenarios mode the user have an ability to create a set of scenarios to be covered with usage of specific language GDL (guides definition language). User scenario can be defined by selecting of interested points of the system behavior and path through these points is generated by verification system based on formal model in BP (basic protocols) notation which also generated from initial UCM model.

The technology allow to cover system behavior in accordance with branches criterion and to define formal description of specific scenarios in terms of UCM model. The technology was successfully implemented in a set of industrial projects and results of implementation shows that technology allows to reduce time of software development and increase quality of final product.