Loading [a11y]/accessibility-menu.js
Application of AI planning techniques to automated code synthesis and testing | IEEE Conference Publication | IEEE Xplore

Application of AI planning techniques to automated code synthesis and testing


Abstract:

Rapid growth in the demand for embedded systems and the increased complexity of embedded software pose an urgent need for advanced embedded software development technique...Show More

Abstract:

Rapid growth in the demand for embedded systems and the increased complexity of embedded software pose an urgent need for advanced embedded software development techniques. One attractive approach is to enable semi-automated code generation and integration of systems from components. However, the implementation and validation of these systems requires a steep learning curve due to the large number, variety, and complexity of software components. In this paper, we discuss the potential application of AI planning techniques in assisting with the synthesis of glue code for assembling a system from existing components as well as automated testing of the system. The approach works by transforming component specifications into rules that operate on a domain-specific state space. Each rule captures the semantics of a method in a class. The code assembly and testing requirements are described by identifying conditions (goals) that should be achieved. An automated planning system computes a sequence of rules and their instantiations that will achieve the goal state. This sequence is then used to synthesize the code or to generate test cases. The approach is illustrated using an example.
Date of Conference: 04-06 November 2002
Date Added to IEEE Xplore: 25 February 2003
Print ISBN:0-7695-1849-4
Print ISSN: 1082-3409
Conference Location: Washington, DC, USA

Contact IEEE to Subscribe

References

References is not available for this document.