Cao Xizhen

  • Citations Per Year
Learn More
The Architecture Analysis & Design Language (AADL) is a modeling language to describe the architecture of real-time embedded systems. This paper presents a model-driving test case generation method based on AADL model, defines a group of rules mapping AADL elements to abstract test cases, and takes an actual example to illustrate this method. The method(More)
  • 1