Fault-Based Test Case Generation for Software. This research explores ways to generate fault based test cases from specifications to verify software applications. This will help to enhance knowledge and skills on frontier software technologies for building and transforming Australian IT industries. The results provide knowledge, methodologies and technologies to software industry in Australia on building better quality software faster. In addition, it will help to reveal faults earlier in the de ....Fault-Based Test Case Generation for Software. This research explores ways to generate fault based test cases from specifications to verify software applications. This will help to enhance knowledge and skills on frontier software technologies for building and transforming Australian IT industries. The results provide knowledge, methodologies and technologies to software industry in Australia on building better quality software faster. In addition, it will help to reveal faults earlier in the development phase. Software companies in Australia can apply these techniques to improve their software development process and, hence, enhance the quality of their product. They can also adapt the knowledge to manage and enhance the quality of their outsourcing projects.Read moreRead less
Data-driven Approach to Resilient Online Service Systems. This project aims to develop a data-driven approach to improving the resilience of online service systems. Many software systems are now provided as online services via the Internet on a 24/7 basis. Although a lot of effort has been devoted to service quality assurance, in reality, online service systems still encounter many incidents and fail to satisfy user requests. This project expects to develop innovative data-driven methods for eff ....Data-driven Approach to Resilient Online Service Systems. This project aims to develop a data-driven approach to improving the resilience of online service systems. Many software systems are now provided as online services via the Internet on a 24/7 basis. Although a lot of effort has been devoted to service quality assurance, in reality, online service systems still encounter many incidents and fail to satisfy user requests. This project expects to develop innovative data-driven methods for effective fault identification, fault localization, and failure prediction. Expected outcomes of this project include novel techniques and tools for maintaining online service systems. This project will provide significant benefits, such as improving the resilience and reliability of our cyber infrastructure.Read moreRead less
Agent-based coordination and negotiation technologies for decentralised service workflow management. This project will enhance the nation's expertise in ICT in general and smart information use in particular. In the real world, process management is a key issue in any workplace organisation which needs to be supported by workflow systems, particularly in this Internet and Web services era. This project will develop an innovative framework and the corresponding technologies for service workflow m ....Agent-based coordination and negotiation technologies for decentralised service workflow management. This project will enhance the nation's expertise in ICT in general and smart information use in particular. In the real world, process management is a key issue in any workplace organisation which needs to be supported by workflow systems, particularly in this Internet and Web services era. This project will develop an innovative framework and the corresponding technologies for service workflow management. The research will assist many organisations to effectively develop and deliver more efficient, reliable, flexible and adaptive business applications. Consequently, this will enhance the ability of many Australian organisations to run more productively and more competitively.Read moreRead less
Design-Driven Requirements for Internet-Enabled System Development. The nature of Web system development is significantly different from conventional, software and IT development. Amongst other factors, there is substantial uncertainty in both clients' understanding of their needs and developers' understanding of the systems domain. We will develop an uncertainty model relevant to the development model relevant to the development of internet-enabled systems, and then use this model to adapt th ....Design-Driven Requirements for Internet-Enabled System Development. The nature of Web system development is significantly different from conventional, software and IT development. Amongst other factors, there is substantial uncertainty in both clients' understanding of their needs and developers' understanding of the systems domain. We will develop an uncertainty model relevant to the development model relevant to the development of internet-enabled systems, and then use this model to adapt the design process to support elicitation of requirements, as well as developing support for this adapted process. This will facilitate the development of systems that more accurately reflect clients' needs, and result in an understanding of what would be involved in reducing development costs.Read moreRead less
Ontology-based agent-oriented development methodologies. Establishing an industry strength unified agent-oriented methodology which focuses on interoperability and reusability will create stronger commitment to the new technology and stability in the commercial sector in Australia. Our methodology will create significant potential for Australian software companies, due to the added productivity and long term customer satisfaction through reusability, interoperability and pay-off of the developed ....Ontology-based agent-oriented development methodologies. Establishing an industry strength unified agent-oriented methodology which focuses on interoperability and reusability will create stronger commitment to the new technology and stability in the commercial sector in Australia. Our methodology will create significant potential for Australian software companies, due to the added productivity and long term customer satisfaction through reusability, interoperability and pay-off of the developed systems. This not only brings profits to Australian companies through the exploitation of this frontier technology, but also enhances the standard of living through increased satisfaction of the Australian public in their increasing use of software as they interact with today's computer-controlled world.Read moreRead less
Supporting co-evolution of business processes and Web systems. This research will provide significant benefit to the Australian Internet and e-commerce industries (valued by the ABS as in excess of $11b/year). It will result in improved products that better satisfy specific business needs (and hence improved competitiveness in a global market). Development cycles will shorten (as the likelihood of redevelopment decreases) and costs of development will fall. Finally, the models and tools to be ....Supporting co-evolution of business processes and Web systems. This research will provide significant benefit to the Australian Internet and e-commerce industries (valued by the ABS as in excess of $11b/year). It will result in improved products that better satisfy specific business needs (and hence improved competitiveness in a global market). Development cycles will shorten (as the likelihood of redevelopment decreases) and costs of development will fall. Finally, the models and tools to be developed will facilitate the transition of traditional organisations into the new economy, as the outcomes of this research will provide a transparent cost-effective approach for identifying and clarifying the evolving business domain and the requirements of companies.Read moreRead less
Identifying and Tracking Influential Events in Large Social Networks. This project aims to invent a novel model and techniques for identifying and tracking influential events in large and dynamic social networks in real time. The proposed model would take into account the structure and content of social networks, and the influence of events. The project also plans to develop efficient strategies for identifying and tracking events in large and dynamic social network environments based on the mod ....Identifying and Tracking Influential Events in Large Social Networks. This project aims to invent a novel model and techniques for identifying and tracking influential events in large and dynamic social networks in real time. The proposed model would take into account the structure and content of social networks, and the influence of events. The project also plans to develop efficient strategies for identifying and tracking events in large and dynamic social network environments based on the model, In particular, the project plans to investigate flexible social network query methods to make users’ event search easy. Finally the project plans to build an evaluation system to demonstrate the efficiency of the algorithms and effectiveness of the model.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.
Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and valid ....Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and validation capabilities of local industry, allow them to save software development costs, and improve the quality of the software produced.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