To develop an industry validated software tool that is able to find runtime errors inducing exceptions in published Java Bytecode programs. The tool will be a help to software developers to find bugs and security vulnerabilities in their code.
The tool to be developed will be based on proven static analysis techniques previously demonstrated to be successful at IT Carlow (47 SciVal citations) namely: Prolog based symbolic execution and Constraint Logic Programming.
The novelty will be primarily in developing techniques to efficiently search the control flow graph of the program under test, dealing efficiently with loops, and dealing with external libraries.
Using an agile approach centred on the most crucial subset of Java bytecode the research will very early target published applications with a view to generate test inputs that cause the application to crash. This strategy has two main benefits:
This project is an important piece to support the Software Development stream, which is the largest stream in the Computing Department, and help develop the more recent Cyber Security stream.
The student will gain much sought after advanced fundamental knowledge in software static analysis for reliability and security and in Java Bytecode which runs on billions of devices worldwide.
For many people regular physical exercise is not carried out a sufficient level to stay healthy and maintain a basic level of fitness. This project will examine if augmenting a conventional exercise routine with recreational virtual environments, will increase the intrinsic mo tivation with a group of users.
Building on research in VR/AR platforms with 3D 6 Degrees of Freedom accurate low latency controllers where users’ physical movement can be tracked ,the game /experience will lead the user through a number of predefined physical activities over a specific time period.
The user’s movements and other biometric data are collated and assessed in the context of the user’s perception of exertion and motivation to continue to carry out the exercise. We hope to gain an understanding of the links between differing VR/AR experiences and motivation to carry out physical exercise.
This project will use a mixed methodology. A pilot study will be carried out on usage of the new the new system.
Through knowledge creation, application and transfer, this project will deepen our understanding of the factors determining motivation for physical exercise in a VR/AR environment. In line with the IT Carlow’s strategic research objectives, the outputs will be disseminated through publication in peer-reviewed journals and at conferences.