Method and system for verifying resulting behavior of graph query language
AssigneeVesoft. Inc
InventorsMin Wu, Xinglu Yi, Fenglin Hou, Xiaomeng Ye
Life of this patent
Estimating the term…
Loading patent…
AssigneeVesoft. Inc
InventorsMin Wu, Xinglu Yi, Fenglin Hou, Xiaomeng Ye
Estimating the term…
Disclosed are a method and system for verifying a resulting behavior of a graph query language. A lexical parser and a preset lexical rule are added to a BDD test framework, to construct an improved BDD test framework; a first Gherkin text in a graph query language standard is migrated to be a second Gherkin text in a graph query language; a first parsing result of the second Gherkin text is acquired from the improved BDD test framework; a first return result from a graph database is acquired, a comparison result between the first parsing result and the first return result is acquired, wherein the graph query language meets the graph query language standard if the first parsing result and the first return result are the same. The present disclosure solves the problem that the BDD test framework cannot recognize complex Gherkin texts, thereby facilitating development of graph databases.
A method for verifying a resulting behavior of a graph query language, comprising:
Dependencies are inferred from the claim text.