| 摘要 |
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.
|
