Computer Science) Thesis Title
Total Page:16
File Type:pdf, Size:1020Kb
MS (Computer Science) Thesis title: Formal Automated Testing of an Information Management System Submitted by: Rozina Kamil Roll no. 11 Reg. no: IU15M2LA011 Supervised by: Dr. Nadeem Akhtar i Title Formal Automated Testing of an Information Management System By Rozina Kamil Roll no. 11 Reg. no: IU15M2LA011 Thesis submitted for the partial fulfilment of the requirement for the degree of MASTER OF SCIENCE In COMPUTER SCIENCE Department of Computer Science & IT The Islamic University of Bahawalpur - PAKISTAN Fall 2015-17 i DECLARATION Formal Automated Testing of an Information management System published source (except the references, standard mathematical or geometrical models/equations /formulae /protocols etc.). I further declare that this work has not been submitted for award of any other diploma/degree. The university may take action if information provided is found inaccurate at any stage. (In case of default, the scholar will be proceeded against as per HEC plagiarism policy). Rozina Kamil Roll no. 11 Reg no. IU15M2LA011 ii To, The Controller of Examinations The Islamia University of Bahawalpur, Pakistan We, the supervisory committee, certify that the contents and format of thesis titled Formal Automated testing of an information management system submitted by Rozina Kamil, Roll no. 11, and Registration no. IU15M2LA011 have been found satisfactory and recommend that it be processed for evaluation by the External Examiner(s) for the award of degree. Supervisor Dr. Nadeem Akhtar Department of Computer Science & IT The Islamia University of Bahawalpur Pakistan iii Dedication I dedicate my dissertation work to my all family members, friends, class mates and my supervisor. It cannot be possible for their sincere support and encourage. I would specially like to thank my supervisor Dr. Nadeem Akhtar who teaches me that: Do not ever give in. Do not ever stop trying And if find yourself Succumbing to one of the Above for a brief moment, Pick yourself up Whisper a prayer and start Where you left off iv ACKNOWLEDGEMENTS In the name of Allah Almighty, the Most Merciful and the Most Beneficent, who is the entire source of all knowledge and with His blessings, I enable to complete this research to complete this research successfully. I would like to extend my gratitude to The Islamia University of Bahawalpur for providing me such environment and sources which enabled me to complete this research successfully. I am very grateful to my Supervisor, Dr. Nadeem Akhtar, and The Islamia University of Bahawalpur for guidance as well as encouragement and material support for this research work. At the end, my deepest appreciation belongs to my family members whose sacrifices; moral as well as financial support, encouragement and prayers contributed a lot to my success. friends I shall answer in the words of Sir Winston Churc Rozina Kamil v Table of Contents Chapte 1 Introduction ...................................................................................................... 1 1.1Software Testing: ..............................................................................................................1 1.2Types of Testing:...............................................................................................................1 1.2.1Unit Testing:...............................................................................................................2 1.2.2System/integration Testing:........................................................................................2 1.2.3White Box Testing:.....................................................................................................2 1.2.4Black Box Testing: .....................................................................................................3 1.2.5Grey Box Testing: ......................................................................................................4 1.3Disadvantages of Manual Testing over Automated Testing:............................................4 1.4Selenium Automated Testing Tool For Web Based Application:.....................................7 1.5Selenium Integrated Development Environment:.............................................................7 1.5.1Selenium IDE: ............................................................................................................7 1.5.2Web Driver of Selenium:............................................................................................8 1.5.3Selenium Remote Control: .........................................................................................8 1.5.4Selenium Grid:............................................................................................................8 1.6Thesis Overview:...............................................................................................................8 Chapter 2: Statement on Problem and Research Objectives...................................... 10 2.1Questions related research:..............................................................................................11 2.2Research Work Objectives:.............................................................................................12 Chapter3: Testing Background with Literature Review ............................................ 13 3.1Description of Testing:....................................................................................................13 3.2Testing for Software:.......................................................................................................13 3.3Strategies to test the software:.........................................................................................14 3.4Approaches for testing Software:....................................................................................15 3.5Application Software of Automatic Testing: ..................................................................16 3.6Web Testing Tools: .........................................................................................................17 3.7Description of Famous Testing Tools:............................................................................18 3.7.1Quick Testing Pro:....................................................................................................18 3.7.2Test Complete Testing Tool: ....................................................................................19 3.7.3Selenium Tool for Testing:.......................................................................................19 3.8Integrated Development Environment of Selenium:.......................................................20 3.8.1Remote Control of Selenium:...................................................................................20 vi 3.8.2Grid of Selenium: .....................................................................................................20 3.8.3Web Driver of Selenium:..........................................................................................21 3.9Features of Selenium Web Driver:..................................................................................21 Chapter4: System Design and working Structure ....................................................... 24 4.1Python Programming language:......................................................................................24 4.2Python 3.7 version:..........................................................................................................24 4.3PyCharm Framework: .....................................................................................................25 4.4Selenium Tool: ................................................................................................................25 4.5Mozilla Firefox:...............................................................................................................25 4.6Gecko Driver:..................................................................................................................25 4.7Test Cases of Selenium: ..................................................................................................26 4.7.1First Test Case: .........................................................................................................26 4.7.2Second Test Case:.....................................................................................................26 4.7.3Third Test Case:........................................................................................................26 4.7.4Fourth Test Case:......................................................................................................26 4.7.5Fifth Test Case:.........................................................................................................26 4.7.6Sixth Test Case:........................................................................................................26 4.8First Test Case Description: ............................................................................................28 4.9Description of second Test Case:....................................................................................29 4.10Third Test Case finding the title of web page:..............................................................30 4.11Fourth Test Case Description:.......................................................................................31 4.12Fifth Test Case: .............................................................................................................32 Chapter 5: Outcomes of Results and Analysis of the Results