Abstract: A method for objective code branch verification executes code branch annotations to assess developer-specified pass conditions for each code branch that are indicative of whether or not the code branch is functioning as originally intended by the author of the code. The method includes maintaining and dynamically updating both a counter value and a pass indicator status in association with each of multiple annotated code branches defined within a code body during execution of the code body. The counter value for each annotated code branch represents a number of times the annotated code branch has executed within a current run-time environment, and the pass indicator status indicates satisfaction or non-satisfaction of a pass condition identified within the code branch that is determined based on the counter value for the associated code branch.

Abstract: A method for objective code branch verification executes code branch annotations to assess developer-specified pass conditions for each code branch that are indicative of whether or not the code branch is functioning as originally intended by the author of the code. The method includes maintaining and dynamically updating both a counter value and a pass indicator status in association with each of multiple annotated code branches defined within a code body during execution of the code body. The counter value for each annotated code branch represents a number of times the annotated code branch has executed within a current run-time environment, and the pass indicator status indicates satisfaction or non-satisfaction of a pass condition identified within the code branch that is determined based on the counter value for the associated code branch.

Abstract: A system automatically generates a workflow report for computerized system testing and other uses. The system comprises at least one processing device including at least one log file including records identifying time stamped actions performed by a user of a computerized processing system and actions performed by the system. A repository includes stored predetermined data patterns associated with workflow tasks performed in a workflow by a user and a system. A parser automatically parses records of the at least one log file to identify workflow tasks performed during a time period using the predetermined data patterns. A report generator automatically generates a workflow report comprising the identified workflow tasks and associated time stamps indicating workflow tasks performed by the system and user during the time period. An output processor provides the generated workflow report to a destination device for access by a user.

Abstract: A system automatically generates a workflow report for computerized system testing and other uses. The system comprises at least one processing device including at least one log file including records identifying time stamped actions performed by a user of a computerized processing system and actions performed by the system. A repository includes stored predetermined data patterns associated with workflow tasks performed in a workflow by a user and a system. A parser automatically parses records of the at least one log file to identify workflow tasks performed during a time period using the predetermined data patterns. A report generator automatically generates a workflow report comprising the identified workflow tasks and associated time stamps indicating workflow tasks performed by the system and user during the time period. An output processor provides the generated workflow report to a destination device for access by a user.