Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – w ....Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – what the data means and what it can be used for – with sophisticated, scalable computational techniques to mine and present information from the huge volumes of raw data. This project is expected to improve productivity and quality of big data analytics and visualisation in critical domains.Read moreRead less
Metamorphic slices and their applications in fault localization. The main purpose of this project is to enhance the quality of software. The expected outcomes include the delivery of new cost-effective methods to debug software, and the extension of current debugging methods to be applicable in wider contexts.
Self Discovery, Self Configuration and Self Healing of Enterprise Grids. Firstly, the project will assist the elevation of grid computing into mainstream computing, and by this provide a direct response to some problems identified by the working party on the Australia's ICT research and research training. Secondly, our country is an excellent consumer of IT technology. But, it needs software artifacts that could be sold. A set of proposed services will be a saleable commodity of great commercial ....Self Discovery, Self Configuration and Self Healing of Enterprise Grids. Firstly, the project will assist the elevation of grid computing into mainstream computing, and by this provide a direct response to some problems identified by the working party on the Australia's ICT research and research training. Secondly, our country is an excellent consumer of IT technology. But, it needs software artifacts that could be sold. A set of proposed services will be a saleable commodity of great commercial value. A software company that will develop its commercial version could be set up. Thirdly, the project will help Early Career Researchers in gaining an experience necessary to carry out independent research and assist in training new researchers: Postdocs, PhDs and Masters.Read moreRead less
Metamorphic Testing: An In-Depth Study to Enhance the Failure-Detection Capability of Software Testing Without an Oracle. Nowadays, software is pervasive and ubiquitous. It plays a significant role in the daily lives of all kinds of people. The Australian software industry has bloomed in recent years. Our research results will improve the cost-effectiveness of software development, thereby upgrading the nation's software productivity and quality. These factors are conducive to the export of soft ....Metamorphic Testing: An In-Depth Study to Enhance the Failure-Detection Capability of Software Testing Without an Oracle. Nowadays, software is pervasive and ubiquitous. It plays a significant role in the daily lives of all kinds of people. The Australian software industry has bloomed in recent years. Our research results will improve the cost-effectiveness of software development, thereby upgrading the nation's software productivity and quality. These factors are conducive to the export of software produced by Australians and helpful in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries.Read moreRead less
A Comprehensive Testing Methodology for Embedded Software. Embedded systems are a bedrock technology for many high-technology industries. They are used in many safety-critical situations, such as medical devices and car control systems, amongst hundreds of other applications. Unfortunately, current practice still sometimes results in disastrous mistakes remaining undetected, leading to multi-million dollar losses and in some cases even deaths. Improved testing methods for these systems offer ....A Comprehensive Testing Methodology for Embedded Software. Embedded systems are a bedrock technology for many high-technology industries. They are used in many safety-critical situations, such as medical devices and car control systems, amongst hundreds of other applications. Unfortunately, current practice still sometimes results in disastrous mistakes remaining undetected, leading to multi-million dollar losses and in some cases even deaths. Improved testing methods for these systems offer the potential of reducing such catastrophic losses. Improved embedded system testing techniques can offer Australia a competitive advantage in this strategically important industry. We will work to distribute our results to the Australian embedded systems community.Read moreRead less
Job Scheduling Strategies for General-Purpose High-Performance Computing Clusters. High-performance computing is moving away from specialised platforms to cheaper clusters and it is expected that clusters will become the mainstream computing platforms for general-purpose applications. One major problem that hinders the application of clusters is the lack of effective scheduling facilities to efficiently allocate system resources to meet the performance requirements of various applications. We sh ....Job Scheduling Strategies for General-Purpose High-Performance Computing Clusters. High-performance computing is moving away from specialised platforms to cheaper clusters and it is expected that clusters will become the mainstream computing platforms for general-purpose applications. One major problem that hinders the application of clusters is the lack of effective scheduling facilities to efficiently allocate system resources to meet the performance requirements of various applications. We shall design a new and innovative job scheduling system to solve this problem. The emphasis will be on practical designs in the context of real operating systems. The successful completion of this research will greatly promote a wide application of clusters.Read moreRead less
Failure-Based Testing: An In-Depth Theoretical and Experimental Study. Nowadays, software is pervasive and ubiquitous. It plays a significant role in the daily lives of all kinds of people. The Australian software industry has bloomed in recent years. Our research results will improve the cost-effectiveness of software development, thereby upgrading the nation's software productivity and quality. These factors are conducive to the export of software produced by Australians and helpful in raising ....Failure-Based Testing: An In-Depth Theoretical and Experimental Study. Nowadays, software is pervasive and ubiquitous. It plays a significant role in the daily lives of all kinds of people. The Australian software industry has bloomed in recent years. Our research results will improve the cost-effectiveness of software development, thereby upgrading the nation's software productivity and quality. These factors are conducive to the export of software produced by Australians and helpful in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries.Read moreRead less
Enhanced Random Testing - Towards Better Cost Effectiveness and Fault Detection Capabilities. Nowadays, software is pervasive and ubiquitous. It plays a significant role in the modern daily life of all kinds of people. The Australian software industry has bloomed in recent years. Our research results will improve the cost-effectiveness of software development, thereby will upgrade the nation's software productivity and quality. These factors are conducive to the export of software produced by Au ....Enhanced Random Testing - Towards Better Cost Effectiveness and Fault Detection Capabilities. Nowadays, software is pervasive and ubiquitous. It plays a significant role in the modern daily life of all kinds of people. The Australian software industry has bloomed in recent years. Our research results will improve the cost-effectiveness of software development, thereby will upgrade the nation's software productivity and quality. These factors are conducive to the export of software produced by Australians, helpful in raising our nation's competitive advantage in the software industry towards the goal of becoming a leading nation among the Asia-Pacific countries in the software industry.Read moreRead less
Software Testing with Enhanced Partitioning Schemes. Partition testing is the most common means of ensuring the quality of software. In partition testing, the set of inputs to the program are divided into subsets, from each of which test cases are selected. Our previous research has concentrated on how to select test cases from the subsets. In this project, we will investigate how to divide the set of inputs into subsets so as to yield better fault-detecting capabilities. Not only will this ....Software Testing with Enhanced Partitioning Schemes. Partition testing is the most common means of ensuring the quality of software. In partition testing, the set of inputs to the program are divided into subsets, from each of which test cases are selected. Our previous research has concentrated on how to select test cases from the subsets. In this project, we will investigate how to divide the set of inputs into subsets so as to yield better fault-detecting capabilities. Not only will this project have an impact on the theoretical foundation of software quality, but the resulting methodologies will greatly enhance the efficacy of software testing in practice.Read moreRead less
Statistical Methods of Model Fitting and Segmentation in Computer Vision. Electronic sensors such as cameras and lasers can provide a rich source of information about the position, shape, and motion of objects around us. However, to extract this information in a reliable, automatic, and accurate way requires a sophisticated statistical theory of the process. Example applications include: video surveillance (better automatic detection of moving people and vehicles and of characterising what those ....Statistical Methods of Model Fitting and Segmentation in Computer Vision. Electronic sensors such as cameras and lasers can provide a rich source of information about the position, shape, and motion of objects around us. However, to extract this information in a reliable, automatic, and accurate way requires a sophisticated statistical theory of the process. Example applications include: video surveillance (better automatic detection of moving people and vehicles and of characterising what those people and vehicles are doing), industrial prototyping and inspection (measuring the size and shape of objects), urban planning (laser scanning streetscapes to create computer models of cities), entertainment industry (movie special effects and games), etc. Read moreRead less