Inventors:
Stephanie M. Corthesy - Zurich, CH
Pablo Meyer Rojas - Brooklyn NY, US
Raquel Norel - New York NY, US
John J. Rice - Mohegan Lake NY, US
Ajay K. Royyuru - Congers NY, US
Joerg J. Sprengel - Baden, DE
Gustavo A. Stolovitzky - Riverdale NY, US
Thomas Bonk - KoIn, DE
Julia Hoeng - Neuchatel, CH
Manuel Peitsch - Peseux, CH
Katrin Stolle - Koln, DE
Assignee:
PHILLIP MORRIS INTERNATIONAL - Neuchatel
INTERNATIONAL BUSINESS MACHINES CORPORATION - Armonk NY
International Classification:
G06F 9/46
Abstract:
A method of implementing verification of a complex workflow includes partitioning the workflow into modules, wherein the modules have inputs, processing steps and outputs; selecting, from the workflow, one of the partitioned modules for independent verification by challenge thereof; running, with a computing device, a challenge of the selected module, the challenge comprising comparing reference outputs to outputs of the selected module, wherein reference inputs are received by the selected module and the reference outputs are generated using the reference inputs and one of an ideal performing module or a well-established module; determining whether outputs of the selected module meet verification criteria with respect to the reference outputs, and based on the determining, implementing one of: declaring the selected module verified; subdividing the selected module into smaller modules and repeating the challenge on the smaller modules; or declaring the selected module not verified.