73 results about "Verification and validation" patented technology

A pluggable semantic verification and syntactic validation mechanism for server configuration information. In one embodiment, the data verification and validation mechanism may be implemented as modules that may be plugged into a framework. In one embodiment, the mechanism may include a generic test case framework that may call test cases to verify and validate changes to configuration information. In one embodiment, each test case may implement an interface through which the framework calls a test case. The test case may return results, e.g. whether the test passed or failed, and may return additional information, e.g. why the test failed. If the change is valid, then the change may be made to the configuration information. If the change is not valid, the change is not made or alternatively is made with a warning. If the change is made, one or more other servers may be notified of the change.

A new approach for software debugging, verification and validation is disclosed. The present invention utilizes a knowledge-based reasoning approach to build a functional model of the software code for identifying and isolating failures in the software code. The knowledge-based reasoning approach of the present invention uses the software design, which is preferably based upon a flow chart or block diagram representation of the software functionality, to build the functional model. The software block diagram contributes to the functional model by defining the inputs and outputs of the various blocks of code, as well as defining data interconnections between the various blocks of code. In accordance with a method of the present invention, test points are strategically inserted throughout the code, and each test point is associated with a corresponding block of code. Expected values of the test points for an expected proper-operation execution of the computer program are generated. The computer program is then executed on a computer, and the actual values of the test points from the program execution are compared with the expected values of the test points. Failed test points which do not agree with corresponding expected values are determined. The functional model, which includes information functionally relating the various test points to one another, is then used to isolate the failed test points to one or more sources of failure in the code.

An integrity verifier and validator is provided in which an initial anti-virus scan is performed against an entire file system to verify the integrity of the file system and create a corresponding file system level integrity verification database of known scanned regions of the file system. The database contains a copy of the file system's partition table referencing the range of occupied inodes and directory blocks. When new or updated content is written to the file system the integrity of the corresponding occupied inodes and directory blocks is no longer assured, and the integrity verifier flags them on the database for rescanning. Subsequent attempts to rescan any portion of the file system triggers the integrity validator to scan the database to validate whether that portion of the file system falls within any of the occupied inodes or directory blocks that have been flagged for rescanning. If they are not flagged, then rescanning of that portion of the file system is unnecessary as the integrity of at least that portion is assured. However, if they are flagged, then the anti-virus software rescans that portion of the file system for the presence of viruses.

Methods and system for managing demand for an object includes capturing information about the object through a mobile device associated with a user. The mobile device is configured to capture information about the object that include one or more of a spatial, temporal, topical and social attributes of the object. The identity of the object is verified and validated using this metadata captured by the user through the device from the real world object or its proxy. Upon successful verification and validation, the object and its metadata are automatically added to a wish list of the user. An aggregate list is generated using the attributes and metadata of the object from a plurality of users. The aggregate list defines a source of demand for the object. The object is tracked as it progresses through various phases of ownership cycle using dynamic demand calculations based on the information associated with the objects, the users and the aggregate lists.

A method of developing a model of a computer program represents the system requirement conditions and events as a set of positions and transitions, maps the system requirements in a table of positions with position and optionally transition designations, tags one or more significant positions in the including any conditional positions, and creates a reference designation associating alternative conditions with their respective conditional positions. A universal software test development method can be applied to the model by mapping the conditions to a set of positions including a starting position which has no input, a terminal position which has no output, and intermediate positions between the starting position and the terminal position, and generating from the set of positions a table of positions, associating each positions with an expression of the position representing the corresponding system requirements. Both the model development method and the test development method can be implemented automatically by computer software, and the test development method allows for automated development of test documentation. These methods can thus be applied for the verification and validation of computer software.

A system and methods are disclosed for providing integrated software development environment for the design, verification and validation of advanced automotive safety systems. The system allows automotive software to be developed on a host computer using a collection of computer programs running simultaneously as processes and synchronized by a central process. The software disclosed uses separate synchronized processes, permitting signals from disparate sources to be generated by a simulation running on the host computer or from actual sensors and data bus signals coming from and going to actual vehicle hardware which is connected to their bus counterparts in the host computer on a real-time basis. The methods disclosed are for providing an Algorithm Prototyping, Analysis and Test through an integrated framework for dynamic data modeling and application development.

Systems and methods for flow verification and validation of mass flow controllers are disclosed. A mass flow controller may be commanded to a specified flow and flow measurement commenced. Gas is accumulated in a first volume and while measurements are taken within this volume. Gas may then flow into a second volume while measurements are taken. The various measurements taken during the two intervals may then be used to calculate the flow rate. The flow rate, in turn, may be used to determine the accuracy of the mass flow controller relative to a setpoint. Additionally, these systems and methods may utilize only one volume to perform flow verification by flowing gas into this volume, taking measurements, and calculating the flow rate based only upon this set of measurements.

A computer implemented system and method verify and validate a user identity for enrollment in a secure personal dataset accessing system. A personal dataset includes identifiable attributes of the user. Using a computer, authenticity of an asserted user identity includes electronically verified identifiable attributes to form the personal dataset. A biometric identifier of the user is automatically captured for validating the identifiable attributes by confirming that the asserted identity matches the identifiable attributes. A traceable e-audit trail is provided in an enterprise infrastructure and bench mark performance indicator. A digital security element is generated and results in the user electronically receiving a password and a unique electronic address is assigned to the user. The digital security element is then transmitted to the user from the computer and enables electronic access to the personal dataset relating to the user, the personal dataset having been authenticated through the verification and validation.

A method for verifying and improving a vehicle fault model is disclosed. The method includes analyzing the available field failure data that includes vehicle symptoms and failures for many vehicles. The method performs an analysis using the field failure data that includes using subject matter expert knowledge to determine the most significant failure modes and the most significant symptoms. The method also includes learning simulation parameters from the field failure data and simulating faults using the learned simulation parameters. The method further includes verifying and validating the fault model based on the most significant failure modes and the most significant symptoms from the what-if analysis and the faults identifies by the simulation, and using a diagnostic reasoner to analyze the revised fault model to generate estimated faults. The method then compares the estimated faults to the simulated faults to determine true detection and false alarm rates for a benefit analysis.

A system and method for predicting lwarx (Load Word And Reserve Index form) and stwcx (Store Word Conditional) instruction outcome is presented. A lwarx instruction establishes a reservation on an address/granule, and a stwcx instruction targeted to the same address/granule “succeeds” only if the reservation for the granule still exists (conditional store). Since the reservation may be lost due to situations such as, for example, a processor (or another processor) executing a different lwarx or ldarx instruction (or other mechanism), which clears the first reservation and establishes a new reservation, the invention described herein builds test patterns in a manner that ensures, stwcx success and failure predictability. As a result, stwcx instructions are testable during test pattern execution.

A system and method for intentionally invaliding translation entry valid bits in order to provoke storage interrupts when executing a test case is presented. Prior to executing the test case, an interrupt handler pseudo-randomly invalidates a number of translation entries included in a translation lookaside buffer (TLB) by changing particular valid bits in order to provoke initial storage interrupts, such as an instruction storage interrupt (ISI) or a data storage interrupt (DSI). Once the processor executes the test case that, in turn, triggers a storage interrupt, the interrupt handler uses an index counter to validate particular valid bits and invalidate other valid bits, thus provoking subsequent storage interrupts. In one embodiment, the interrupt handler also changes valid bits in a page table when the processor executes in a mode that accesses the page table in addition to the TLB.

A process for the verification and validation testing of equipment and components for drilling, completion, production and general well construction (typically such as subsurface safety valves, wellhead trees, blowout preventers and wireline pressure control equipment) to determine the suitability of such equipment for use in oil and gas wells in high pressure high temperature environments. In particular, the process of the present invention comprises, among other steps, the steps of analyzing such components using an elastic-plastic finite element model with respect to certain preset load conditions and establishing stable model convergence, conducting a ratcheting assessment by running analysis on such model on all components that exhibit local plasticity, and examining all components to determine fatigue sensitive locations and subjecting such components to a fatigue analysis. The process may further comprise a process for qualifying the materials to be used in the manufacture of the equipment components with respect to their ability to withstand high pressure and high temperature environmental conditions.

A system and method for using a single test case to test each sector within multiple congruence classes is presented. A test case generator builds a test case for accessing each sector within a congruence class. Since a congruence class spans multiple congruence pages, the test case generator builds the test case over multiple congruence pages in order for the test case to test the entire congruence class. During design verification and validation, a test case executor modifies a congruence class identifier (e.g., patches a base register), which forces the test case to test a specific congruence class. By incrementing the congruence class identifier after each execution of the test case, the test case executor is able to test each congruence class in the cache using a single test case.

The invention relates to an open platform for supporting design, verification and validation of a telex flight control system, which is composed of five function modules, namely 1) a demand analysis, verification and refinement environment module of the telex flight control system; 2) a design, verification and validation environment module of the telex flight control system; 3) a hardware design environment module of the telex flight control system; 4) a project development environment module of flight control software; and 5) a system-level entire digitization, entire duty simulation test and confirmation environment module of the telex flight control system. The open platform can assist flight control system engineers to carry out demand analysis and validation of the telex flight control system, system overall design, verification of a design proposal, system hardware design, system software project development, system-level entire digitization, entire duty simulation test and confirmation to solve the problems of long development cycle, high cost, large risk, and the like brought by development environment. The open platform has wide use value and application prospect in the technical field of system projects.

A system and method for replicating a memory block throughout a main memory and modifying real addresses within an address translation buffer to reference the replicated memory blocks during test case set re-executions in order to fully test the main memory is presented. A test case generator generates a test case set (multiple test cases) along with an initial address translation buffer that includes real addresses that reference an initial memory block. A test case executor modifies the real addresses after each test case set re-execution in order for a processor to test each replicated memory block included in the main memory.

Design principles of services ensure reliability, scalability and reusability of software components. Services that follow the design principles are robust to changes and are largely reusable in multiple scenarios but in similar domains. To-date there is no systematic approach to apply these design principles to service design that will ensure service quality. Embodiments of the invention provide a formal check for the adherence of the services designed for an enterprise solution to the service orientation principles using design diagrams.

A hybrid air collision avoidance system (HACAS) is an air collision avoidance system with extended existing air avoidance capabilities and incorporated with new hybrid capabilities to perform hybrid air collision prediction and hybrid air collision avoidance. This system works in collaboration with two other systems, hybrid ground collision avoidance system, and obstacle avoidance dispatcher and resolver module to form a bi-directional feedback network for processing and exchanging of verification and validation collision avoiding data. With the embedded hybrid prediction and avoidance processing capabilities, the system not only can refine air collision avoidance solution to eliminate any induced ground collision situation, but also provide verification for ground collision avoidance resolution in the air domain; and subsequent validate the final avoidance solution.

The invention relates to a webmaster fault diagnosis method based on log data, and aims to solve the problems in speed and efficiency aspects of existing methods in engineering management. The method related by the invention comprises the steps of preliminarily designing a log file keyword format, carrying out data extraction subsequently in combination with keywords, simulating link data transmission of different network elements in combination with different IP addresses and flexibly controlling a transmission interval. If an exception is found, exceptional frames can be locked and recorded for result verification after problem solving; through simulating data frames, the manpower and equipment resource reliance is reduced, and the system fast troubleshooting as well as the fast verification and validation about whether a fault is eliminated is guaranteed; and thus, the engineering management efficiency and the service quality are improved.