Bridging the Gap Between GUI Functional System Testing and Functional System Logic Testing

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

Click here to download the PDF file.


Alkhalid, Abdulaziz




Graphical User Interface (GUI) accounts for half or more of the amount of source code in modern software. Software verification of GUI-based software has been discussed in literature. GUI testing and system testing are two tools used in software verification of GUI-based software. Static analysis is a tool for software verification that can study relationships between inputs and executed parts of software code. The thesis bridges the gap between system testing and GUI testing through static analysis. Specifically, it introduces the use of static analysis combined with system tests to verify the GUI-based Software Under Test (SUT). The static analysis will be applied on the source code of the GUI part of the SUT. System tests will be applied on the source code of the non-GUI part of the SUT.


System Science
Engineering - Electronics and Electrical
Computer Science




Carleton University

Thesis Degree Name: 

Doctor of Philosophy: 

Thesis Degree Level: 


Thesis Degree Discipline: 

Engineering, Electrical and Computer

Parent Collection: 

Theses and Dissertations

Items in CURVE are protected by copyright, with all rights reserved, unless otherwise indicated. They are made available with permission from the author(s).