Analyzes the drawbacks of the traditional tests and the status of dynamic monitoring, proposes and implements dynamic monitoring method to determine whether software running behavior accords with the expected behavior based on formal logic description of requirements specification, and ensures the timeliness and correctness of the monitoring in the lower resources consumption. Finally，the efficiency of the algorithm is proved by practical case.