Details

Autor(en) / Beteiligte

• Gao Jing
• Lan Yuqing
• Jin Maozhong
• Guo Shuhang
• Li Hongjuan
• Zhao Tong

Titel

Modeling interaction constraints of component interfaces based on dynamic analysis

Ist Teil von

• 2008 27th Chinese Control Conference, 2008, p.326-330

Ort / Verlag

IEEE

Erscheinungsjahr

2008

Quelle

IEEE Xplore

Beschreibungen/Notizen

• The interface specification of components usually lacks behavioral semantics information. Behavioral semantics information specify component interaction constraints on the usage of interface methods, including the order in which these methods should be called and the constraints on the method arguments and returns of methods. Based on dynamic analysis technique, a method which abstracts interaction constraints of component interfaces from the execution traces of component-based software system test is presented in this paper. These interaction constraints are incrementally modeled as finite state machines with parameters. Compared with the existing techniques which synthesize either information on the values of the variables or information on sequences of method invocations, our method generates models that represent the sequence constraints of method invocations, constraints of variable value, and the relations that exist between data values and method invocations.