Spec Explorer: Model-Based Testing in .NET
This training introduces participants to advanced model-based testing techniques using the Spec Explorer tool in the .NET environment. The program is delivered in workshop format where participants learn to model system behavior and generate tests based on these models. Sessions combine theory with practice, enabling understanding and application of modeling in the software testing process.
Required Participant Preparation
- Practical knowledge of the .NET platform
- Experience in creating automated tests
- Basic knowledge of finite automaton theory
- Ability to model information systems
Benefits
- Participants will develop the ability to effectively use model-based testing in the software quality assurance process
- Designing behavioral models of information systems
- They will master techniques for automatic test generation based on behavioral models
- They will learn to identify and model key aspects of the tested system
- They will be able to create comprehensive test strategies using models
- They will develop the ability to verify implementation correctness against specification through model tests
Who is this training for?
Training program
Model-based testing concepts
- Spec Explorer architecture
- Creating the first model
- System modeling strategies
Behavior Modeling
- State and transition specification
- Rules and constraints
Test scenarios
- Model validation
- Test Generation and Execution
- Test case generation strategies
- Test generator configuration
- Test data management
Coverage analysis
- Integration and Practices
- Integration with Visual Studio
- Test project management
Model debugging
- Modeling best practices
Delivery Methods
Online
- Convenience of participating from anywhere
- Interactive live sessions with trainer
- Materials available for 30 days
- No travel costs
On-site
- Direct contact with trainer and group
- Intensive hands-on workshops
- Networking with other participants
- Full focus on learning
Frequently asked questions
Who is the Spec Explorer: Model-Based Testing in .NET training for?
The target audience includes automated test engineers, programmers working on complex systems, and test solution architects. Level: intermediate.
How long is the Spec Explorer: Model-Based Testing in .NET training?
The training lasts 2 days. It is delivered online or on-site.
Will I receive a certificate?
Yes — every participant receives a completion certificate confirming acquired competencies. EITT is ISO 9001 certified.
Can this training be conducted for a closed group?
Yes — we offer dedicated closed trainings for companies. We customize the program to your team's needs. Contact us for an individual quote.
Request a quote
Funding Options
Check funding options for your company
Development Services Database
An instrument for micro, small and medium-sized companies — check whether it applies to your organisation
Check availabilityNational Training Fund
An instrument for employers — we help you check whether it can be applied
Learn moreTrusted by
We train teams at Poland's largest companies
Interested in this training?
Contact us - we'll prepare an offer tailored to your organization's needs.