Method and system for verifying a system operation

摘要

A method and system for verifying operation of an automated process in a computer system is disclosed. The method comprising of defining a set of sequences of at least two events expected during execution of the automated process, operating the computer system to execute the automated process, capturing the events produced during the execution of the automated process in the computer system, comparing execution trace of the events captured from the computer system against the expected trace of sequences of at least two expected events extracted during execution of the automated process, and verifying accuracy of operation of the automated process in the computer system based on the comparison. The sequence of events expected during execution of the automated process is modeled as an extended activity diagram, where the events represent a plurality of intermediate verification points of the automated process.