Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Date of Patent
July 20, 2010
Patent Application Number
11128899
Date Filed
May 12, 2005
Patent Primary Examiner
Patent abstract
Cross domain data systems are verified by creating a program in the target domain language which can be used to determine for a result item whether the result item should be part of a query result. The program is then used in order to determine, for a set of target domain data corresponding to source domain data, a set of expected result items. These are compared with the result from the cross domain data system in order to provide verification of cross domain data systems. Multiple queries may be automatically generated and verified according to this technique.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
