Unlock instant, AI-driven research and patent intelligence for your innovation.

Verifying dynamically generated operations on a data store

A data storage, dynamically generated technology used in the field of testing and verification to solve problems such as analysis and determination difficulties

Active Publication Date: 2010-10-06
MICROSOFT TECH LICENSING LLC
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, such analysis and determination are very difficult, especially considering the format of operations or instructions generated by abstract products, and the fact that specific operations and instructions themselves are constantly changing

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Verifying dynamically generated operations on a data store
  • Verifying dynamically generated operations on a data store
  • Verifying dynamically generated operations on a data store

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0016] The dynamic generation of parity operations on data storage is described here. When a request involving access to a data store is made, one or more operations are dynamically generated on behalf of the requestor, and the one or more operations are sent to the data store that performs the operations. Check that work that was expected to be performed on the data store by the request has been performed, and that work that was not expected to be performed on the data store by the request has not been performed. If these checks indicate that expected work was performed and undesired work was not performed, then the dynamically generated operations from the request are proven accurate. A variety of different techniques can be used to verify that no undesired work is being performed on the data store.

[0017] figure 1 is a block diagram illustrating an example environment 100 in which verification of dynamically generated operations on data stores may be performed. Enviro...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

Verifying dynamically generated operations on a data store includes carrying out setup actions for access to the data store, the setup actions being based at least in part on a request for which the dynamically generated operations will be generated. The carrying out of setup actions includes permissions being set for portions of the data store to establish a restricted portion of the data store and an unrestricted portion of the data store, as well as using one or more additional techniques to check whether any unexpected changes were made to the unrestricted portion or to lock access to parts of the unrestricted portion. After the dynamically generated operations are performed, a verification is made that no unexpected work was performed by the dynamically generated operations. If unexpected work was performed then the operations are determined to be not correct for the request.

Description

technical field [0001] The present invention relates to testing and verification, and more particularly to dynamically generating operations for data memory verification. Background technique [0002] As computer technology advances, the capacity of storage devices increases. One or more of such storage devices may be considered a data store, and different technologies have been developed to maintain and access the large amounts of data contained in the data store. As the technologies used to access data may refine and change over time, products are being developed that abstract the details of accessing data. This abstraction product can then be utilized by application developers to access stored data. Thus, an application developer can interact with the more user-friendly interface of the abstraction product and rely on the abstraction product to understand the details of accessing the storage device. [0003] Typically, these abstraction products convert requests or ins...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F12/14G06F1/00
CPCG06F21/566G06F21/62G06Q20/401G06F3/06Y10S707/99954
Inventor D·E·希帕G·吴J·M·史东三世J·E·利德J·拜尔德S·B·伯格丹
Owner MICROSOFT TECH LICENSING LLC