A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software

Modern software application testing, such as the testing of software driven by graphical user interfaces (GUIs) or leveraging event-driven architectures in general, requires paying careful attention to context. Model-based testing (MBT) approaches first acquire a model of an application, then use the model to construct test cases covering relevant contexts. A major shortcoming of state-of-the-art automated model-based testing is that many test cases proposed by the model are not actually executable. These \textit{infeasible} test cases threaten the integrity of the entire model-based suite, and any coverage of contexts the suite aims to provide. In this research, I develop and evaluate a novel approach for classifying the feasibility of test cases. I identify a set of pertinent features for the classifier, and develop novel methods for extracting these features from the outputs of MBT tools. I use a supervised logistic regression approach to obtain a model of test case feasibility from a randomly selected training suite of test cases. I evaluate this approach with a set of experiments. The outcomes of this investigation are as follows: I confirm that infeasibility is prevalent in MBT, even for test suites designed to cover a relatively small number of unique contexts. I confirm that the frequency of infeasibility varies widely across applications. I develop and train a binary classifier for feasibility with average overall error, false positive, and false negative rates under 5\%. I find that unique event IDs are key features of the feasibility classifier, while model-specific event types are not. I construct three types of features from the event IDs associated with test cases, and evaluate the relative effectiveness of each within the classifier. To support this study, I also develop a number of tools and infrastructure components for scalable execution of automated jobs, which use state-of-the-art container and continuous integration technologies to enable parallel test execution and the persistence of all experimental artifacts.

Traffic Signal Optimization of Urban Arterial Network by Vehicle-to-Infrastructure

Urbanization has occasionally been linked to negative consequences. Traffic light system in urban arterial networks plays an essential role to the operation of transport systems. The availability of new Intelligent Transportation System innovations paved the way for connecting vehicles and road infrastructure. GLOSA, or the Green Light Optimal Speed Advisory, is a recent integration of vehicle-to-everything (v2x) technology. This thesis emphasized GLOSA system's potential as a tool for addressing traffic signal optimization. GLOSA serves as an advisory to drivers, informing them of the speed they must maintain to reduce waiting time. The considered study area in this thesis is the Via Aurelio Saffi – Via Emilia Ponente corridor in the Metropolitan City of Bologna which has several signalized intersections. Several simulation runs were performed in SUMOPy software on each peak-hour period (morning and afternoon) using recent actual traffic count data. GLOSA devices were placed on a 300m GLOSA distance. Considering the morning peak-hour, GLOSA outperformed the actuated traffic signal control, which is the baseline scenario, in terms of average waiting time, average speed, average fuel consumption per vehicle and average CO2 emissions. A remarkable 97% reduction on both fuel consumption and CO2 emissions were obtained. The average speed of vehicles running through the simulation was increased as well by 7% and a time saved of 25%. Same results were obtained for the afternoon peak hour with a decrease of 98% on both fuel consumption and CO2 emissions, 20% decrease on average waiting time, and an increase of 2% in average speed. In addition to previously mentioned benefits of GLOSA, a 15% and 13% decrease in time loss were obtained during morning and afternoon peak-hour, respectively. Towards the goal of sustainability, GLOSA shows a promising result of significantly lowering fuel consumption and CO2 emissions per vehicle.

Compliance technicques for pedestrian protection; feasibility study. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Side impact protection in production vehicles MDB-to-car side impact test of a 26 degree crabbed moving deformable barrier to a 1983 Mazda 626 at 33.4 mph. Test Report.

Mode of access: Internet.

Side impact protection in production vehicles: MDB-to-car side impact test of a 26 [degree] crabbed moving deformable barrier to a 1987 Nissan Sentra at 33.5 mph. Test report.

Mode of access: Internet.

Harmonization of MDB - MDB-to-car-side impact test of a 26 degree crabbed moving deformable barrier to a 1985 Chevrolet Celebrity at 33.1 mph. Test report.

Mode of access: Internet.

Dynamic testing for side crush MRB-to-car side impact test of a 90 degree moving rigid barrier to a 1980 Ford LTD: Test #1 - 20.9 mph, test #2 - 42.1 mph. Test report.

Mode of access: Internet.

Dynamic testing for side crush MRB-to-car side impact test of a 90 degree moving rigid barrier to a 1983 Ford Escort: test #1 - 16.1 mph, test #2 - 32.2 mph. Test report.

Mode of access: Internet.

Dynamic testing for side crush MRB-to-car side impact test of a 90 [degree] moving rigid barrier to a 1980 Chevrolet Citation: test #1 - 18.5 mph, test #2 - 46.6 mph. Test report.

Mode of access: Internet.

Crash III model improvements: MRB-to-car side impact of a 90 [degree] moving rigid barrier to a 1983 Mitsubishi Tredia: test #1 - 16.7 mph, test #2 - 33.5 mph. Test report.

Mode of access: Internet.

CRASH III model improvements: MRB-to-car side impact test of a 90 [degree] moving rigid barrier to a 1981 Chevrolet Citation test speed 35.2 mph.

Mode of access: Internet.

Vehicle integration and evaluation of advanced restraint systems. Phase B - test report: Torino-to-Volvo tests.

National Highway Traffic Safety Administration, Washington, D.C.

Baseline test of compact vehicle side structure, 25 mph, 60 degree impact, Torino-to-Volare test no. 1. Final report.

National Highway Traffic Safety Administration, Washington, D.C.