Dynamic program monitoring is an approach that can be used in requirement analysis to check whether an implementation of a solution corresponds to the expected behaviour of the program. We present ORKA, a tool developed to monitor an implementation of a system specified with KAOS, a goal oriented requirement analysis method. This tool translates KAOS specifications to ASAX rules. ASAX is an efficient sequential file analysis tool, previously used mainly for intrusion detection. The KAOS approach uses a subset of Temporal Logic (a set of predefined patterns). KAOS formulas are translated to ASAX rules that are used by ASAX to monitor a system trace. The expressiveness and efficiency of our approach is compared to other similar systems. This analysis allow us to determine if the specification is (in)complete and to re-examine it if necessary. Finally, we make of couple of tests and compare our existing approach with others, to judge its relevance and its efficiency.
ORKA obstacles recognition with KAOS based on ASAX: utilisation d'ASAX pour la détection d'obstacle
Brohez, S. (Author), Grégoire, Y. (Author). 2002
Student thesis: Master types › Master in Computer science