Model Based Testing of ADO

1. CS 490 : Software Testing Instructor : AdityaMathur Model Based Testing of ADO.net ArjunBhasin ChakoriMacherla GunjanRaghav Jaideep Singh (Team Leader) Vicky Sehrawat Sponsor: Peter Shier, Microsoft 04/28/2011

2. Objectives Test selected aspects of ADO.net Test the XML read and write functionality of ADO.net API Test whether ADO.net XML API behaves as expected with respect to our model CS 4900 Software Testing

3. Learning Objectives Learn fundamental concepts of C# Understand the fundamentals of model based testing Design finite state models Understand how SpecExplorerworks, produces state diagrams, generates and executes test cases CS 4900 Software Testing

4. Selected Aspects of ADO.net Writing a dataset as XML data Create a DataSetObject (A) to store the database elements Create an XML file from the DataSet object Loading a dataset from external XML source Read the XML file back and store it as another DataSet object (B) Compare DataSet objects A and B CS 4900 Software Testing

5. Test process *Project Reports CS 4900 Software Testing

6. Actions CS 4900 Software Testing

7. State Variables CS 4900 Software Testing

8. Sample FSM CS 4900 Software Testing

9. Sample Test Suite These are few generated tests. The XML read and write behavior is tested by each test. We were able to run test suite using our model and make conclusion that no tests were failed after repeated runs CS 4900 Software Testing

10. Experiments CS 4900 Software Testing

11. Results Show the results of running the tests. CS 4900 Software Testing

12. Team Work CS 4900 Software Testing

13. Summary Successfully tested the XML read and write functionality of ADO.net API using Model Based testing ADO.net functioned as expected during testing of the XML components Found SpecExplorer to be an efficient tool for Model Based Testing Defined appropriate rules in our model and treated it “as a referee, not a player” CS 4900 Software Testing