Eat and Dream: effective automatic testing and debugging for real-life embedded wireless communications software. Embedded software is a key enabling technology for the majority of Australian manufacturing industries, including strategically important sectors such as the automotive industry. Embedded wireless communication technologies are playing an increasingly significant role in Australia with a wide range of critical applications ranging from natural disaster early warning to personal healt ....Eat and Dream: effective automatic testing and debugging for real-life embedded wireless communications software. Embedded software is a key enabling technology for the majority of Australian manufacturing industries, including strategically important sectors such as the automotive industry. Embedded wireless communication technologies are playing an increasingly significant role in Australia with a wide range of critical applications ranging from natural disaster early warning to personal health monitoring. Embedded wireless communications software, however, is difficult to test and debug owing to the complexity of the operational environment and complications arising from the interplay between software and hardware. This project will develop an effective and automatic technology to alleviate these difficulties and achieve higher quality software.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
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
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
Open Agent Architectures for Intelligent Distributed Decision Making. Sophisticated software systems are part of the essential infrastructure of our daily lives. Complex systems such as the internet, finance, or telecommunications software cannot have a centralised point of control or a single developer. The aim of this project is to develop an architecture and support infrastructure enabling intelligent agents to locate and use services in such open systems. The fundamental questions that must ....Open Agent Architectures for Intelligent Distributed Decision Making. Sophisticated software systems are part of the essential infrastructure of our daily lives. Complex systems such as the internet, finance, or telecommunications software cannot have a centralised point of control or a single developer. The aim of this project is to develop an architecture and support infrastructure enabling intelligent agents to locate and use services in such open systems. The fundamental questions that must be addressed include issues such as how agents will find and use newly added services and how services will communicate with each other, given that they are developed independently.Read moreRead less
Novel cloud computing based workflow technology for managing large numbers of process instances. Cloud computing is a recent computing paradigm which can offer workflow with services via virtualised resources from the Internet. This project develops new technology with a novel cloud workflow architecture and its corresponding innovative mechanisms for managing millions of process instances effectively. The success of this project will build and foster long-term collaboration with the industry pa ....Novel cloud computing based workflow technology for managing large numbers of process instances. Cloud computing is a recent computing paradigm which can offer workflow with services via virtualised resources from the Internet. This project develops new technology with a novel cloud workflow architecture and its corresponding innovative mechanisms for managing millions of process instances effectively. The success of this project will build and foster long-term collaboration with the industry partner. The research conducted with this project will position Australia as a world leader in this area. The intellectual property resulting from project outcomes will potentially benefit many Australian organisations with similar nature for e-business like insurance and banking processes, and e-government like Medicare and Centrelink processes.Read moreRead less