The invention discloses a
software run-time property monitoring method based on property specification mode, aiming at providing a
software run-time property monitoring method beneficial to fault discovery and diagnosis. The technical scheme includes that
software run-time property monitoring requirements are classified into multiple property specification
modes, a property specification template is constructed for each property specification mode; meta-
information data in software to be monitored is extracted, so as to generate a meta-information file; the property specification template is configured, so as to generate a monitoring script file of the software to be monitored; the monitoring script file is analyzed, so as to generate a monitoring code; the software to be monitored and a comprehensive monitoring file are woven, so as to generate new software with run-time property monitoring capability; and the new software generated by weaving is run, software property is monitored and monitoring result is displayed. By adopting the invention, support can be provided for
software fault discovery, diagnosis and defect location,
software failure and maintenance cost is reduced, monitoring
workload and monitoring difficulty are reduced, and timeliness is improved.