Enabling small businesses to more cost-effectively use big data on cloud computing platforms. This project will invent a new generic cost model for managing big data in cloud computing. This model will enable agent-based, innovative data management technologies to reduce the cost of storage, computation and bandwidth consumption in the cloud. Outcomes will enable small businesses to use big data in cloud computing more cost effectively.
Integrating and automating testing in multi-agent system development. This research will provide mechanisms that facilitate easier and more thorough testing of multi-agent systems. Multi-agent technology is extremely powerful and can save businesses substantial time and effort in developing complex systems. Automated testing will ensure that systems built using this technology are more robust, and will also enable substantial savings in time required for testing. Multi agent systems are notorio ....Integrating and automating testing in multi-agent system development. This research will provide mechanisms that facilitate easier and more thorough testing of multi-agent systems. Multi-agent technology is extremely powerful and can save businesses substantial time and effort in developing complex systems. Automated testing will ensure that systems built using this technology are more robust, and will also enable substantial savings in time required for testing. Multi agent systems are notoriously difficult to test, due to their complexity. However the approaches used in this project will enable intelligent generation of test cases that are potentially difficult, and also generation of test cases that are based on specified functionality.Read moreRead less
Tools, methodologies and reasoning support for developing companion-toy modules. This project investigates building of modules for an intelligent Toy which can be customised and adapted over time by add-on modules. Intelligent interactive toys are growing in popularity, and the ability for such a toy to develop over a prolonged lifetime, is both a sound business idea and a mechanism for extending the useful life of the Toy.
Smart quality management for service-based systems in cloud environment. Cloud computing is a rapidly growing paradigm for Software-as-a-Service (SaaS). For enabling broad applications of a huge number of services available in the cloud, quality management for service-based systems is critical. This project aims to cover smart quality management for the whole lifetime of SaaS from service composition to service delivery. The project is expected to offer a novel solution for managing both build-t ....Smart quality management for service-based systems in cloud environment. Cloud computing is a rapidly growing paradigm for Software-as-a-Service (SaaS). For enabling broad applications of a huge number of services available in the cloud, quality management for service-based systems is critical. This project aims to cover smart quality management for the whole lifetime of SaaS from service composition to service delivery. The project is expected to offer a novel solution for managing both build-time service selection and runtime service monitoring and adaptation by inventing corresponding innovative efficient and effective strategies for quality management. Given the prediction that the SaaS market will grow from $13.5 billion in 2011 to $32.8 billion in 2016, the success of this project is anticipated to translate into scientific and economic value.Read moreRead less
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.
Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in ra ....Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries. Furthermore, this collaboration will help young Australian researchers to link to the Chinese Academy of Sciences, a leading-edge international research institute.Read moreRead less
Mapping the Effectiveness of Automated Software Testing. This project aims to help software engineers build complex software systems in far more reliable and cost-effective ways. It takes an interdisciplinary approach by applying machine learning techniques to automatically test complex software systems. Expected outcomes include a novel methodology for assessing the strengths and weaknesses of test suites generated by automated software testing techniques and the approaches required for generat ....Mapping the Effectiveness of Automated Software Testing. This project aims to help software engineers build complex software systems in far more reliable and cost-effective ways. It takes an interdisciplinary approach by applying machine learning techniques to automatically test complex software systems. Expected outcomes include a novel methodology for assessing the strengths and weaknesses of test suites generated by automated software testing techniques and the approaches required for generating high-quality test cases. Such advances are urgently needed to avoid disasters when deploying software systems in the real world.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