Search Constraints

Start Over
Filtering by: Creator Khalil, Hoda Remove constraint Creator: Khalil, Hoda

Search Results

  • FSM Testing Based on Transition Trees and Complete Round Trip Paths Testing Criteria

    Resource Type:
    Thesis
    Creator:
    Khalil, Hoda
    Abstract:
    State machine testing has received genuine attention in the literature. Among the studied testing strategies are complete round-trip paths and transition trees that cover round-trip paths in a piecewise manner. Although trees are claimed to be equivalent to complete round-trip paths testing, there is anecdotal evidence that this is not the case. The core contribution of this thesis is therefore an empirical comparison between the effectiveness of the complete round-trip paths test suites and the transition trees test suites on the one hand and the effectiveness of the different techniques used to generate transition trees (breadth first traversal, depth first traversal, and random traversal) on the other hand. The comparison is conducted using four experimental objects and a significant number of test suites. Other contributions include constructing a reusable experimental setup and developing our automatic toolchain including novel algorithms to generate the different types of test suites. We also evaluate the effect of the structure of the transition trees as well as the state machine on the fault detection capability of the resulting test suites.Our results demonstrate that covering round-trip paths in a complete manner is not equivalent to covering them in pieces. In addition, using statistical analysis, we prove that the different types of transition trees and even every single tree has different fault detection capability. Then, we show that neither the average length of the test cases in a test suite, nor the standard deviation of the test cases length, nor the number of complete round-trip paths included in a transition tree affects the effectiveness of the test suite. We also show that the effectiveness of the complete round-trip test suites is proportional to the connectivity of the finite state machine of the system under test.
    Thesis Degree:
    Doctor of Philosophy (Ph.D.)
    Thesis Degree Discipline:
    Engineering, Electrical and Computer
    Date Created:
    2018

  • Canadian jobs amid a pandemic: examining the relationship between professional industry and salary to regional key performance indicators

    Resource Type:
    Report
    Creator:
    Patsula, Michael, Tran, Christopher, Wang, Christopher, Khalil, Hoda, Dick, Kevin, Melone, Benjamin, Wainer, Gabriel, and Anilkumar, Rahul
    Abstract:
    The COVID-19 pandemic has contributed to massive rates of unemployment and greater uncertainty in the job market. There is a growing need for data-driven tools and analyses to better inform the public on trends within the job market. In particular, obtaining a “snapshot” of available employment opportunities mid-pandemic promises insights to inform policy and support retraining programs. In this work, we combine data scraped from the Canadian Job Bank and Numbeo globally crowd-sourced repository to explore the relationship between job postings during a global pandemic and Key Performance Indicators (e.g. quality of life index, cost of living) for major cities across Canada. This analysis aims to help Canadians make informed career decisions, collect a “snapshot” of the Canadian employment opportunities amid a pandemic, and inform job seekers in identifying the correct fit between the desired lifestyle of a city and their career. We collected a new high-quality dataset of job postings from jobbank.gc.ca obtained with the use of ethical web scraping and performed exploratory data analysis on this dataset to identify job opportunity trends. When optimizing for average salary of job openings with quality of life, affordability, cost of living, and traffic indices, it was found that Edmonton, AB consistently scores higher than the mean, and is therefore an attractive place to move. Furthermore, we identified optimal provinces to relocate to with respect to individual skill levels. It was determined that Ajax, Marathon, and Chapleau, ON are each attractive cities for IT professionals, construction workers, and healthcare workers respectively when maximizing average salary. Finally, we publicly release our scraped dataset as a mid-pandemic snapshot of Canadian employment opportunities and present a public web application that provides an interactive visual interface that summarizes our findings for the general public and the broader research community.
    Date Created:
    2022-06-08