14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'02)
Application of AI Planning Techniques to Automated Code Synthesis and Testing
Washington, DC
November 04-November 06
ISBN: 0-7695-1849-4
The rapid growth in the demand of 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 the 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.
Citation:
I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn, "Application of AI Planning Techniques to Automated Code Synthesis and Testing," ictai, pp.131, 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'02), 2002
Usage of this product signifies your acceptance of the
Terms of Use.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||