Poject Abstract

Model-based testing the ADO.NET database access API

ADO.NET is one of Microsoft’s managed code database access APIs. It is a very powerful API with a plug-in provider model that also includes extensive facilities for offline processing of data. Testing an API of this magnitude is always a daunting task as there is no practical way to cover it completely either functionally or structurally. One approach to this problem is to use model-based testing (MBT) to model the higher priority aspects of the API and then generate tests from the model.

This project will use Microsoft’s SpecExplorer  model-based testing tool to do functional testing of ADO.NET. SpecExplorer is a very powerful MBT tool that has been used extensively within Microsoft and by external developers and it is especially good for API testing. It has a very strong model checker and it can generate test suites in C# or do on-the-fly testing of a managed code system under test. In this project you will acquire fundamental skills that are in high demand in industry (C#, ADO.NET for database access) and learn advanced testing techniques using a state-of-the art tool that will greatly expand your view of software testing.

Project Details

The details of this project will be worked out in collaboration wit the stuent team and engineers from AEC.