loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
I-Ling Yen, University of Texas at Dallas
Farokh B. Bastani, University of Texas at Dallas
Fiaz Mohamed, University of Texas at Dallas
Hui Ma, University of Texas at Dallas
John Linn, Texas Instruments Incorporated

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.