公开(公告)号：US20230237078A1

公开(公告)日：2023-07-27

申请号：US18153192

申请日：2023-01-11

Applicant: Tata Consultancy Services Limited

Inventor： ADVAITA ABHIJIT DATAR ,  Amey ZARE ,  ASIA AKHTAR ,  VENKATESH RAMANATHAN ,  SHRAWAN KUMAR ,  ULKA ANIRUDDHA SHROTRI ,  SURESH BHASKARAMURTHY ,  PUNYAKOTI SATHISH ,  KANNAN DHANASEKARAN

IPC: G06F16/28 ,  G06F40/18

CPC classification number: G06F16/288 ,  G06F40/18

Abstract: The present invention generally relates to the field of automated functional testing, and, more particularly, to a method and system for validation of calculation code against calculation specification. Currently the validation is done manually which is time consuming and effort intensive. Embodiments of present disclosure provide an automated method of validation by generating a schema from the calculation specification, retrieving data based on the schema, executing the intermediate calculations, and comparing the result with the output from the calculation code. The method requires minimal manual input and is a fast, simple, resilient and low-code/no-code technique that can be extended to support any type of calculation code and calculation specifications with minimal or no change.

公开(公告)号：US20240232188A1

公开(公告)日：2024-07-11

申请号：US18467276

申请日：2023-09-14

Applicant: Tata Consultancy Services Limited

Inventor： AMEY ZARE ,  VENKATESH RAMANATHAN ,  ASIA AKHTAR ,  ADVAITA ABHIJIT DATAR ,  ATHARV HEMANT SHINGEWAR ,  NAKSHATRA GUPTA

IPC: G06F16/2452 ,  G06F40/205 ,  G06F40/40

CPC classification number: G06F16/24522 ,  G06F40/205 ,  G06F40/40

Abstract: Enterprise software relies on numerous types and instances of mathematical and logical calculations for proper functioning, which are formally specified in spreadsheets, known as Calculation Specification (CS) sheets, that provide illustrations of the inputs and outputs of the calculation, and are expressed in inputs and formulae applied on them to get values for outputs. The values for such inputs are retrieved by executing ad hoc queries on respective application's database. Present disclosure provides systems/methods to synthesize code using CS sheets by formulating a Programming By Example (PBE) problem for each input involved in the calculation. A query synthesis technique is then implemented that uses natural language processing and enumerative program synthesis techniques to infer queries corresponding to the PBE problem. These queries are filtered based on whether their output is consistent with expected output in PBE. Finally, the synthesized queries and calculation formulae are translated into a desired target programming language.