The invention provides a fault location method of a software operation. According to the fault location method of the software operation, a static preparation stage, a dynamic operation stage and a fault location stage are included, wherein a property specification is determined according to a description of high-level requirements of a software system in the static preparation stagewhich isperformed before the software system operates; then, according to the property specification, a plug-in code is instructed, a probe is deployed and a runtime monitor is constructed in the software system; in the dynamic operation stage when software is operated, when the plug-in code collects changing information of monitoring variables set in the operation of the software system, the monitor tests whether the operation process of the software system conforms to the property specification and the probe records an execution path of the software system, according to the changing information. In the fault location stage, according to the execution path of the software system and the monitor testing result, the fault location of the software system is realized after statistical analysis.