Rapid goal-oriented automated software testing using MEA-graph planning
Software Quality Control
Creating automated plans for Semantic Web applications through planning as model checking
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
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 ofsoftware 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.