22 results about "Requirements verification" patented technology

Embodiments of the present disclosure relate to applications, platforms, architecture, etc. for automating software requirement verification. In particular, one or more generative language model (GLM) prompts may be generated based at least on program information that describes a software program and based on requirement information that corresponds to a requirement of the software program. Based on such prompts, the GLM may be able to automatically identify segments of the software program information that relate to the requirement. Further, based on the identified segments and the GLM prompts, the GLM may be able to automatically create (e.g., based on one or more additional prompts) testing architecture that may be used to verify whether the software program satisfies the requirement.

The invention provides a product full life cycle-oriented demand verification management system and method, and the system comprises a verification planning module which obtains a demand item, and obtains a product verification stage, a verification method and a verification task according to the demand item; the verification execution module is used for constructing an incidence relation among the requirement item, the verification method and the verification task, obtaining a verification deliverable associated with the verification task according to the verification task, obtaining a verification result according to a checking and signing condition of the verification task, updating a verification state of the verification task and forming a complete tracing chain; and the verification monitoring module is used for generating a demand verification view and a traceability chain view corresponding to the complete traceability chain according to the demand item, the verification state, the verification method, the verification task, the verification result and the verification deliverable. Through the technical scheme provided by the invention, the coverage rate, the traceability and the execution efficiency of demand verification are greatly improved, and the project quality risk is effectively reduced.

The invention discloses a real-time mapping and evaluation method for the reliability of complex equipment, which is based on physical information neural networks (PINNs) and a model system engineering (MBSE) model, and is characterized in that the method comprises the following steps of: (1) carrying out real-time mapping and evaluation on the reliability of the complex equipment, and (2) carrying out real-time mapping and evaluation on the reliability of the complex equipment based on the MBSE model, and (3) carrying out real-time mapping and evaluation on the reliability of the complex equipment based on the MBSE model, and (4) carrying out real-time mapping and evaluation on the reliability of the complex equipment. The method comprises the following steps: firstly, constructing a system architecture model of equipment by utilizing MBSE, and defining reliability constraint parameters; a partial differential equation describing a component failure mechanism is extracted, a neural network agent model integrating physical information constraints is constructed, and a loss function of the neural network agent model is formed by weighting a data driving item and a physical residual item. Mapping real-time working condition parameters into PINNs input by establishing a data interface of a system architecture model and a PINNs agent model, and outputting a physical performance degradation state; and finally, calculating real-time reliability based on the probability statistical model, and dynamically feeding back the real-time reliability to the system architecture model to update a demand verification state and generate a control instruction. According to the method, the physical partial differential equation is introduced as the regularization constraint of the neural network, so that the problem of poor generalization ability of a pure data driving model under a small sample working condition is solved, and online evaluation and closed-loop control in an equipment operation stage are realized.

An integrated method for supporting complex system design and optimization selects first graphical-textual model frameworks in a problem domain; implements functional requirement verification in a validation domain and guides a physical architecture model; selects second graphical-textual model frameworks in a solution domain to establish a physical architecture model; generates an integrated simulation model oriented towards functional and non-functional requirements in the validation domain; selects third graphical-textual model frameworks in an optimization domain to establish a multidisciplinary optimization model, and establishes binding with preset subsystem parameters in the physical architecture model of the solution domain and output values of variables related to an objective function; automatically feeds an optimal optimization scheme obtained through iterative solving based on intelligent optimization algorithms to a system design model for automatic verification. The integrated method breaks down barriers between models of various stages, improves the development efficiency, and avoids the difficulty of seamless integration.

The invention relates to software program test generation for computing systems and applications. Embodiments of the present disclosure relate to applications, platforms, architectures, etc. for automated software demand verification. In particular, one or more Generative Language Model (GLM) cues may be generated based at least on program information describing a software program and based on demand information corresponding to demands of the software program. Based on these cues, the GLM may be capable of automatically identifying segments of software program information related to the demand. Furthermore, based on the identified segments and GLM cues, the GLM may be able to automatically create a test architecture (e.g., based on one or more additional cues) that may be used to verify whether the software program meets the demand.

This invention provides a method for automatic test case generation and requirement verification based on SysML activity diagrams, comprising the following steps: S1, requirement formalization and simulation verification; S2, SysML activity diagram structure analysis; S3, SysML activity diagram modularization; S4, test path generation; S5, test data generation; S6, test case generation. This invention also provides a readable storage medium. The beneficial effects of this invention are: it provides a method and readable storage medium for automatic test case generation and requirement verification based on SysML activity diagrams, effectively filling the gaps in current modeling software support for MBT and requirement verification, forming a highly automated, versatile method capable of supporting the generation and optimization of test cases for complex activity diagrams, verifying whether the model design correctly reflects user needs, improving system security and reliability, and reducing modeling and testing costs.

The invention belongs to the technical field of equipment digital modeling, and particularly relates to an equipment digital main line construction method based on a product decomposition structure. The method comprises the steps that an aircraft forward research and development global data architecture based on an aircraft product decomposition structure is constructed, the aircraft product decomposition structure is decomposed into a multi-layer structure according to aircraft products, and each layer comprises a demand transmission data chain, a product research and development data chain and a demand verification data chain; aiming at a demand transfer process, determining a demand transfer relationship of each level, and running through a demand transfer data link of each level from top to bottom; for a product research and development process, determining an interaction relationship among a task domain, a scheme domain, a product domain, a manufacturing domain and a guarantee domain of each level, and establishing a product research and development data chain penetrating through the whole process; and for the demand verification process, establishing a demand verification data link communicating the demand verification method, the demand verification task, the demand verification scene and the demand verification result. According to the method, global association analysis of aircraft research and development full-process model data can be realized.

This invention discloses a model-based design method for a modular avionics-based resident system for civil aircraft, comprising: S1, resident system requirement modeling and requirement verification based on a customized MBSE method; S2, resident application software functional logic modeling based on a Simulink model; and S3, resident system qualitative safety analysis based on functional scenarios and fault combinations. The input to step S1 comes from the resident system's technical protocol issued by the host. Through iterative modeling, the resident system's requirements are captured and sent to step S2. Step S2 provides feedback on system design issues identified during the modeling process. Step S1 simultaneously sends the resident system's requirements to step S3, while step S3 feeds back the identified safety requirements and constraints to step S1 to support system requirement iteration. This invention provides an efficient, replicable, and implementable design approach for modular avionics-based resident systems, improving system design efficiency and reducing verification costs.

Methods and network nodes for enhancement of slice requirement verification and alignment capabilities are disclosed. According to one aspect, a method in a network node operating as a network slice capability enabled (NSCE) server configured to communicate with a vertical application layer (VAL) server includes receiving a request message from the VAL server requesting a slice request verification and an aligned subscription, the request message includes a slice identifier identifying a network slice, a slice requirement of the network slice, and a pattern for automatic alignment to command the NSCE server whether to automatically implement the generated optimal slice requirement for the network slice to align with the slice requirement included in the request message; and generating, by the NSCE server, an optimal slice requirement for the network slice, and determining whether to implement the optimal slice requirement according to the pattern for auto-alignment.

The invention relates to the field of model-based demand simulation verification, in particular to a simulation-based combined navigation filter bank reconstruction demand verification method and device. The method comprises the following steps: step S10, creating an integrated navigation filter bank system architecture according to requirements; s20, constructing a demand simulation verification framework according to the combined navigation filter bank system architecture; step S30, creating a state machine model of the combined navigation filter bank reconstruction process under a demand simulation verification framework; and S40, building a visual user interaction simulation verification model according to the demand simulation verification framework and the state machine model.

A system comprises a set of databases in communication with a processor, and a requirements validation AI engine hosted by the processor. The databases comprise software requirements, regulatory guidelines, historical requirements defects, requirements review checklist, and prompts. The AI engine communicates with the databases, and a fine-tuned LLM communicates with the AI engine. A user interface communicates with the AI engine, and a configuration management repository communicates with the user interface. The user interface sends new requirements, from the configuration management repository, with corresponding check instructions to the AI engine, which selects prompts for review, based on types of new requirements and the check instructions. The AI engine sends the prompts and the new requirements to the LLM to review for any defects in the new requirements. The LLM sends a response to the user interface, to report on validity of and any defects in the new requirements.

The application discloses a large model-based SysML state machine diagram formal requirement verification method, and belongs to the technical field of computer software development.The method is as follows: collecting SysML state machine diagram data sets, tracing corresponding requirement texts, and then translating and verifying the SysML state machine diagram and the requirement texts; processing the SysML state machine diagram and the requirement texts; setting a prompt template for a large model, and batch training two large-scale data sets; obtaining translation results of the SysML state machine diagram and the requirement texts, and representing the translation results in a language recognizable by NuSMV; making corresponding modifications on the obtained code; and inputting the obtained target code into NuSMV for formal verification.The application improves the verification efficiency, makes the verification method more universal, reduces cumbersome work when the formal verification method is applied in different fields, and can adapt to various requirement verification scenes.

The application belongs to the technical field of equipment digital modeling, and particularly relates to an equipment digital main line construction method based on product decomposition structure. The method comprises the following steps: constructing an aircraft forward research and development global data architecture based on an aircraft product decomposition structure, decomposing the aircraft product into a multi-layer structure, each layer comprising a requirement transmission data chain, a product research and development data chain and a requirement verification data chain; determining the requirement transmission relationship of each layer for the requirement transmission process, and penetrating the requirement transmission data chain of each layer from top to bottom; determining the interaction relationship between the task domain, scheme domain, product domain, manufacturing domain and support domain of each layer for the product research and development process, and establishing a product research and development data chain penetrating the whole process; and establishing a requirement verification data chain connecting the requirement verification method, requirement verification task, requirement verification scene and requirement verification result for the requirement verification process. The application can realize global correlation analysis of the aircraft research and development whole-process model data.

A method or system for processing a specification document associated with a circuit design to identify design requirements. The method includes receiving a specification document associated with a circuit design, and processing the specification document to identify at least one of a text component, a table component, or a finite state machine (FSM). After that, the text component is parsed by a first parser to identify a first set of design requirements. The table component is parsed by a second parser to identify a second set of design requirements. The FSM component is parsed by a third parser to identify a third set of design requirements. The identified first, second, and / or third set of design requirements are then provided for display to a user for review.

The invention discloses an electric drive product demand management method and system, and relates to the field of motors, and the method comprises the steps: collecting and summarizing customer demands; performing multi-level decomposition on customer demands; according to the first-level demand and the second-level demand obtained through decomposition, a product technical scheme is obtained; performing simulation analysis according to the product technical scheme to obtain a simulation result; when the simulation result meets the design requirements and specifications of the electric drive product, freezing the technical scheme of the product once; making a sample according to a product technical scheme; performing a demand verification test on the sample according to test demands in the customer demands, the first-level demands and the second-level demands to obtain a test result; and reviewing the test result, and when the test result meets the customer demand, performing secondary freezing on the product technical scheme, determining the demand achievement condition, and generating a demand achievement report. According to the invention, on-line ordered demand management of the electric drive product is realized.

This application relates to a method, apparatus, electronic device, and storage medium for verifying RTE interface requirements, comprising: verifying a second functional requirement list imported into the project based on a first functional requirement list from the requester, obtaining a first comparison result; comparing and verifying the second functional requirement list with an onboard bus communication database file and a general configuration file, obtaining a second comparison result; verifying the RTE interface in the general configuration file according to preset verification rules, obtaining a third comparison result; comparing the target RTE interface with the integrated RTE interface in the code project, obtaining a fourth comparison result; and generating a test report based on the comparison results. This method, in the integration testing phase, first automates the comparison and verification of requirements and inputs, ensuring accurate alignment of source input items. It can perform layer-by-layer verification of RTE interfaces according to verification categories, raising issues at each level, and improving the comprehensiveness and efficiency of RTE interface verification.

This invention discloses a multi-level requirement tracing and verification method for ship information systems, comprising: S1, constructing a unified requirement information architecture based on the Spring Boot framework to realize complex associations and tracing between requirement items, and statistical results of requirement quantity and requirement coverage; S2, achieving automated requirement checking through custom keywords and requirement verification conditions; S3, automatically scanning requirement documents and extracting unqualified requirements according to predefined verification criteria, and enabling multiple people to participate in requirement verification activities simultaneously through an online requirement review function, conducting manual checks on submitted requirements and recording review issues. This invention also discloses a multi-level requirement tracing and verification device for ship information systems. This invention supports rapid multi-level requirement logic consistency verification and dynamic updates, enabling checks on requirements to be changed from different dimensions, providing reasonable comprehensive evaluation results, and can be widely applied in the field of computer software technology.

A computer-implemented method for testing a function of a technical system (130) in a test case, the method comprising receiving one or more text-based requirements, at least partially natural language, defining at least one test case, in a requirements input section (311), in a first step (S1); generating at least one regular expression for each text-based requirement (350), in a requirements verification section (312), in a second step (S2); generating a test case database (350) from the regular expressions of the respective requirements, in a data structuring section (340), in a third step (S3); and receiving one or more test case-specific parameter information items, in a parameter information section (313), in a fourth step (S4).the merging of at least one regular expression of the test case database (350) with at least one test case-specific parameter information to form one or more test case schemas, in a selection section (331), in a fifth step (S5); the generation of a test case-specific algorithm from the one or more test case schemas, in a test generation section (333), in a sixth step (S6); the transmission of the test case-specific algorithm to a test environment (150); the testing of the function of the technical system (130) by executing the test case-specific algorithm through a test case peripheral (140), within the test environment (150) and the return of the test results to the computer system (200) and the evaluation by comparing at least one test result with a test case-specific parameter, in a seventh step (S7).

The invention discloses a deep space exploration task forward collaborative design method, and belongs to the technical field of deep space exploration. According to the method, on the basis of a MagicGrid methodology and in combination with a SysML modeling language, a'concept-problem-scheme 'three-level incremental iterative modeling framework is constructed, and full-process digital collaboration from task analysis to subsystem design is achieved. Through four-pillar linkage of demands, behaviors, structures and parameters, automatic association of model elements and design traceability are ensured, and demand verification efficiency and design consistency are significantly improved. Meanwhile, FMEA reliability analysis is embedded into a design process, model issuing, subsystem design and integration processes are standardized in collaborative development, and internal and external division cooperation is supported. According to the method, a standardized and reusable forward design solution is provided for a complex spacecraft system, and the method has high engineering popularization value.

The invention belongs to the technical field of automatic logistics equipment control, and provides an AGV intelligent robot operation state monitoring analysis control system, which comprises a chain tension real-time monitoring and first ramp demand verification module for judging whether a first ramp demand is met by analyzing theoretical and actual tension deviation; the double-ramp demand cascade verification module further judges whether a second ramp demand is met or not; and if not, the tension adjustable range calculation and dual demand reinspection module determines the tension adjustable range and analyzes whether the dual-ramp demand can be met simultaneously after adjustment. If not, a tension adjustment mapping model construction module constructs a mapping model to determine a tension unit adjustment amount; and the transition road section adjustment feasibility verification module judges whether adjustment can be completed or not before the AGV arrives at the second ramp, and if not, the stable transition road section target speed range determination module determines a target operation speed range or issues a stop instruction, so that the operation stability of the AGV is guaranteed.

Embodiments of the present disclosure relate to applications, platforms, architecture, etc., for automating software requirements verification. In particular, one or more prompts for a generative language model (GLM) can be generated based on at least program information describing a software program and on requirement information corresponding to a requirement of the software program. Based on such prompts, the GLM can automatically identify segments of the software program information pertaining to the requirement. Based on the identified segments and the GLM prompts, the GLM can automatically create (e.g., based on one or more additional prompts) a test architecture that can be used to verify whether the software program meets the requirements.

This invention discloses a task orchestration method, system, and apparatus based on requirement descriptions, relating to the field of intelligent software. The method includes: S1 acquiring requirement description information; S2 preprocessing the requirement description information to obtain requirement text; S3 extracting task target features, constraint features, and action features from the requirement text and outputting feature vectors; S4 decomposing and analyzing tasks based on feature vectors to generate a set of executable subtasks; S5 analyzing the interdependencies between subtasks and constructing a dependency graph; S6 optimizing and adjusting the execution order of subtasks based on the dependency graph to generate a task plan; S7 executing the task plan and collecting execution data; S8 marking completed subtasks, checking if any subtasks are unmarked, returning to S7 if so, otherwise ending the process. This method achieves accurate and efficient automated task orchestration through requirement feature quantification, subtask decomposition, and order optimization, refining key aspects such as requirement verification, feature completion, dependency verification, and resource scheduling, thereby improving process integrity and reliability.