US9471621B1 - Verification of record based systems - Google Patents

Verification of record based systems Download PDF

Info

Publication number
US9471621B1
US9471621B1 US14/978,004 US201514978004A US9471621B1 US 9471621 B1 US9471621 B1 US 9471621B1 US 201514978004 A US201514978004 A US 201514978004A US 9471621 B1 US9471621 B1 US 9471621B1
Authority
US
United States
Prior art keywords
data
generated
program
piece
computer processors
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
US14/978,004
Inventor
Deborah A. Furman
Anthony T. Sofia
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
International Business Machines Corp
Original Assignee
International Business Machines Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by International Business Machines Corp filed Critical International Business Machines Corp
Priority to US14/978,004 priority Critical patent/US9471621B1/en
Assigned to INTERNATIONAL BUSINESS MACHINES CORPORATION reassignment INTERNATIONAL BUSINESS MACHINES CORPORATION ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). Assignors: FURMAN, DEBORAH A., SOFIA, ANTHONY T.
Priority to US15/255,231 priority patent/US9690819B2/en
Application granted granted Critical
Publication of US9471621B1 publication Critical patent/US9471621B1/en
Priority to US15/490,987 priority patent/US9886472B2/en
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G06F17/30371
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/23Updating
    • G06F16/2365Ensuring data consistency and integrity
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/21Design, administration or maintenance of databases
    • G06F16/211Schema design and management
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/21Design, administration or maintenance of databases
    • G06F16/214Database migration support
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/23Updating
    • G06F16/235Update request formulation
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/90Details of database functions independent of the retrieved data types
    • G06F16/95Retrieval from the web
    • G06F16/953Querying, e.g. by the use of web search engines
    • G06F16/9535Search customisation based on user profiles and personalisation
    • G06F17/303

Definitions

  • the present invention relates generally to manipulation of data, and more particularly to verifying manipulated data.
  • Data verification is a process where different types of data are checked for accuracy and inconsistencies after data migration is done. Determining whether data was accurately translated when data is transferred from one source to another, is complete, and supports processes in the new system is beneficial as data may change during a manipulation. In some examples, during verification a parallel run of both systems is performed to identify areas of disparity and forestall erroneous data loss.
  • a type of data verification is double entry and proofreading data. Proofreading data involves someone checking the data entered against the original document.
  • Embodiments of the present invention disclose a method, computer program product, and system for verifying data.
  • the computer-implemented method includes generating, by one or more computer processors, a first piece of data based on a defined set of data characteristics.
  • the method further includes generating, by one or more computer processors, a first bit, wherein the first bit corresponds to the first generated piece of data.
  • the method further includes sending, by one or more computer processors, the first generated piece of data to a target location.
  • the method further includes receiving, by one or more computer processors, the first generated piece of data from the target location.
  • the method further includes determining, by one or more computer processors, whether to validate the first generated piece of data received from the target location.
  • the method further includes adjusting, by one or more computer processors, the first generated bit based on the determination of whether to validate the first generated piece of data.
  • FIG. 1 is a functional block diagram illustrating a distributed data processing environment, in accordance with an embodiment of the present invention
  • FIG. 2 is a flowchart depicting operational steps of a program for verifying output data from a record based system within the distributed data processing environment of FIG. 1 , in accordance with an embodiment of the present invention.
  • FIG. 3 depicts a block diagram of components of a client device, a server, and a source server of FIG. 1 , in accordance with an embodiment of the present invention.
  • Embodiments of the present invention recognize that verification of data may utilize large amounts of memory.
  • Embodiments of the present invention recognize that storing data before and after testing a record processing program to verify that the data has been properly processed utilizes valuable resources, such as memory and energy, which can limit the ability to perform verbose testing.
  • FIG. 1 is a functional block diagram illustrating a distributed data processing environment, generally designated 100 , in accordance with one embodiment of the present invention.
  • FIG. 1 provides only an illustration of one implementation and does not imply any limitations with regard to the environments in which different embodiments may be implemented. Many modifications to the depicted environment may be made by those skilled in the art without departing from the scope of the invention as recited by the claims.
  • Network 112 represents, for example, a telecommunications network, a local area network (LAN), a wide area network (WAN), such as the Internet, or a combination of the three, and includes wired, wireless, and/or fiber optic connections.
  • Network 112 includes one or more wired and/or wireless networks that are capable of receiving and transmitting data, voice, and/or video signals, including multimedia signals that include voice, data, and video information.
  • computing device 102 is one or more of a management server, a web server, or any other electronic device or computing system capable of receiving, analyzing, and sending data.
  • computing device 102 represents a server computing system utilizing multiple computers as a server system, such as in a cloud computing environment.
  • computing device 102 represents a laptop computer, a tablet computer, a netbook computer, a personal computer (PC), a desktop computer, a personal digital assistant (PDA), a smart phone, or any programmable electronic device capable of communicating with network 112 .
  • computing device 102 represents a computing system utilizing clustered computers and components to act as a single pool of seamless resources.
  • Computing device 102 may include components, as depicted and described in further detail with respect to FIG. 3 , in accordance with embodiments of the present invention.
  • Computing device 102 includes verification program 120 , record processing program 130 , and record seen database 140 .
  • verification program 120 resides on computing device 102 .
  • Verification program 120 generates data, sends data to a record processing program, receives data manipulated by the record processing program, and verifies the manipulated data from the record processing program.
  • verification program 120 generates data based upon preset rules or guidelines that are used to test a record processing program (e.g., record processing program 130 ) for errors.
  • the generated data is sent to a record processing program (e.g., record processing program 130 ) that manipulates the data in some way.
  • Verification program 120 then receives the manipulated data from the record processing program, and verification program 120 verifies that the data has been correctly manipulated.
  • verification program 120 may reside on the same computing device as a record processing program (e.g., record processing program 130 ). In other embodiments, verification program 120 may reside on a separate computing device than the record processing program, and verification program 120 sends and receives data via a network (e.g., network 112 )
  • a network e.g., network 112
  • verification program 120 may include multiple subprograms, such as a subprogram for generating data based on preset rules to test a record processing program.
  • verification program 120 may include a subprogram for verification of records received from a record processing program.
  • verification program 120 may include a subprogram for generating virtual storage for storing bits corresponding to data generated and verified (e.g., record seen database 140 ). Verification program 120 is depicted and described in further detail with respect to FIG. 2 .
  • record processing program 130 resides on computing device 102 .
  • record processing program 130 is a program for sorting or filtering data in a predefined manner.
  • a user creates a sort or filter program (e.g., record processing program 130 ).
  • record processing program 130 receives data from verification program 120 , modifies the data based on preset rules (e.g., sort or filter the data), and sends the modified data back to verification program 120 .
  • record processing program 130 may be a newly created record processing program which has not been fully tested.
  • a creator of record processing program 130 may want to determine if record processing program 130 is functioning properly; and therefore, utilizes verification program 120 to determine if record processing program 130 is functioning properly.
  • a user has a block of data to be modified by record processing program 130 in a specific manner, such as filter the data, and verification program 120 verifies that record processing program modified the data correctly.
  • record seen database 140 resides on computing device 102 .
  • record seen database 140 may reside elsewhere in distributed data processing environment 100 , such as within another computing device (not depicted) or independently as a standalone database that is capable of communicating with computing device 102 via network 112 .
  • a database is an organized collection of data.
  • Record seen database 140 is implemented with any type of storage device capable of storing data that is accessed and utilized by computing device 102 , such as a database server, a hard disk drive, or a flash memory. In other embodiments, record seen database 140 represents multiple storage devices within computing device 102 .
  • record seen database 140 may be virtual memory.
  • virtual memory is a memory management technique that is implemented using both hardware and software.
  • the virtual memory maps memory addresses used by a program, called virtual addresses, into physical addresses in computer memory.
  • software within an operating system may extend capabilities to provide a virtual address space that can exceed the capacity of real memory and thus reference more memory than is physically present in a computer.
  • record seen database 140 may contain bits that represent data (e.g., individual records created by verification program 120 and manipulated by record processing program 130 ) which are turned on based upon verification of received properly manipulated data from record processing program 130 .
  • a single megabyte of virtual storage contains 8388608 bits and can represent as many records. In an example, if the records generated are 512 bytes each, then a single megabyte can represent 4 gigabytes of records.
  • record seen database 140 may be a contiguous virtual storage or a second level lookup can be performed to have discontinuous virtual memory areas.
  • verification program 120 may create record seen database 140 based upon the amount of data to be generated and sent to record processing program 130 . For example, if verification program 120 creates record seen database 140 based upon the number of records generated, wherein the number of records generated correlates to the number of bits in the record seen database.
  • FIG. 2 is a flowchart depicting operational steps of program 200 , which is a function of verification program 120 , in accordance with an embodiment of the present invention.
  • Program 200 operates on computing device 102 and verifies output data from a record based system.
  • program 200 may initiate when a user of verification program 120 prompts verification program 120 to begin generating data.
  • a client device (not depicted) may log into an account of verification program 120 , which initiates the operational steps of program 200 .
  • verification program 120 may begin operational steps of program 200 at preset times or preset time intervals.
  • program 200 may begin in response to record processing program 130 requesting data.
  • Program 200 identifies characteristics of data to generate (step 202 ). In some embodiments, program 200 identifies preset characteristics based on user identified criteria. For example, a user of program 200 sets parameters of data to generate (e.g., numbers larger than 0 and less than 100). In some examples, a user may store preset rules in a database that program 200 can access prior to generating data. In various embodiments, program 200 identifies specific sequences, keys, record sizes, etc., of data to generate. In an example, program 200 identifies that program 200 is required to generate 150 records of various sizes in a specific order (e.g., by record size, number, etc.).
  • Program 200 generates a piece of data (step 204 ).
  • program 200 generates one or more pieces of data.
  • program 200 generates a record containing a key, a sequence number, and extra data.
  • the extra data is not significant but rather used to create different record or file sizes for each piece of generated data. Having sequence numbers and different file sizes, program 200 can test record processing program 130 to determine if record processing program 130 is functioning properly.
  • program 200 may generate a piece of data and then advance to step 206 .
  • program 200 may generate multiple pieces of data (e.g., a preset amount or size) before advancing to step 206 .
  • program 200 may generate all the pieces of data indicated in the preset rules of step 202 before advancing to step 206 .
  • the generated pieces of data will include keys.
  • key fields may be contiguous at the front of the generated record or scattered throughout the record, depending on the preset information from step 202 .
  • the generated pieces of data may include unique sequence numbers that identify the order the record was generated. The sequence number allows program 200 to determine if the record processing program correctly processed the information because program 200 can determine if the sequence number is received.
  • the generated data may include a checksum of the key and record content that can determine if data has been lost or added after the generated data is received from record processing program 130 . In another embodiment, the generated data may not have a checksum but rather another verification method known by a person skilled in the art.
  • Program 200 sends the generated piece of data to a record processing program (step 206 ).
  • program 200 sends each piece of generated data individually to a record processing program (e.g., record processing program 130 ).
  • program 200 is sending data to record processing program 130 (a sorting program), and program 200 sends a singular piece of data as the piece of data is generated to record processing program.
  • program 200 does not store any data but rather sends the generated data to record processing program 130 as soon as the data has been generated.
  • program 200 may send the generated data to a record processing program in bulk.
  • program 200 generates one thousand records and sends the generated records in bulk to record processing program 130 as a single transaction.
  • program 200 may wait until all the required data has been generated before sending the data to a record processing program (e.g., record processing program 130 ).
  • program 200 sends data to a record processing program (e.g., record processing program 130 ) but does not store the generated data or a copy of the generated data on computing device 102 .
  • Program 200 may generate a database, such as record seen database 140 , which is not a complete record of generated data in step 206 or a copy of the record of generating data in step 206 but rather a single bit that has been created for each record that has been generated.
  • the generated bits correspond to the generated records where an ON bit indicates that a specific record should appear during validation and an OFF bit indicates that a specific record should not appear during validation.
  • Program 200 determines whether to generate another piece of data (decision 208 ).
  • program 200 may have multiple pieces of data to generate (e.g., a queue of data to generate).
  • Program 200 may generate the data one record at a time and send the generated record directly to the record processing program (e.g., record processing program 130 ).
  • program 200 determines if more pieces of data to generate exist.
  • program 200 determines that more pieces of data to generate exist (yes branch, decision 208 ), then program 200 returns to step 202 .
  • program 200 determines that only five of ten pieces of data have been generated and returns to step 202 to identify the characteristics of data to generate.
  • program 200 waits to receive the sent data from the record processing program (step 210 ).
  • program 200 may receive all the previously sent data from step 206 at once.
  • record processing program 130 is a filtering program and requires all the data to be sent from program 200 before record processing program 130 can begin processing.
  • record processing program 130 may then send all of the filtered data back to program 200 at once.
  • program 200 may receive data from a record processing program (e.g., record processing program 130 ) one piece of data at a time or staggered in intervals.
  • record processing program 130 may be a sorting program and may receive all data necessary for a particular portion of the data to be sorted and then send that portion of the data back to program 200 for verification.
  • Program 200 determines if the data is correct and stores related bits based upon the determination (step 212 ). In some embodiments, when a piece of data is received from a record processing program (e.g., record processing program 130 ) by program 200 , program 200 checks that the record is in order by verifying that the key is greater than the previous record key if sorting applies. In an example, if the key is not greater than the previous key, program 200 may flag the record to signify an error, create and error message, etc. In some embodiments, program 200 may also verify the checksum value to determine that the record's contents have not been changed.
  • a record processing program e.g., record processing program 130
  • program 200 checks that the record is in order by verifying that the key is greater than the previous record key if sorting applies. In an example, if the key is not greater than the previous key, program 200 may flag the record to signify an error, create and error message, etc. In some embodiments, program 200 may also verify the checksum value to determine that the record's
  • program 200 determines that a checksum does not match; and therefore, the record contents have changed, and program 200 may flag the record signifying an error, create and error message, etc.
  • program 200 turns on a bit in the previously created record seen block (e.g., record seen database 140 ) for each record received based upon the records sequence number.
  • program 200 receives a record with the sequence number 100
  • program 200 turns on the bit in record seen database 140 that corresponds to sequence number 100 .
  • program 200 determines that an error exists because the bit has already been turned on.
  • program 200 can determine if the results are correctly returned by a record processing program by identifying if the record has been previously seen or not seen.
  • Program 200 may utilize a list of bits that should be turned on based upon the record processing program, and if a bit in the list of bit is turned off, then program 200 can determine that an error has occurred at that record. Likewise, if program 200 tries to turn on a bit that has already been turned on, then program 200 can determine that an error has occurred because program 200 has already received that record.
  • program 200 waits until all the data is received. In these embodiments, program 200 determines if the received data includes any errors.
  • record processing program 130 is a sorting program, and program 200 can compare the bits generated with the data in step 206 in the record seen database with the corresponding bits in the record seen database after the data has been received. For example, program 200 can scan for a contiguous set of on bits based on the number of input records.
  • program 200 may verify that specific bits have not been turned on indicating that a piece of data was not received from the record processing program.
  • program 200 sends multiple records for filtering by record processing program 130 . If record processing program 130 is functioning properly, then a specific record should be filtered out of the data and not sent back to program 200 .
  • Program 200 can review the bit for the record that should have been filtered out and determine whether the record was received by verifying the corresponding bit, which may be turned off (i.e., the record was not received), turned on (i.e., the record was received), or an error exists (the record was received more than once).
  • FIG. 3 depicts a block diagram of components of computer 300 , which is representative of computing device 102 , in accordance with an illustrative embodiment of the present invention. It should be appreciated that FIG. 3 provides only an illustration of one implementation and does not imply any limitations with regard to the environments in which different embodiments may be implemented. Many modifications to the depicted environment may be made.
  • Computer 300 includes communications fabric 302 , which provides communications between computer processor(s) 304 , memory 306 , persistent storage 308 , communications unit 310 , and input/output (I/O) interface(s) 312 .
  • Communications fabric 302 can be implemented with any architecture designed for passing data and/or control information between processors (such as microprocessors, communications, and network processors, etc.), system memory, peripheral devices, and any other hardware components within a system.
  • processors such as microprocessors, communications, and network processors, etc.
  • Communications fabric 302 can be implemented with one or more buses.
  • Memory 306 and persistent storage 308 are computer readable storage media.
  • memory 306 includes random access memory (RAM) 314 and cache 316 .
  • RAM random access memory
  • cache 316 In general, memory 306 can include any suitable volatile or non-volatile computer readable storage media.
  • Software and data 322 are stored in persistent storage 308 for access and/or execution by processor(s) 304 via one or more memories of memory 306 . With respect to computing device 102 , software and data 322 represents verification program 120 and record seen database 140 .
  • persistent storage 308 includes a magnetic hard disk drive.
  • persistent storage 308 can include a solid-state hard drive, a semiconductor storage device, a read-only memory (ROM), an erasable programmable read-only memory (EPROM), a flash memory, or any other computer readable storage media that is capable of storing program instructions or digital information.
  • the media used by persistent storage 308 may also be removable.
  • a removable hard drive may be used for persistent storage 308 .
  • Other examples include optical and magnetic disks, thumb drives, and smart cards that are inserted into a drive for transfer onto another computer readable storage medium that is also part of persistent storage 308 .
  • Communications unit 310 in these examples, provides for communications with other data processing systems or devices.
  • communications unit 310 includes one or more network interface cards.
  • Communications unit 310 may provide communications through the use of either or both physical and wireless communications links.
  • Software and data 322 may be downloaded to persistent storage 308 through communications unit 310 .
  • I/O interface(s) 312 allows for input and output of data with other devices that may be connected to computer 300 .
  • I/O interface(s) 312 may provide a connection to external device(s) 318 , such as a keyboard, a keypad, a touch screen, and/or some other suitable input device.
  • External device(s) 318 can also include portable computer readable storage media, such as, for example, thumb drives, portable optical or magnetic disks, and memory cards.
  • Software and data 322 can be stored on such portable computer readable storage media and can be loaded onto persistent storage 308 via I/O interface(s) 312 .
  • I/O interface(s) 312 also connect to a display 320 .
  • Display 320 provides a mechanism to display data to a user and may be, for example, a computer monitor.
  • the present invention may be a system, a method, and/or a computer program product.
  • the computer program product may include a computer readable storage medium (or media) having computer readable program instructions thereon for causing a processor to carry out aspects of the present invention.
  • the computer readable storage medium can be a tangible device that can retain and store instructions for use by an instruction execution device.
  • the computer readable storage medium may be, for example, but is not limited to, an electronic storage device, a magnetic storage device, an optical storage device, an electromagnetic storage device, a semiconductor storage device, or any suitable combination of the foregoing.
  • a non-exhaustive list of more specific examples of the computer readable storage medium includes the following: a portable computer diskette, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or Flash memory), a static random access memory (SRAM), a portable compact disc read-only memory (CD-ROM), a digital versatile disk (DVD), a memory stick, a floppy disk, a mechanically encoded device such as punch-cards or raised structures in a groove having instructions recorded thereon, and any suitable combination of the foregoing.
  • RAM random access memory
  • ROM read-only memory
  • EPROM or Flash memory erasable programmable read-only memory
  • SRAM static random access memory
  • CD-ROM compact disc read-only memory
  • DVD digital versatile disk
  • memory stick a floppy disk
  • a mechanically encoded device such as punch-cards or raised structures in a groove having instructions recorded thereon
  • a computer readable storage medium is not to be construed as being transitory signals per se, such as radio waves or other freely propagating electromagnetic waves, electromagnetic waves propagating through a waveguide or other transmission media (e.g., light pulses passing through a fiber-optic cable), or electrical signals transmitted through a wire.
  • Computer readable program instructions described herein can be downloaded to respective computing/processing devices from a computer readable storage medium or to an external computer or external storage device via a network, for example, the Internet, a local area network, a wide area network and/or a wireless network.
  • the network may comprise copper transmission cables, optical transmission fibers, wireless transmission, routers, firewalls, switches, gateway computers and/or edge servers.
  • a network adapter card or network interface in each computing/processing device receives computer readable program instructions from the network and forwards the computer readable program instructions for storage in a computer readable storage medium within the respective computing/processing device.
  • Computer readable program instructions for carrying out operations of the present invention may be assembler instructions, instruction-set-architecture (ISA) instructions, machine instructions, machine dependent instructions, microcode, firmware instructions, state-setting data, or either source code or object code written in any combination of one or more programming languages, including an object oriented programming language such as Smalltalk, C++ or the like, and conventional procedural programming languages, such as the “C” programming language or similar programming languages.
  • the computer readable program instructions may execute entirely on the user's computer, partly on the user's computer, as a stand-alone software package, partly on the user's computer and partly on a remote computer or entirely on the remote computer or server.
  • the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or the connection may be made to an external computer (for example, through the Internet using an Internet Service Provider).
  • electronic circuitry including, for example, programmable logic circuitry, field-programmable gate arrays (FPGA), or programmable logic arrays (PLA) may execute the computer readable program instructions by utilizing state information of the computer readable program instructions to personalize the electronic circuitry, in order to perform aspects of the present invention.
  • These computer readable program instructions may be provided to a processor of a general purpose computer, special purpose computer, or other programmable data processing apparatus to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing apparatus, create means for implementing the functions/acts specified in the flowchart and/or block diagram block or blocks.
  • These computer readable program instructions may also be stored in a computer readable storage medium that can direct a computer, a programmable data processing apparatus, and/or other devices to function in a particular manner, such that the computer readable storage medium having instructions stored therein comprises an article of manufacture including instructions which implement aspects of the function/act specified in the flowchart and/or block diagram block or blocks.
  • the computer readable program instructions may also be loaded onto a computer, other programmable data processing apparatus, or other device to cause a series of operational steps to be performed on the computer, other programmable apparatus or other device to produce a computer implemented process, such that the instructions which execute on the computer, other programmable apparatus, or other device implement the functions/acts specified in the flowchart and/or block diagram block or blocks.
  • each block in the flowchart or block diagrams may represent a module, segment, or portion of instructions, which comprises one or more executable instructions for implementing the specified logical function(s).
  • the functions noted in the block may occur out of the order noted in the figures.
  • two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved.

Landscapes

  • Engineering & Computer Science (AREA)
  • Databases & Information Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Security & Cryptography (AREA)
  • Mathematical Physics (AREA)
  • Debugging And Monitoring (AREA)

Abstract

The method includes generating, by one or more computer processors, a first piece of data based on a defined set of data characteristics. The method further includes generating a first bit, wherein the first bit corresponds to the first generated piece of data. The method further includes sending the first generated piece of data to a target location. The method further includes receiving the first generated piece of data from the target location. The method further includes determining whether to validate the first generated piece of data received from the target location. The method further includes adjusting the first generated bit based on the determination of whether to validate the first generated piece of data.

Description

BACKGROUND
The present invention relates generally to manipulation of data, and more particularly to verifying manipulated data.
Data verification is a process where different types of data are checked for accuracy and inconsistencies after data migration is done. Determining whether data was accurately translated when data is transferred from one source to another, is complete, and supports processes in the new system is beneficial as data may change during a manipulation. In some examples, during verification a parallel run of both systems is performed to identify areas of disparity and forestall erroneous data loss. A type of data verification is double entry and proofreading data. Proofreading data involves someone checking the data entered against the original document.
SUMMARY
Embodiments of the present invention disclose a method, computer program product, and system for verifying data. In one embodiment, in accordance with the present invention, the computer-implemented method includes generating, by one or more computer processors, a first piece of data based on a defined set of data characteristics. The method further includes generating, by one or more computer processors, a first bit, wherein the first bit corresponds to the first generated piece of data. The method further includes sending, by one or more computer processors, the first generated piece of data to a target location. The method further includes receiving, by one or more computer processors, the first generated piece of data from the target location. The method further includes determining, by one or more computer processors, whether to validate the first generated piece of data received from the target location. The method further includes adjusting, by one or more computer processors, the first generated bit based on the determination of whether to validate the first generated piece of data.
BRIEF DESCRIPTION OF THE DRAWINGS
FIG. 1 is a functional block diagram illustrating a distributed data processing environment, in accordance with an embodiment of the present invention;
FIG. 2 is a flowchart depicting operational steps of a program for verifying output data from a record based system within the distributed data processing environment of FIG. 1, in accordance with an embodiment of the present invention; and
FIG. 3 depicts a block diagram of components of a client device, a server, and a source server of FIG. 1, in accordance with an embodiment of the present invention.
DETAILED DESCRIPTION
Embodiments of the present invention recognize that verification of data may utilize large amounts of memory. Embodiments of the present invention recognize that storing data before and after testing a record processing program to verify that the data has been properly processed utilizes valuable resources, such as memory and energy, which can limit the ability to perform verbose testing.
Implementation of embodiments of the invention may take a variety of forms, and exemplary implementation details are discussed subsequently with reference to the Figures.
FIG. 1 is a functional block diagram illustrating a distributed data processing environment, generally designated 100, in accordance with one embodiment of the present invention. FIG. 1 provides only an illustration of one implementation and does not imply any limitations with regard to the environments in which different embodiments may be implemented. Many modifications to the depicted environment may be made by those skilled in the art without departing from the scope of the invention as recited by the claims.
Distributed data processing environment 100 includes computing device 102 connected to network 112. Network 112 represents, for example, a telecommunications network, a local area network (LAN), a wide area network (WAN), such as the Internet, or a combination of the three, and includes wired, wireless, and/or fiber optic connections. Network 112 includes one or more wired and/or wireless networks that are capable of receiving and transmitting data, voice, and/or video signals, including multimedia signals that include voice, data, and video information.
In the depicted environment, computing device 102 is one or more of a management server, a web server, or any other electronic device or computing system capable of receiving, analyzing, and sending data. In other embodiments, computing device 102 represents a server computing system utilizing multiple computers as a server system, such as in a cloud computing environment. In another embodiment, computing device 102 represents a laptop computer, a tablet computer, a netbook computer, a personal computer (PC), a desktop computer, a personal digital assistant (PDA), a smart phone, or any programmable electronic device capable of communicating with network 112. In another embodiment, computing device 102 represents a computing system utilizing clustered computers and components to act as a single pool of seamless resources. Computing device 102 may include components, as depicted and described in further detail with respect to FIG. 3, in accordance with embodiments of the present invention. Computing device 102 includes verification program 120, record processing program 130, and record seen database 140.
In depicted distributed data processing environment 100, verification program 120 resides on computing device 102. Verification program 120 generates data, sends data to a record processing program, receives data manipulated by the record processing program, and verifies the manipulated data from the record processing program. In various embodiments, verification program 120 generates data based upon preset rules or guidelines that are used to test a record processing program (e.g., record processing program 130) for errors. The generated data is sent to a record processing program (e.g., record processing program 130) that manipulates the data in some way. Verification program 120 then receives the manipulated data from the record processing program, and verification program 120 verifies that the data has been correctly manipulated. In some embodiments, verification program 120 may reside on the same computing device as a record processing program (e.g., record processing program 130). In other embodiments, verification program 120 may reside on a separate computing device than the record processing program, and verification program 120 sends and receives data via a network (e.g., network 112)
In various embodiments, verification program 120 may include multiple subprograms, such as a subprogram for generating data based on preset rules to test a record processing program. In another example of a subprogram, verification program 120 may include a subprogram for verification of records received from a record processing program. In yet another example, verification program 120 may include a subprogram for generating virtual storage for storing bits corresponding to data generated and verified (e.g., record seen database 140). Verification program 120 is depicted and described in further detail with respect to FIG. 2.
In depicted distributed data processing environment 100, record processing program 130 resides on computing device 102. In some embodiments, record processing program 130 is a program for sorting or filtering data in a predefined manner. In an example, a user creates a sort or filter program (e.g., record processing program 130). In various embodiments, record processing program 130 receives data from verification program 120, modifies the data based on preset rules (e.g., sort or filter the data), and sends the modified data back to verification program 120. In various examples, record processing program 130 may be a newly created record processing program which has not been fully tested. In an example, a creator of record processing program 130 may want to determine if record processing program 130 is functioning properly; and therefore, utilizes verification program 120 to determine if record processing program 130 is functioning properly. In the example, a user has a block of data to be modified by record processing program 130 in a specific manner, such as filter the data, and verification program 120 verifies that record processing program modified the data correctly.
In the depicted embodiment, record seen database 140 resides on computing device 102. In another embodiment, record seen database 140 may reside elsewhere in distributed data processing environment 100, such as within another computing device (not depicted) or independently as a standalone database that is capable of communicating with computing device 102 via network 112. A database is an organized collection of data. Record seen database 140 is implemented with any type of storage device capable of storing data that is accessed and utilized by computing device 102, such as a database server, a hard disk drive, or a flash memory. In other embodiments, record seen database 140 represents multiple storage devices within computing device 102.
In some embodiments, record seen database 140 may be virtual memory. In an example, virtual memory is a memory management technique that is implemented using both hardware and software. The virtual memory maps memory addresses used by a program, called virtual addresses, into physical addresses in computer memory. In some embodiments, software within an operating system may extend capabilities to provide a virtual address space that can exceed the capacity of real memory and thus reference more memory than is physically present in a computer.
In some embodiments, record seen database 140 may contain bits that represent data (e.g., individual records created by verification program 120 and manipulated by record processing program 130) which are turned on based upon verification of received properly manipulated data from record processing program 130. In various embodiments, a single megabyte of virtual storage contains 8388608 bits and can represent as many records. In an example, if the records generated are 512 bytes each, then a single megabyte can represent 4 gigabytes of records. In various embodiments, record seen database 140 may be a contiguous virtual storage or a second level lookup can be performed to have discontinuous virtual memory areas.
In some embodiments, verification program 120 may create record seen database 140 based upon the amount of data to be generated and sent to record processing program 130. For example, if verification program 120 creates record seen database 140 based upon the number of records generated, wherein the number of records generated correlates to the number of bits in the record seen database.
FIG. 2 is a flowchart depicting operational steps of program 200, which is a function of verification program 120, in accordance with an embodiment of the present invention. Program 200 operates on computing device 102 and verifies output data from a record based system. In various embodiments, program 200 may initiate when a user of verification program 120 prompts verification program 120 to begin generating data. In another embodiment, a client device (not depicted) may log into an account of verification program 120, which initiates the operational steps of program 200. In an embodiment, verification program 120 may begin operational steps of program 200 at preset times or preset time intervals. In another embodiment, program 200 may begin in response to record processing program 130 requesting data.
Program 200 identifies characteristics of data to generate (step 202). In some embodiments, program 200 identifies preset characteristics based on user identified criteria. For example, a user of program 200 sets parameters of data to generate (e.g., numbers larger than 0 and less than 100). In some examples, a user may store preset rules in a database that program 200 can access prior to generating data. In various embodiments, program 200 identifies specific sequences, keys, record sizes, etc., of data to generate. In an example, program 200 identifies that program 200 is required to generate 150 records of various sizes in a specific order (e.g., by record size, number, etc.).
Program 200 generates a piece of data (step 204). In various embodiments, program 200 generates one or more pieces of data. In an example, program 200 generates a record containing a key, a sequence number, and extra data. In this example, the extra data is not significant but rather used to create different record or file sizes for each piece of generated data. Having sequence numbers and different file sizes, program 200 can test record processing program 130 to determine if record processing program 130 is functioning properly.
In some embodiments, program 200 may generate a piece of data and then advance to step 206. In other embodiments, program 200 may generate multiple pieces of data (e.g., a preset amount or size) before advancing to step 206. In yet other embodiments, program 200 may generate all the pieces of data indicated in the preset rules of step 202 before advancing to step 206.
In various embodiments, the generated pieces of data will include keys. In an example, key fields may be contiguous at the front of the generated record or scattered throughout the record, depending on the preset information from step 202. In some embodiments, the generated pieces of data may include unique sequence numbers that identify the order the record was generated. The sequence number allows program 200 to determine if the record processing program correctly processed the information because program 200 can determine if the sequence number is received. In some embodiments, the generated data may include a checksum of the key and record content that can determine if data has been lost or added after the generated data is received from record processing program 130. In another embodiment, the generated data may not have a checksum but rather another verification method known by a person skilled in the art.
Program 200 sends the generated piece of data to a record processing program (step 206). In some embodiments, program 200 sends each piece of generated data individually to a record processing program (e.g., record processing program 130). In an example, program 200 is sending data to record processing program 130 (a sorting program), and program 200 sends a singular piece of data as the piece of data is generated to record processing program. In one embodiment, program 200 does not store any data but rather sends the generated data to record processing program 130 as soon as the data has been generated. In other embodiments, program 200 may send the generated data to a record processing program in bulk. In an example, program 200 generates one thousand records and sends the generated records in bulk to record processing program 130 as a single transaction. In yet another embodiment, program 200 may wait until all the required data has been generated before sending the data to a record processing program (e.g., record processing program 130).
In various embodiments, program 200 sends data to a record processing program (e.g., record processing program 130) but does not store the generated data or a copy of the generated data on computing device 102. Program 200 may generate a database, such as record seen database 140, which is not a complete record of generated data in step 206 or a copy of the record of generating data in step 206 but rather a single bit that has been created for each record that has been generated. The generated bits correspond to the generated records where an ON bit indicates that a specific record should appear during validation and an OFF bit indicates that a specific record should not appear during validation.
Program 200 determines whether to generate another piece of data (decision 208). In some embodiments, program 200 may have multiple pieces of data to generate (e.g., a queue of data to generate). Program 200 may generate the data one record at a time and send the generated record directly to the record processing program (e.g., record processing program 130). When program 200 sends a piece of data to the record processing program, program 200 determines if more pieces of data to generate exist.
If program 200 determines that more pieces of data to generate exist (yes branch, decision 208), then program 200 returns to step 202. In an example, program 200 determines that only five of ten pieces of data have been generated and returns to step 202 to identify the characteristics of data to generate.
If program 200 determines that no more pieces of data to generate exist (no branch, decision 208), then program 200 waits to receive the sent data from the record processing program (step 210). In some embodiments, program 200 may receive all the previously sent data from step 206 at once. For example, record processing program 130 is a filtering program and requires all the data to be sent from program 200 before record processing program 130 can begin processing. In this example, record processing program 130 may then send all of the filtered data back to program 200 at once. In another embodiment, program 200 may receive data from a record processing program (e.g., record processing program 130) one piece of data at a time or staggered in intervals. In an example, record processing program 130 may be a sorting program and may receive all data necessary for a particular portion of the data to be sorted and then send that portion of the data back to program 200 for verification.
Program 200 determines if the data is correct and stores related bits based upon the determination (step 212). In some embodiments, when a piece of data is received from a record processing program (e.g., record processing program 130) by program 200, program 200 checks that the record is in order by verifying that the key is greater than the previous record key if sorting applies. In an example, if the key is not greater than the previous key, program 200 may flag the record to signify an error, create and error message, etc. In some embodiments, program 200 may also verify the checksum value to determine that the record's contents have not been changed. In an example, program 200 determines that a checksum does not match; and therefore, the record contents have changed, and program 200 may flag the record signifying an error, create and error message, etc. In various embodiments, program 200 turns on a bit in the previously created record seen block (e.g., record seen database 140) for each record received based upon the records sequence number. In an example, program 200 receives a record with the sequence number 100, and program 200 turns on the bit in record seen database 140 that corresponds to sequence number 100. In an example in which program 200 receives a second record with sequence number 100, program 200 determines that an error exists because the bit has already been turned on.
In various embodiments, program 200 can determine if the results are correctly returned by a record processing program by identifying if the record has been previously seen or not seen. Program 200 may utilize a list of bits that should be turned on based upon the record processing program, and if a bit in the list of bit is turned off, then program 200 can determine that an error has occurred at that record. Likewise, if program 200 tries to turn on a bit that has already been turned on, then program 200 can determine that an error has occurred because program 200 has already received that record.
In some embodiments, program 200 waits until all the data is received. In these embodiments, program 200 determines if the received data includes any errors. In an example, record processing program 130 is a sorting program, and program 200 can compare the bits generated with the data in step 206 in the record seen database with the corresponding bits in the record seen database after the data has been received. For example, program 200 can scan for a contiguous set of on bits based on the number of input records.
In some embodiments, program 200 may verify that specific bits have not been turned on indicating that a piece of data was not received from the record processing program. In an example, program 200 sends multiple records for filtering by record processing program 130. If record processing program 130 is functioning properly, then a specific record should be filtered out of the data and not sent back to program 200. Program 200 can review the bit for the record that should have been filtered out and determine whether the record was received by verifying the corresponding bit, which may be turned off (i.e., the record was not received), turned on (i.e., the record was received), or an error exists (the record was received more than once).
FIG. 3 depicts a block diagram of components of computer 300, which is representative of computing device 102, in accordance with an illustrative embodiment of the present invention. It should be appreciated that FIG. 3 provides only an illustration of one implementation and does not imply any limitations with regard to the environments in which different embodiments may be implemented. Many modifications to the depicted environment may be made.
Computer 300 includes communications fabric 302, which provides communications between computer processor(s) 304, memory 306, persistent storage 308, communications unit 310, and input/output (I/O) interface(s) 312. Communications fabric 302 can be implemented with any architecture designed for passing data and/or control information between processors (such as microprocessors, communications, and network processors, etc.), system memory, peripheral devices, and any other hardware components within a system. For example, communications fabric 302 can be implemented with one or more buses.
Memory 306 and persistent storage 308 are computer readable storage media. In this embodiment, memory 306 includes random access memory (RAM) 314 and cache 316. In general, memory 306 can include any suitable volatile or non-volatile computer readable storage media. Software and data 322 are stored in persistent storage 308 for access and/or execution by processor(s) 304 via one or more memories of memory 306. With respect to computing device 102, software and data 322 represents verification program 120 and record seen database 140.
In this embodiment, persistent storage 308 includes a magnetic hard disk drive. Alternatively, or in addition to a magnetic hard disk drive, persistent storage 308 can include a solid-state hard drive, a semiconductor storage device, a read-only memory (ROM), an erasable programmable read-only memory (EPROM), a flash memory, or any other computer readable storage media that is capable of storing program instructions or digital information.
The media used by persistent storage 308 may also be removable. For example, a removable hard drive may be used for persistent storage 308. Other examples include optical and magnetic disks, thumb drives, and smart cards that are inserted into a drive for transfer onto another computer readable storage medium that is also part of persistent storage 308.
Communications unit 310, in these examples, provides for communications with other data processing systems or devices. In these examples, communications unit 310 includes one or more network interface cards. Communications unit 310 may provide communications through the use of either or both physical and wireless communications links. Software and data 322 may be downloaded to persistent storage 308 through communications unit 310.
I/O interface(s) 312 allows for input and output of data with other devices that may be connected to computer 300. For example, I/O interface(s) 312 may provide a connection to external device(s) 318, such as a keyboard, a keypad, a touch screen, and/or some other suitable input device. External device(s) 318 can also include portable computer readable storage media, such as, for example, thumb drives, portable optical or magnetic disks, and memory cards. Software and data 322 can be stored on such portable computer readable storage media and can be loaded onto persistent storage 308 via I/O interface(s) 312. I/O interface(s) 312 also connect to a display 320.
Display 320 provides a mechanism to display data to a user and may be, for example, a computer monitor.
The programs described herein are identified based upon the application for which they are implemented in a specific embodiment of the invention. However, it should be appreciated that any particular program nomenclature herein is used merely for convenience, and thus the invention should not be limited to use solely in any specific application identified and/or implied by such nomenclature.
The present invention may be a system, a method, and/or a computer program product. The computer program product may include a computer readable storage medium (or media) having computer readable program instructions thereon for causing a processor to carry out aspects of the present invention.
The computer readable storage medium can be a tangible device that can retain and store instructions for use by an instruction execution device. The computer readable storage medium may be, for example, but is not limited to, an electronic storage device, a magnetic storage device, an optical storage device, an electromagnetic storage device, a semiconductor storage device, or any suitable combination of the foregoing. A non-exhaustive list of more specific examples of the computer readable storage medium includes the following: a portable computer diskette, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or Flash memory), a static random access memory (SRAM), a portable compact disc read-only memory (CD-ROM), a digital versatile disk (DVD), a memory stick, a floppy disk, a mechanically encoded device such as punch-cards or raised structures in a groove having instructions recorded thereon, and any suitable combination of the foregoing. A computer readable storage medium, as used herein, is not to be construed as being transitory signals per se, such as radio waves or other freely propagating electromagnetic waves, electromagnetic waves propagating through a waveguide or other transmission media (e.g., light pulses passing through a fiber-optic cable), or electrical signals transmitted through a wire.
Computer readable program instructions described herein can be downloaded to respective computing/processing devices from a computer readable storage medium or to an external computer or external storage device via a network, for example, the Internet, a local area network, a wide area network and/or a wireless network. The network may comprise copper transmission cables, optical transmission fibers, wireless transmission, routers, firewalls, switches, gateway computers and/or edge servers. A network adapter card or network interface in each computing/processing device receives computer readable program instructions from the network and forwards the computer readable program instructions for storage in a computer readable storage medium within the respective computing/processing device.
Computer readable program instructions for carrying out operations of the present invention may be assembler instructions, instruction-set-architecture (ISA) instructions, machine instructions, machine dependent instructions, microcode, firmware instructions, state-setting data, or either source code or object code written in any combination of one or more programming languages, including an object oriented programming language such as Smalltalk, C++ or the like, and conventional procedural programming languages, such as the “C” programming language or similar programming languages. The computer readable program instructions may execute entirely on the user's computer, partly on the user's computer, as a stand-alone software package, partly on the user's computer and partly on a remote computer or entirely on the remote computer or server. In the latter scenario, the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or the connection may be made to an external computer (for example, through the Internet using an Internet Service Provider). In some embodiments, electronic circuitry including, for example, programmable logic circuitry, field-programmable gate arrays (FPGA), or programmable logic arrays (PLA) may execute the computer readable program instructions by utilizing state information of the computer readable program instructions to personalize the electronic circuitry, in order to perform aspects of the present invention.
Aspects of the present invention are described herein with reference to flowchart illustrations and/or block diagrams of methods, apparatus (systems), and computer program products according to embodiments of the invention. It will be understood that each block of the flowchart illustrations and/or block diagrams, and combinations of blocks in the flowchart illustrations and/or block diagrams, can be implemented by computer readable program instructions.
These computer readable program instructions may be provided to a processor of a general purpose computer, special purpose computer, or other programmable data processing apparatus to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing apparatus, create means for implementing the functions/acts specified in the flowchart and/or block diagram block or blocks. These computer readable program instructions may also be stored in a computer readable storage medium that can direct a computer, a programmable data processing apparatus, and/or other devices to function in a particular manner, such that the computer readable storage medium having instructions stored therein comprises an article of manufacture including instructions which implement aspects of the function/act specified in the flowchart and/or block diagram block or blocks.
The computer readable program instructions may also be loaded onto a computer, other programmable data processing apparatus, or other device to cause a series of operational steps to be performed on the computer, other programmable apparatus or other device to produce a computer implemented process, such that the instructions which execute on the computer, other programmable apparatus, or other device implement the functions/acts specified in the flowchart and/or block diagram block or blocks.
The flowchart and block diagrams in the Figures illustrate the architecture, functionality, and operation of possible implementations of systems, methods, and computer program products according to various embodiments of the present invention. In this regard, each block in the flowchart or block diagrams may represent a module, segment, or portion of instructions, which comprises one or more executable instructions for implementing the specified logical function(s). In some alternative implementations, the functions noted in the block may occur out of the order noted in the figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved. It will also be noted that each block of the block diagrams and/or flowchart illustration, and combinations of blocks in the block diagrams and/or flowchart illustration, can be implemented by special purpose hardware-based systems that perform the specified functions or acts or carry out combinations of special purpose hardware and computer instructions.
The descriptions of the various embodiments of the present invention have been presented for purposes of illustration, but are not intended to be exhaustive or limited to the embodiments disclosed. Many modifications and variations will be apparent to those of ordinary skill in the art without departing from the scope and spirit of the invention. The terminology used herein was chosen to best explain the principles of the embodiment, the practical application or technical improvement over technologies found in the marketplace, or to enable others of ordinary skill in the art to understand the embodiments disclosed herein.

Claims (1)

What is claimed is:
1. A method for verifying data, the method comprising:
generating, by one or more computer processors, a first piece of data based on a defined set of data characteristics, wherein the defined set of data characteristics are based on intended tests for functions of a target location, and wherein the defined set of data characteristics include a key, a sequence number and extra data;
generating, by one or more computer processors, a first bit, wherein the first bit corresponds to the first generated piece of data, and wherein generating the first bit comprises:
identifying, by one or more computer processors, verification parameters including at least one of: a sequence number for the first piece of data and a record checksum for the first piece of data;
generating, by one or more computer processors, the first bit; and
storing, by one or more computer processors, the generated first bit in a database based on a sequence of generated bits corresponding to the first generated piece of data and the identified verification parameters;
sending, by one or more computer processors, the first generated piece of data to the target location, wherein the target location comprises a filtering application, a sorting application, and a record manipulation application;
receiving, by one or more computer processors, the first generated piece of data from the target location;
creating, by one or more computer processors, a database to store the first bit that corresponds to the first generated piece of data;
determining, by one or more computer processors, whether to validate the first generated piece of data received from the target location, wherein the determination is based at least in part on whether the first generated piece of data was received when the first generated piece of data should not have been filtered out by the filtering application;
adjusting, by one or more computer processors, the first generated bit based on the determination of whether to validate the first generated piece of data;
generating, by one or more computer processors, a second piece of data based on a defined set of data characteristics;
generating, by one or more computer processors, a second bit, wherein the second bit corresponds to the second generated piece of data;
sending, by one or more computer processors, the second generated piece of data to the target location;
receiving, by one or more computer processors, the second generated piece of data from the target location;
determining, by one or more computer processors, whether to validate the second generated piece of data received from the target location, wherein determining whether to validate the second generated piece of data received from the target location comprises:
identifying, by one or more computer processors, the second generated piece of data was received before the first generated bit was received from the target location; and
determining, by one or more computer processors, that the second generated piece of data is not valid based on being received out of sequence;
adjusting, by one or more computer processors, the second generated bit based on the determination of whether to validate the second generated piece of data;
receiving, by one or more computer processors, the first generated piece of data from the target location;
determining, by one or more computer processors, whether to validate the first generated piece of data received from the target location, wherein the determination is based at least in part on whether the first generated piece of data was received a second time from the filtering application; and
adjusting, by one or more computer processors, the first generated bit to reflect an error based on receiving the first generated piece of data twice from the filtering application.
US14/978,004 2015-06-15 2015-12-22 Verification of record based systems Expired - Fee Related US9471621B1 (en)

Priority Applications (3)

Application Number Priority Date Filing Date Title
US14/978,004 US9471621B1 (en) 2015-06-15 2015-12-22 Verification of record based systems
US15/255,231 US9690819B2 (en) 2015-06-15 2016-09-02 Verification of record based systems
US15/490,987 US9886472B2 (en) 2015-06-15 2017-04-19 Verification of record based systems

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US14/739,321 US9720950B2 (en) 2015-06-15 2015-06-15 Verification of record based systems
US14/978,004 US9471621B1 (en) 2015-06-15 2015-12-22 Verification of record based systems

Related Parent Applications (1)

Application Number Title Priority Date Filing Date
US14/739,321 Continuation US9720950B2 (en) 2015-06-15 2015-06-15 Verification of record based systems

Related Child Applications (1)

Application Number Title Priority Date Filing Date
US15/255,231 Continuation US9690819B2 (en) 2015-06-15 2016-09-02 Verification of record based systems

Publications (1)

Publication Number Publication Date
US9471621B1 true US9471621B1 (en) 2016-10-18

Family

ID=57120760

Family Applications (4)

Application Number Title Priority Date Filing Date
US14/739,321 Expired - Fee Related US9720950B2 (en) 2015-06-15 2015-06-15 Verification of record based systems
US14/978,004 Expired - Fee Related US9471621B1 (en) 2015-06-15 2015-12-22 Verification of record based systems
US15/255,231 Expired - Fee Related US9690819B2 (en) 2015-06-15 2016-09-02 Verification of record based systems
US15/490,987 Expired - Fee Related US9886472B2 (en) 2015-06-15 2017-04-19 Verification of record based systems

Family Applications Before (1)

Application Number Title Priority Date Filing Date
US14/739,321 Expired - Fee Related US9720950B2 (en) 2015-06-15 2015-06-15 Verification of record based systems

Family Applications After (2)

Application Number Title Priority Date Filing Date
US15/255,231 Expired - Fee Related US9690819B2 (en) 2015-06-15 2016-09-02 Verification of record based systems
US15/490,987 Expired - Fee Related US9886472B2 (en) 2015-06-15 2017-04-19 Verification of record based systems

Country Status (1)

Country Link
US (4) US9720950B2 (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9690819B2 (en) 2015-06-15 2017-06-27 International Business Machines Corporation Verification of record based systems
US20240264986A1 (en) * 2023-01-18 2024-08-08 Google Llc Automated, In-Context Data Quality Annotations for Data Analytics Visualization

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050138046A1 (en) 2003-12-18 2005-06-23 Nokia Corporation Method for ensuring the integrity of a data record set
US20060156269A1 (en) * 2005-01-07 2006-07-13 Micron Technology, Inc. Selecting data to verify in hardware device model simulation test generation
US20080282105A1 (en) * 2007-05-10 2008-11-13 Deenadhayalan Veera W Data integrity validation in storage systems
US20090164526A1 (en) 2006-11-09 2009-06-25 Junichi Hayashi Content edit apparatus and content verification apparatus
US8060812B2 (en) 2007-07-27 2011-11-15 International Business Machines Corporation Methods, systems, and computer program products for class verification
US8122316B2 (en) 2006-10-27 2012-02-21 Fujitsu Ten Limited Error detector and error detection method

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6009475A (en) * 1996-12-23 1999-12-28 International Business Machines Corporation Filter rule validation and administration for firewalls
JP2003006993A (en) 2001-06-25 2003-01-10 Fujitsu Ltd Data reproducing device and data recording/reproducing device
US20050234823A1 (en) 2004-04-20 2005-10-20 Rainer Schimpf Systems and methods to prevent products from counterfeiting and surplus production also of tracking their way of distribution.
US8250534B2 (en) * 2007-08-09 2012-08-21 Infonovus Technologies, Llc Method and system for constructing a software application from a complete and consistent specification in a software development process
US7975103B2 (en) 2007-09-13 2011-07-05 International Business Machines Corporation Method for optimized data record verification
US9720950B2 (en) 2015-06-15 2017-08-01 International Business Machines Corporation Verification of record based systems

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050138046A1 (en) 2003-12-18 2005-06-23 Nokia Corporation Method for ensuring the integrity of a data record set
US20060156269A1 (en) * 2005-01-07 2006-07-13 Micron Technology, Inc. Selecting data to verify in hardware device model simulation test generation
US8122316B2 (en) 2006-10-27 2012-02-21 Fujitsu Ten Limited Error detector and error detection method
US20090164526A1 (en) 2006-11-09 2009-06-25 Junichi Hayashi Content edit apparatus and content verification apparatus
US20080282105A1 (en) * 2007-05-10 2008-11-13 Deenadhayalan Veera W Data integrity validation in storage systems
US8060812B2 (en) 2007-07-27 2011-11-15 International Business Machines Corporation Methods, systems, and computer program products for class verification

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
"Coordinated error reporting across multiple components using self-describing (XML) document", An IP.com Prior Art Database Technical Disclosure, IP.com No. 000233569, 3 pages, IP.com Electronic Publication: Dec. 15, 2013.
Appendix P, List of IBM Patents or Patent Applications Treated as Related, 2 pages, dated Apr. 25, 2016.
Chung, et al., "A Study of Data Manipulation Algorithms in Magnetic Bubble Memories", An IP.com Prior Art Database Technical Disclosure, Original Publication Date: Dec. 31, 1979, IP.com No. 000151437, IP.com Electronic Publication: Apr. 22, 2007, 148 pages, Database entry Copyright (c) Software Patent Institute.
Furman et al., "Verification of Record Based Systems", U.S. Appl. No. 14/739,321, filed Jun. 15, 2015, 27 pages.

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9690819B2 (en) 2015-06-15 2017-06-27 International Business Machines Corporation Verification of record based systems
US9720950B2 (en) 2015-06-15 2017-08-01 International Business Machines Corporation Verification of record based systems
US9886472B2 (en) 2015-06-15 2018-02-06 International Business Machines Corporation Verification of record based systems
US20240264986A1 (en) * 2023-01-18 2024-08-08 Google Llc Automated, In-Context Data Quality Annotations for Data Analytics Visualization

Also Published As

Publication number Publication date
US20170220630A1 (en) 2017-08-03
US9720950B2 (en) 2017-08-01
US20160364439A1 (en) 2016-12-15
US9886472B2 (en) 2018-02-06
US9690819B2 (en) 2017-06-27
US20160364431A1 (en) 2016-12-15

Similar Documents

Publication Publication Date Title
US9910941B2 (en) Test case generation
US10956313B2 (en) Application testing for security vulnerabilities
US9589087B2 (en) Verification environments utilizing hardware description languages
US10572373B2 (en) Automated test generation for multi-interface and multi-platform enterprise virtualization management environment
US11005877B2 (en) Persistent cross-site scripting vulnerability detection
US9703600B2 (en) Automated creation of executable workflow
US9886472B2 (en) Verification of record based systems
US10120598B2 (en) Validation of write data subsequent to destaging to auxiliary storage for completion of peer to peer remote copy
US9588688B2 (en) Selective memory dump using usertokens
US11526612B2 (en) Computer file metadata segmentation security system
US20170068919A1 (en) Risk assessment in online collaborative environments
US11321225B2 (en) Reducing the memory load time for logic simulator by leveraging architecture simulator
US11474816B2 (en) Code review using quantitative linguistics
US10776018B2 (en) Efficient discovery of silent read failures on underlying media of storage systems
US20190361990A1 (en) Testing of file system events triggered by file access

Legal Events

Date Code Title Description
AS Assignment

Owner name: INTERNATIONAL BUSINESS MACHINES CORPORATION, NEW Y

Free format text: ASSIGNMENT OF ASSIGNORS INTEREST;ASSIGNORS:FURMAN, DEBORAH A.;SOFIA, ANTHONY T.;REEL/FRAME:037348/0607

Effective date: 20150612

STCF Information on status: patent grant

Free format text: PATENTED CASE

FEPP Fee payment procedure

Free format text: MAINTENANCE FEE REMINDER MAILED (ORIGINAL EVENT CODE: REM.); ENTITY STATUS OF PATENT OWNER: LARGE ENTITY

LAPS Lapse for failure to pay maintenance fees

Free format text: PATENT EXPIRED FOR FAILURE TO PAY MAINTENANCE FEES (ORIGINAL EVENT CODE: EXP.); ENTITY STATUS OF PATENT OWNER: LARGE ENTITY

STCH Information on status: patent discontinuation

Free format text: PATENT EXPIRED DUE TO NONPAYMENT OF MAINTENANCE FEES UNDER 37 CFR 1.362

FP Expired due to failure to pay maintenance fee

Effective date: 20201018