An overview on the concepts and methodologies of incremental dynamic analysis IDA ( with a single record and multiple records ) *