公开(公告)号：US11068386B1

公开(公告)日：2021-07-20

申请号：US16700749

申请日：2019-12-02

Applicant: STATE FARM MUTUAL AUTOMOBILE INSURANCE COMPANY

Inventor： Joseph W. Norton ,  James D. Titlow ,  Matthew W. Holloway ,  Amanda J. Tolonen ,  Venkata R. Kongara ,  Timothy J. Wheeler

IPC: G06F11/36 ,  G06Q40/08

Abstract: Methods and systems for performing mainframe batch testing and/or property-based validation testing using a finite-state machine are provided. According to certain aspects, a validation server may receive a set of batch data designed to validate a property under test, such as during mainframe batch testing. A validation server may validate that the set of batch data is in a proper format. The validation server may then cause a finite-state machine to process instructions contained within the set of batch data. Once the finite-state machine processes the set of batch data, the validation server may then validate that the finite-state machine adheres to the property under test. If the validation fails, the validation server may generate an error report describing the failure.

公开(公告)号：US10521337B1

公开(公告)日：2019-12-31

申请号：US15870410

申请日：2018-01-12

Applicant: STATE FARM MUTUAL AUTOMOBILE INSURANCE COMPANY

Inventor： Joseph W. Norton ,  James D. Titlow ,  Matthew W. Holloway ,  Amanda J. Tolonen ,  Venkata R. Kongara ,  Timothy J. Wheeler

IPC: G06F11/36 ,  G06Q40/08

Abstract: Methods and systems for performing mainframe batch testing and/or property-based validation testing using a finite-state machine are provided. According to certain aspects, a validation server may receive a set of batch data designed to validate a property under test, such as during mainframe batch testing. A validation server may validate that the set of batch data is in a proper format. The validation server may then cause a finite-state machine to process instructions contained within the set of batch data. Once the finite-state machine processes the set of batch data, the validation server may then validate that the finite-state machine adheres to the property under test. If the validation fails, the validation server may generate an error report describing the failure.

公开(公告)号：US09916234B1

公开(公告)日：2018-03-13

申请号：US14884930

申请日：2015-10-16

Applicant: STATE FARM MUTUAL AUTOMOBILE INSURANCE COMPANY

Inventor： Joseph W. Norton ,  James D. Titlow ,  Matthew W. Holloway ,  Amanda J. Tolonen ,  Venkata R. Kongara ,  Timothy J. Wheeler

IPC: G06F11/36 ,  G06Q40/08

CPC classification number: G06F11/3692 ,  G06F11/3672 ,  G06F11/3684 ,  G06F11/3688 ,  G06Q40/08

Abstract: Methods and systems for performing mainframe batch testing and/or property-based validation testing using a finite-state machine are provided. According to certain aspects, a validation server may receive a set of batch data designed to validate a property under test, such as during mainframe batch testing. A validation server may validate that the set of batch data is in a proper format. The validation server may then cause a finite-state machine to process instructions contained within the set of batch data. Once the finite-state machine processes the set of batch data, the validation server may then validate that the finite-state machine adheres to the property under test. If the validation fails, the validation server may generate an error report describing the failure.