Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 4 of 4

Full-Text Articles in Computer Engineering

Invariant-Based Online Software Anomaly Detection And Selective Regression Testing, Yizhen Chen Jan 2020

Invariant-Based Online Software Anomaly Detection And Selective Regression Testing, Yizhen Chen

Legacy Theses & Dissertations (2009 - 2024)

Software has been extensively used in various domains to provide online services. With the growing popularity of these types of applications, the quality of the software has a great impact on many of our daily activities [1]. Reliable software executions that deliver expected outcomes are essential for quality services. Software is considered abnormal when its behavior deviates from what is expected at any point during its execution. When anomalous behavior propagates to an exit point of the software and produces an incorrect output or an unexpected termination of the execution, it is considered a software failure. An anomaly may or …


Low Probability Of Intercept Waveforms Via Intersymbol Dither Performance Under Multipath Conditions, Jonathan K. Keen Mar 2009

Low Probability Of Intercept Waveforms Via Intersymbol Dither Performance Under Multipath Conditions, Jonathan K. Keen

Theses and Dissertations

This thesis examines the effects of multipath interference on Low Probability of Intercept (LPI) waveforms generated using intersymbol dither. LPI waveforms are designed to be difficult for non-cooperative receivers to detect and manipulate, and have many uses in secure communications applications. In prior research, such a waveform was designed using a dither algorithm to vary the time between the transmission of data symbols in a communication system. This work showed that such a method can be used to frustrate attempts to use non-cooperative receiver algorithms to recover the data. This thesis expands on prior work by examining the effects of …


Teabag: A Debugger For Curry, Stephen Lee Johnson Jul 2004

Teabag: A Debugger For Curry, Stephen Lee Johnson

Dissertations and Theses

This thesis describes TeaBag, which is a debugger for functional logic computations. TeaBag is an accessory of a virtual machine currently under development. A distinctive feature of this machine is its operational completeness of computations, which places novel demands on a debugger. This thesis describes the features of TeaBag, in particular the handling of non-determinism, the ability to control nondeterministic steps, to remove context information, to toggle eager evaluation, and to set breakpoints on both functions and terms. This thesis also describes TeaBag's architecture and its interaction with the associated virtual machine. Finally, some debugging sessions of defective programs are …


Embedded Software Programming To Develop A Command Line User Interface For Monitoring And Debugging A Manually Driven Gas Regulator Control System, Syed N. Hyder Apr 2002

Embedded Software Programming To Develop A Command Line User Interface For Monitoring And Debugging A Manually Driven Gas Regulator Control System, Syed N. Hyder

Electrical & Computer Engineering Theses & Dissertations

This thesis presents a complete embedded programming model and software codes for a command-line user interface for CONCOA's gas regulator control system. Control Corporation of America (CONCOA) manufactures high-pressure gas regulators, which mechanically control the pressure at their outlets. Since the control system is based on mechanical regulators, adding or stopping gas flow from the system can cause manifold fluctuation that could further cause the pressure to rise or fall with time. The main motivation for developing a command line user interface is to provide a centralized computer control to monitor and debug the gas regulator control system electronically by …