Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost ....Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost savings, highly beneficial to
the ICT industry. Lessons learned from the demonstration prototype,
can be directly carried over into commercial tool development. In
addition, the project strengthens links to high quality European
research laboratories.Read moreRead less
Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savin ....Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savings, highly beneficial to any industry with a significant ICT component, e.g., defense. Lessons learned from the demonstration prototype, can be directly carried over into commercial tool development. The project strengthens links to high quality European research laboratories.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE160100850
Funder
Australian Research Council
Funding Amount
$330,000.00
Summary
Dynamic adaptive software configuration. The aim of this project is to use computational intelligence in software engineering processes to achieve self-optimising products. Many mobile device users bemoan inadequate battery life, and device size is largely determined by the battery. In addition, information and communications technology uses six per cent of the global electricity production. The expected outputs of this project will be packages of optimisation components that software engineers ....Dynamic adaptive software configuration. The aim of this project is to use computational intelligence in software engineering processes to achieve self-optimising products. Many mobile device users bemoan inadequate battery life, and device size is largely determined by the battery. In addition, information and communications technology uses six per cent of the global electricity production. The expected outputs of this project will be packages of optimisation components that software engineers can incorporate into next generation products: the products analyse their collected usage data, perform what-if analyses, and optimise their configurations accordingly for the next usage period. Hence, the products may respond faster, be more reliable, and consume less energy.Read moreRead less