33 results about "Requirements verification" patented technology

An identity authentication method authenticates valid purchases of restricted products or services such as alcoholic beverages from unattended vending machines. The authentication method is designed to comply with all 50 States' requirements, as the equipment includes a field-programmable age requirement verification mechanism. The process consists of two primary steps: 1) Registration, a one-time procedure where a Patron's age is verified, fingerprint enrolled and information entered into an electronic tag, as well as a central database (if applicable); and 2) Purchase, which occurs each time a product is purchased, where the Patron presents the electronic tag to a tag reader (located on the front of the vending machine), authenticates his/her Identification by placing the appropriate finger onto a fingerprint scanner (also located on the front of the vending machine), then proceeds to purchase the product via cash, credit card, or whatever other method is applicable to that particular location.

A system for installing application components in a target platform can include a component installation engine configured to install application components and respective dependencies over a component distribution system. A script processor can be coupled to the engine and programmed to parse target specific installation scripts to identify both a listing of dependencies for the application components and at least one specified relationship between the application components and individual ones of the respective dependencies. Finally, a requirements verification processor can be programmed to enforce both target platform requirements for installing the application components and the at least one specified relationship prior to installing the application components.

The invention relates to an RUCM based demand verification method. The demand verification method specifically comprises the following steps of: inputting a demand, and generating a semi-formal demand expression mode by adopting an RUCM method; defining the content needed to be to be verified; parsing natural language description characters of the demand, defining elements in an RUCM model in a meta model, and showing the demand in a mode of an RUCM meta model example; based on the content needed to be to be verified, carrying out automatic verification on the RUCM meta model example by virtue of an automatic verification engine; and estimating an automatic verification result, correspondingly modifying the demand if the estimation result does not meet the demand, and repeating the steps. According to the demand verification method, on the premise of ensuring the partial flexibility of natural language description demand, the automatic verification is realized, the manpower is reduced, and the cost is lowered; and meanwhile, the customizable and extensible automatic verification engine can meet partial verification demand, aiming at a specific item, of a user and also can be extended along with the RUCM method or more verification demands.

Complex, end-to-end network services are set up via the configuration method: each component has a finite number of configuration parameters each of which is set to definite values. End-to-end network service requirements can be on connectivity, security, performance and fault-tolerance. A number of subsidiary requirements are created that constrain, for example, the protocols to be used, and the logical structures and associated policies to be set up at different protocol layers. By performing different types of reasoning with these requirements, different configuration tasks are accomplished. These include configuration synthesis, configuration error diagnosis, configuration error fixing, reconfiguration as requirements or components are added and deleted, and requirement verification. A method of performing network configuration management by model finding formalizes and automates such reasoning using a logical system called Alloy. Given a first-order logic formula and a domain of interpretation, Alloy tries to find whether the formula is satisfiable in that domain, i.e., whether it has a model. Alloy is used to build a Requirement Solver that takes as input a set of network components and requirements upon their configurations and determines component configurations satisfying those requirements. This Requirement Solver is used in different ways to accomplish the above reasoning tasks.

The invention relates to a process model-based software demand verification method. The method comprises the following steps of S1, loading rules in a rule library according to types of rule objects; S2, generating a process model according to a demand; S3, finding out model elements in the process model; and S4, judging the model elements according to rule constraints. The method has the following technical effects: a definition model in a natural language-based verification activity is omitted, a demand document is preprocessed, and the activity of the model is analyzed, so that the verification activity becomes simpler; an automated verification method does not have excessive requirements on a formalization degree of an input demand, so that the modeling cost is reduced; and on the premise of ensuring partial flexibility of a natural language description demand, automated verification is realized, so that the manpower and cost are reduced.

The invention discloses a prototype-based human-computer interaction design implementation method and system, and relates to the field of software development. The method comprises the steps of drawing all visual elements in a core function interface, combining all the visual elements through a preset combination rule, and generating a prototype according to a combination result and a selected prototype model; analyzing an interface of the prototype, and identifying a page set contained in the prototype; and converting the pages in the page set into a Qss style sheet file and a UI resource file according to a preset control mapping rule. Demand verification and design verification can be conveniently carried out at any time; the cost of a development system is estimated more accurately, research and development control points are moved forwards, development risks are reduced, a model library is automatically generated by using a software conversion tool according to a prototype system,the model library in the corresponding field is continuously created, accumulated and perfected, and subsequent inheritance and use of new research models can be facilitated.

The embodiment of the invention provides an information system safety test quality evaluation method and system, and the method comprises the steps: obtaining the test width of an information system safety test according to a system function point coverage rate and a safety demand verification rate in the safety test; According to the core service function threat troubleshooting rate and the edgeservice function threat troubleshooting rate in the safety test, obtaining the test depth of the information system safety test; And according to the test width and the test depth, in combination withthe complexity of the information system, performing calculation to obtain safety test quality evaluation of the information system. The embodiment of the invention provides a method. evaluating thesafety test of the information system; The safety test is evaluated by selecting related data of the safety test and the complexity corresponding to the information system, the selected data is simpleand easy to obtain, formula calculation is simple and convenient, the safety test can be quoted by general enterprises, the completeness of the safety test is ensured, and the traditional safety testis visualized by recording the threat verification process of the safety test.

The invention discloses an OBD mass-produced vehicle evaluation and testing tool, which comprises a vehicle controller network, a CAN WiFi module, a tablet personal computer and an OBD PVE APP, wherein the vehicle controller is in signal connection with the tablet personal computer by means of the CAN WiFi module, and the OBD PVE APP is installed in the tablet personal computer. The invention further discloses an OBD mass-produced vehicle evaluation and testing method, which comprises the steps of performing hardware connection, running the OBD PVE App, initiating standardized verification, initiating monitoring requirement verification and initiating in-use monitoring performance verification. The OBD mass-produced vehicle evaluation and testing tool and the OBD mass-produced vehicle evaluation and testing method improve the automation degree of OBD PVE testing, reduce the skill requirement for operators , automatically record data and testing results to generate standard report files, and improve the PVE testing efficiency.

The invention relates to a semiformal requirement verification system and method of vehicle-mounted controller software on the basis of an SMT (Satisfiability Module Theory). The system comprises a semiformal software requirement normalization module M1, a constraint condition establishment module M2 and a requirement verification module M3, wherein the semiformal software requirement normalization module M1 is used for automatically converting semiformal vehicle-mounted controller software requirements and generating a conjunction normal form format which can be identified by an SMT solver tobe input; the constraint condition establishment module M2 is used for extracting, concluding and establishing a constraint condition which aims at software functions according to the requirement andthe system design of a superior system; and the requirement verification module M3 is used for solving the input software subjected to format conversion according to the constraint condition, and verifying the correctness of software requirements and the consistency with superior requirements and design. Compared with the prior art, the system has the advantages that the semiformal software requirement can be accurately and efficiently verified by a semiformal theoretical tool.

In order to scientifically undertake industrial transfer and optimize industrial structure, it is necessary to conduct a comprehensive review and statistical analysis of investment promotion projects. Due to the large number of investment promotion projects and pending review content and heavy workload, manual review is not conducive to improving the efficiency of project review and analysis. Therefore, the automation and intelligent development of investment promotion review and statistical analysis work will improve the approval efficiency of investment promotion projects and It is of great significance to project quality, standardize project landing procedures, and promote scientific and orderly development of investment promotion. The present invention proposes an audit and statistics system for investment promotion projects, which includes a statistical analysis unit, an element verification unit and a database. The statistical analysis unit uses a big data platform to generate a list of the names of the elements that need to be submitted for a specified project, and the element verification unit is used to verify the list. Integrity and authenticity of the files in the database, the database is used to store the project files submitted by users.

The invention discloses a real-time inconsistency detection and positioning method and system for CPS (Clock Constraint Standard) requirements, and the method comprises the steps: firstly, accurately describing the CPS requirements through a real-time model language RTNL capable of expressing time constraints, then detecting and processing composite conditional statements and conditional conflicts in the RTNL, then converting the composite conditional statements and conditional conflicts into constraints of a clock constraint specification language CCSL, and finally, carrying out the real-time inconsistency detection and positioning of the CPS requirements. And then converting into a real-time clock graph expressing time constraints between clocks, summarizing rules allowing nodes to occur in the graph, detecting real-time inconsistency in the real-time clock graph according to the rules, and positioning inconsistent parts in requirements expressed by a real-time mode language according to a detection result. The invention further provides a system for detecting and positioning the real-time inconsistency of the CPS requirements. According to the method provided by the invention, lightweight automatic detection and error positioning of the real-time inconsistency are realized, the detection time of the real-time inconsistency is shortened, the demand verification efficiency is improved, and a demand engineer and other users are helped to quickly verify and modify the demand.

The invention discloses an automatic verification method for communication software security. The method specifically comprises the following steps: step 1, vulnerability integration; step 2, demand verification; 3, carrying out replacement verification; 4, performing communication analysis; the invention relates to the technical field of communication security verification. According to the automatic verification method for the security of the communication software, by summarizing and concluding the principles and modes of security vulnerabilities and related information judgment modes required for judging vulnerability simulation, and then verifying and analyzing the security of the communication software in an information simulation conversion mode, the security of the communication software is ensured to be effectively verified, and the security of the communication software is improved. According to the method, the security of the real information of the user is guaranteed, and after the security of the communication software passes verification, the real information of the user replaces the virtual information, so that the effective storage of the information is achieved, the use of the communication software by the user and the detailed analysis of the authority authorized by the user are ensured, and the transparency and the openness of the information are further improved.

The invention particularly relates to a page element test case processing method and system, and the method comprises the steps: firstly calling a local test case analysis network to carry out the preliminary conversion of initial page operation data, and obtaining target page operation data; secondly, calling a global test case analysis network to carry out secondary conversion on the target pageoperation data to obtain test page operation data, and then carrying out service requirement verification for page elements on the target page operation data according to the initial page operation data and the test page operation data of the target page operation data. Thus, the different page operation data are processed based on the local test case analysis network and the global test case analysis network, lossless conversion between the different page operation data can be achieved to ensure the integrity of the different types of page operation data, and therefore service requirement verification for page elements can be achieved; therefore, accurate and reliable page element testing is realized, and matching of the visual page and actual service requirements of a user is ensured.

The invention discloses an identity authentication method, a client and a server. The method comprises the steps that a client obtains a verification drawing requirement instruction set sent by a server, wherein the drawing requirement verification instruction set comprises a multi-step drawing requirement for indicating a user to draw, a verification threshold value of each step and prompt information of each step; wherein the verification drawing requirement instruction set is a verification drawing requirement instruction set which is randomly generated by the server after receiving a verification request sent by the client and corresponds to the client, determining a verification result according to the verification drawing requirement instruction set, and sending the verification result to the server. According to the embodiment of the invention, the complexity and confidentiality of drawing verification of a user are enriched through a multiplexing multimedia technology, and cracking of an image recognition program can be better avoided.

The invention discloses an airborne software formal verification system. The system comprises a demand verification result generation module, a source code verification result generation module, a target code verification result generation module and a verification passing module. Therefore, by adopting the embodiment of the invention, the verification activity of the airborne software is divided into three stages of demand and design, source code and executable target code, and a formalized analysis and verification methodology is provided for verification by aiming at the verification activity of each stage and combining a verification target defined in DO-333; therefore, the security of the airborne software is improved.

The invention relates to a demand and calculation model association verification method and system, a storage medium and equipment, and aims to solve the technical problems of large workload, error proneness and untimely updating caused by data non-intercommunication between a demand model and various calculation models in a scheme design process of a current liquid rocket engine system. The method comprises the following steps: 1, constructing a demand model and a plurality of calculation models; 2, establishing association between the demand model and the calculation model; 3, updating design parameters of the demand model to the calculation model; 4, solving the calculation model; 5, comparing the calculation result of the calculation model with the performance parameters of the demand model, and if the requirement is met, ending; and if the requirements are not met, adjusting the calculation model or the demand model, and returning to the step 3 until the requirements are met. The system comprises a demand model module, a calculation model module, a variable association module, a parameter reference module and a demand verification module.

The invention relates to a field programmable gate array (FPGA) evaluating method which includes: performing requirement verification on FPGA codes according to an assignment book supplied by a developer; performing checking on codes of FPGA configuration items; performing code rule checking on the FPGA configuration items; performing simulation and verification on the FPGA configuration items; performing time sequence analyzing on an FPGA; and submitting the problems emerging in the processes to an FPGA developer to enable the developer to perform code improvement on the FPGA. Before the FPGA evaluating method is provided, only a designer and a verifier exist in development of the FPGA, and no independent evaluating third party exists. Along with increasingly wide application of the FPGA in the high-grade field and particularly application in the field of aerospace science and technology and precision guided munition, reliability and availability of the FPGA are improved to a very important position by users, and a method for comprehensively evaluating the function of the FPGA is in urgent need. The FPGA evaluating method provides a just and fair FPGA evaluating platform for users from a third party angle and is innovate in the field of FPGA development.

The invention relates to a static inspection system and method for semi-formal requirements of rail transit vehicle-mounted software, and the system comprises a grammatical analysis module which carries out the inspection and analysis of the requirements input into the grammatical analysis module, and generates an abstract syntax tree after the analysis is passed; an influence relationship analysis module taking the demand abstract syntax tree generated by the grammatical analysis module as input to analyze influence relationships among the demands; a type checking module used for analyzing type conversion among the demand variables and analyzing whether different types of demand variable assignment conditions exist or not if the types of the demand variables are defined in advance; and ifthe dimension of the demand variable is defined in advance, a dimension inspection module analyzing dimension conversion among the demand variables and analyzes whether variable assignment conditionsof different dimensions exist or not. Compared with the prior art, the method has the advantages that the demand verification efficiency can be improved, the time is saved, and the cost is reduced.