Patent ID: 7761430
Filing Date: 2010-07-20
Classification: G06F

Abstract:
1. A method for verifying a cross domain data system in a target data domain where data is obtained by the cross domain data system from a source data domain and is employed in the target data domain, the data being expressed in a different format in the source data domain as compared to in the target data domain, wherein for a given source domain data set comprising at least one source data domain item from the source data domain, said cross domain data system at the target data domain responds to a given query in a cross domain data system query language with a response set of domain items from the source data domain, where each domain item in said response set is expressed in the format of the target data domain and corresponds to a source data domain item from the source data domain responsive to said given query, said method comprising: obtaining a complete target data domain set from the source data domain, said complete target data domain set comprising, for each source data domain set item in said source data domain set, a corresponding target data domain item expressed in the format of the target data domain; creating an expected result set in the target data domain comprising data items from among said complete target data domain set, where each data item in said expected result set satisfies a specified query and is expressed in the format of the target data domain, the specified query creating the expected result set being expressed in a query language specific to the target data domain; receiving from said cross domain data system in response to said specified query a cross domain data system response set from the source data domain, where each data item in said cross domain system response set is expressed in the format of the target data domain, the specified query creating the cross domain system response set being expressed in a query language specific to the cross domain data system and different from the query language specific to the target data domain; and comparing said expected result set and said cross domain data system response set to determine whether said cross domain data system is verified for said specific query, where creating the expected result set comprises: creating a query-satisfaction determiner program in said target data domain where said query-satisfaction determiner program determines, for each target data domain item in the complete target data domain set, whether said target data domain item satisfies said specific query; and creating the expected result set by using said query-satisfaction determiner program to determine which target data domain items from among a testing set of target data domain items from said complete target data domain set satisfy said specific query and adding target data domain items from among said testing set which satisfy said specific query to said expected result set, where said creating a query-satisfaction determiner program comprises using an automatic query-satisfaction determiner program that generates the program from said specified query, where the source data domain is an XML (eXtensible Markup Language) data domain and the target data domain is a relational database data domain.