457 results about "Validation testing" patented technology

A system and method are disclosed for measuring online advertising. A system for verifying the accuracy of measured ad impressions is utilized by comparing traditional web access logs. Specifically, comparisons of ad impression counts are made of the Client Side Counting (“CSC”) advertisement infrastructure with the traditional access log counting.

Apparatuses, methods, and systems pertaining to the verification of portable consumer devices are disclosed. In one implementation, a verification token is communicatively coupled to a computer by a USB connection so as to use the computer's networking facilities. The verification token reads identification information from a user's portable consumer device (e.g., credit card) and sends the information to a validation entry over a communications network using the computer's networking facilities. The validation entity applies one or more validation tests to the information that it receives from the verification token. If a selected number of tests are passed, the validation entity sends a device verification value to the verification token, and optionally to a payment processing network. The verification token may enter the device verification value into a CVV field of a web page appearing on the computer's display, or may display the value to the user using the computer's display.

A robust recognition-by-parts authentication system for comparing and authenticating a test image with at least one training image is disclosed. This invention applies the concepts of recognition-by-parts, boosting, and transduction.

A dynamic test generation method and apparatus enabling verification of the parallel instruction execution capabilities of VLIW processor systems is described. The test generator includes a user preference queue, a rules table, plurality of resource-related data structures, an instruction packer, and an instruction generator and simulator. The present invention generates a test by selecting instructions for parallel execution based upon resource availability as indicated by the resource-related data structures and the processor's instruction grouping rules, simulating the parallel execution of the instructions on a golden model, updating the resource-related data structures, and evaluating the updated architectural state of the golden model.

A pre-designed system-on-chip architecture and method includes several standard library devices, HDL source code, simulation environment and regression, synthesis scripts, software header files, software libraries, ASIC verification test suites, and makefiles. The standard library devices comprise an integrated CPU, a shared memory controller, a peripheral controller, system peripherals, a DMA controller, embedded memory, and general system control. CPU bridges are used to accommodate a variety of processor types and to insulate users from the complexities of interfacing to different kinds of processors. Such CPU bridges further allow the latest processors to be rapidly integrated into existing integration platforms and designs.

Coverage metrics are expressed with an intuitive graphical interface based upon data flow. Coverage analysis and presentation objects are integrated to produce coverage results which enable device functionality in a device under test to be modeled as objects, subject to event occurrence. Event objects are introspected at run-time, allowing the user to determine the event object's attributes with specification of coverage metrics subject to a selected combination of the event object's attributes. The event objects are serialized into permanent storage, allowing the user to specify and execute new coverage metrics at any time after simulation. Operations used to describe coverage metrics are modeled as analysis objects. Such analysis objects accept event objects as inputs, using a predetermined, well-defined interface. The combination of event objects and analysis objects allows coverage metrics to be specified in a simple data flow manner. With such a coverage metric, the user attaches or wires (metaphorically) the analysis objects together in a visual builder environment. Using the analysis objects, the user specifies desired coverage metrics, such as coverage of sequences of events and/or coverage of events that occur during the same time window of a simulation. The display functionality of the coverage tool is expandable because the presentation objects use the same event object interface as the analysis operator objects. Coverage metrics are subject to specification either before or after event occurrence. The user specifies coverage metrics using an intuitive graphical interface based upon data flow, without any specific programming language skills being necessary. Functional events in the device under test are treated as event objects. Each event object may be passed to selected analysis tools chosen by the user, such as analyzers, logic gates, and coincidence counters.

Apparatus, methods, processors and machine readable media for verifying the integrity of firmware on a wireless device. Aspects include generating a verification scheme for testing the integrity of firmware on a wireless device and transmitting the verification scheme to the wireless device. The wireless device applies the verification scheme to the firmware and obtains a verification test result, which is forwarded for analysis. An analyzer compares the generated verification test result with a predetermined test result to obtain an integrity determination that indicates the integrity of the firmware. In some aspects, control commands to change an operational characteristic of the wireless device may be generated based on the integrity determination.

A method and system for test automation is described. The method may include creating a test case on a client computer; generating expected testing results by manually executing the test case on a computer system; performing automated testing on the computer system using the test case to generate automated testing results; validating the test case by comparing the automated testing results with the expected testing results; marking the test case as automatable, if the automated testing results match the expected testing results; and storing the automatable test case for later execution.

An apparatus, method and computer program product are provided for performing a sequence of verification tests to perform hardware and software co-verification on a system under verification. The apparatus comprises a plurality of signal interface controllers operable to be coupled to the system under verification, with each signal interface controller being operable to perform one or more test actions transferring at least one of one or more stimulus signals and one or more response signals between a corresponding portion of the system under verification and the signal interface controller during performance of the sequence of verification tests. A debugger is also provided which is operable to control operation of a processing unit associated with the system under verification, the processing unit being operable to execute software routines. A debugger signal interface controller is arranged to interface with the debugger and to perform one or more test actions transferring at least one of one or more stimulus signals and one or more response signals between the debugger and the debugger signal interface controller during performance of the sequence of verification tests. A test manager coupled to the plurality of signal interface controllers and the debugger signal interface controller is operable to transfer test controlling messages to these interface controllers identifying the test actions to be performed. By this approach, the test manager is operable to control the operation of the processing unit via the debugger signal interface controller and the debugger in order to co-ordinate the execution of the software routines with a sequence of verification tests. This has been found to be a particularly efficient technique for performing hardware and software co-verification.

A multi-media geography game show allows real time participation of contestants, live show audience participants and remote TV viewers having Internet connections. Answers to questions related to geography provided within an allotted time period qualify participants for monetary or material rewards, together with learning credits. The learning credits may be converted to college credits by taking appropriate validation tests from accredited educational institutions that have made arrangements with the geography game show. The responses of contestants, live show audience participants and remote TV viewers, as well as the rewards and the leaning credits, are electronically processed and appropriate credits are issued using print outs or magnetic media.

Disclosed is a method and Declarative Web Application (DWA) for creating an abstraction layer between a web page and the complicated syntax required to access data to display on the web page. The abstraction layer is implemented with eXtensible Markup Language (XML) tags that permit a web page using simple, non-compiled custom XML tags embedded in Hyper Text Markup Language (HTML) formatting commands to call complex data storage and search engine queries using a simple, declaratory statement via a XML tag. Use of the simple, declaratory XML statement removes the need for any scripting or other complex code from the web page that may require compilation and/or extensive verification testing for changes to the web page code. The resulting web pages and query definitions are easier and less expensive to maintain and extend. Further, the data returned from the data storage system is formatted to be name and content addressable such that the HTML commands to display the data are implemented using a simple, declarative syntax of XML tags. Again, the use of simple, declarative XML tags allows the web page code to be restricted to simple HTML code, thus, avoiding the need to compile and/or perform extensive verification testing when a change is made to the HTML code. The system deskills the expertise necessary to create a data rich web page such that a graphic web designer is capable of creating a web page without the assistance of a Java or Structured Query Language (SQL) programmer. Also, the SQL programmer may create and then make queries available without the assistance of a programmer and without the need to use a programming language other than SQL.

Monitoring integrity of a running computer system is based on creating a Test Model which includes predicates descriptive of invariant properties of security relevant objects and their attributes in the monitored structure known-to-be “healthy”, acquiring memory image of a portion of the running monitored structure, decomposing the acquired memory image to retrieve representation of the security relevant objects of interest, by implementing the attributes of the Test Model, and verifying, by implementing the predicates, whether the invariant properties defined in the Test Model remain unchanged for the running host system. If a discrepancy is detected, a signal indicative of a detected discrepancy is transmitted to a management entity for analysis and formulating a course of action.

The present invention provides systems and methods for provisioning a vehicle interface module comprising receiving a VIM from a VIM manufacturer and entering appropriate VIM data into a dealer inventory, activating a SIM card for the VIM and installing the VIM in a predetermined vehicle, selecting a wireless activated VIM from the dealer inventory and connecting the VIM to an OBD-II port of the vehicle, connecting a configuration PC to the VIM and downloading a modem configuration, selecting and downloading a vehicle-specific configuration file, accessing a telematics services provider's web portal, entering appropriate vehicle data, and associating the vehicle with the VIM, installing the VIM in the predetermined vehicle, and conducting an installation verification test.

The invention discloses a short-term power load prediction method based on a multilayer improved GRU neural network. The method comprises the following steps: periodically establishing a sample data set; performing abnormal point identification and missing value processing on input data in the samples, performing standardized transformation on the processed data, and dividing the data set into a training set, a verification set and a to-be-predicted set; constructing the improved GRU neural network, and inputting the data of the training set in the network for training the same for multiple times to obtain a trained network, verifying the test learning result of the verification set by using the network for multiple times, and recording and storing the model weight of the optimal verification result; and inputting the to-be-predicted set in the trained optimal GRU model, calculating a standardized prediction result and performing reverse standardized transformation to obtain a final prediction result. By adoption of the short-term power load prediction method, the training speed and the training efficiency are improved.

An apparatus and method are provided for performing verification tests for a design of a data processing system. The apparatus comprises a system under verification representing at least part of the design of the data processing system, and a transactor for connecting to an interface of the system under verification, and for generating signals for input to the system under verification via the interface during performance of the verification tests. Profile storage stores a profile providing a statistical representation of desired traffic flow at the interface, the statistical representation providing statistical information for a plurality of traffic attributes and also identifying at least one dependency between such traffic attributes. The transactor then references the profile in order to determine the signals to be generated, such that the signals generated take account of the specified dependencies identified in the profile. Such a mechanism enables the transactor to more realistically replicate the traffic flow that will be observed in the real system. Another aspect to the present invention provides a mechanism for generating such profiles.

The present invention involves a new system and process for automatically controlling whether a displayed web page and associated frames displayed within a window of a web browser are secure or non-secure. For example, whether the displayed web page and associated frames are provided via a secure socket layer (SSL), i.e. a web page from an HTTPS address (secure), or simply via an HTTP address (non-secure), respectively. Specifically, the present invention uses a dynamic “Web Component” to remotely control web page security states. Further, the Web Component according to the present invention uses the same script and HTML for all implementations or instantiations of the Web Component, regardless of which, or how many, unique local clients make use of the Web Component. This code reuse is accomplished by using entry web pages, or “entry points,” as described in further detail below, to set the value of function properties or parameters of the Web Component for dynamically and controlling the security state of a web page having at least two frames. The script and/or HTML source code of the Web Component pages does not change based on each new implementation or instantiation. Consequently, little setup work is required for each implementation, and only a basic verification test pass is needed for each unique automatically customized Internet web page.

The invention provides an application program self updating and backup recovery method. The application program self updating and backup recovery method includes: dividing a flash memorizer of an embedded system into a Bootloader program area, a Boot parameter area, an application program parameter area, a main program area, a downloading program area and a backup program area; simultaneously supporting a local serial port to update an application program, download an update file into the downloading program area when the application program runs and restart so as to enter a boot program, wherein the boot program performs a verification test on the downloaded file, and copies the downloaded file to the main program area so as to achieve an application program self updating function. The application program self updating and backup recovery method solves the problem that several products which use the same series of platforms need to repeatedly achieve boot loading programs.

A crawler that is either based on an interactive mode of operation or includes an interactive mode along with one or more other modes, such as automatic or manual. Similar to an automatic mode crawler, the crawler traverses web sites, web content and links. However, if the crawler encounters a structure that requires human interaction, such as a form, a radio button selector, a drop down selector, a human verification test, etc., the crawler pauses and prompts a user to take action.

Disclosed is a method of authenticating that a test polymer is an authenticatable polymer, wherein the authenticatable polymer has an authentication signal and comprises a substrate polymer and an optically variable tag, the optically variable tag having a fluorescence emission whose wavelength or intensity change over time, the method comprising subjecting the test polymer to a stimulus sufficient to cause fluorescence of the optically variable tag, determining a test signal from the fluorescence of the test polymer, and authenticating that the test polymer is an authenticatable polymer if the test signal is the same as the authentication signal of the authenticatable polymer.

The invention discloses an electrical network informatization evaluation rapid test system which comprises an evaluation management platform and a rapid test tool. When a system demand, a test demand or test data is changed, the evaluation management platform starts the rapid test tool to carry out an automatic test on a tested system. The rapid test tool comprises a rapid positioning module used for rapidly positioning and finding a test case which is influenced by demand change and the change of the test data according to an association relation of the test demand and the test case, a rapid execution module used for carrying out automatic rapid execution on the test case which is rapidly positioned and found, verifying the correctness of the test case and generating a test report, and a rapid verification module used for rapidly analyzing an influence scope of a code on the test case. According to the embodiment of the invention, test work of electrical network informatization application software can be automatically executed, rapid positioning is developed to a tested system with a frequently changed version, and execution efficiency of a test project is high.

The present invention discloses a test strip with optical identification patterns and a test instrument using the same characterized in that the test strip incorporates an identification area. Different combinations of optical identification patterns on the identification area create different digital identification signals. After the test strip is inserted into the test instrument, the test instrument will obtain the digital identification signal and learn the test code, analysis parameters, expiry date and batch number of the test strip. Thereby, the test instrument can verify the batch number and expiry date of the test strip, perform calibration according to the analysis parameters, and provide a correct test result. The present invention can provide many sets of digital identification signals to differentiate test strips. Therefore, the present invention can be operated fast, conveniently and correctly and can prevent a user from forgetting to calibrate the test instrument.

The present invention discloses a test strip with identification openings and a test instrument using the same, which are characterized in that the test strip incorporates an identification area. Different combinations of the notched and unnotched positions, or the holed and unholed positions, on the identification area create different digital identification signals. After the test strip is inserted into the test instrument, the test instrument will obtain the digital identification signal and learn the test code, analysis parameters, expiry date and batch number of the test strip. Thereby, the test instrument can verify the batch number and expiry date of the test strip, perform calibration according to the analysis parameters, and provide a correct test result. The present invention can provide many sets of digital identification signals to differentiate test strips. Therefore, the present invention can be operated fast, conveniently and correctly and can prevent a user from forgetting to calibrate the test instrument.