Patent · US Active

Method and system for an executable specification

US8874598B2 · kind B2 · utility

6Cited by

6References

17Claims

0Family size

Assignee

SAP SE · DE

Inventors

Michael Spengler · Hamm (Sieg), DE
Rene Laengert · Massenbachhausen, DE

Key dates

Filing date	Jul 21, 2011
Grant date	Oct 28, 2014
Priority date	—
Expiry date	Jul 21, 2031

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/3692
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

According to some embodiments, a method and system provides executing, by a processor, a software module under test to obtain a first reference set of data; executing, by the processor, the software module under test to obtain a second reference set data; transforming, by the processor, the first reference set of data and the second reference set of data into a first formal text form representation and a second formal text form representation, respectively; determining a plurality of differences between the first set of reference data and the second set of reference data by comparing the first formal text form representation and the second formal text form representation; filtering the plurality of differences to obtain a sub-set of the plurality of differences based on at least one filter criteria; and generating a report of the sub-set of plurality of differences.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.