36 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 an interval occupancy logic check system modeling method based on formalized verification, which comprises the following steps: classifying signal equipment according to attributes and behavior characteristics of the signal equipment in an interval occupancy logic check system; according to the classification of the signal equipment, defining object attributes of the signal equipment, and establishing an object model of the interval occupation logic checking system; and establishing a security demand verification model based on the object model according to the rule demand of the interval occupancy logic check system. According to the method, formalized modeling is carried out on the interval occupancy logic checking system, the natural language requirement is abstracted into a mathematical model, formalized verification can be conveniently carried out on the interval occupancy logic checking system, and the test comprehensiveness of the interval occupancy logic checking system is guaranteed.

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 provides a helicopter model demand confirmation and verification method, and the method comprises the following steps: taking a helicopter model task scene as the input, and carrying out the modeling analysis of the helicopter model demand; carrying out system demand definition based on a helicopter model demand model; defining a demand confirmation plan for the defined demand, and carrying out demand confirmation; after demand confirmation is completed, a demand confirmation matrix is defined based on the demand confirmation plan, and confirmation evaluation is completed; defining a demand verification plan for system demands, and carrying out demand verification; after the demand verification is completed, a demand verification matrix is defined based on the demand verification plan, and verification evaluation is completed; according to the method and the device, the problem of inconsistent document-based full-chain demand data transmission and the problem of insufficient demand confirmation and verification of each level in the prior art are solved.

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.

The invention relates to a product multi-dimensional demand analysis method and system based on natural language processing, and the method specifically comprises the steps: carrying out user feedback text mining through a natural language processing model, and collecting demand data; feature clustering is carried out on the collected demand data, and importance ranking of demands is carried out; performing demand priority ranking and demand classification in the demand management tool; and designing application scene simulation to carry out a demand verification experiment, and carrying out resource allocation based on the adjusted demand. Therefore, according to the technical scheme, text mining and data analysis are carried out by applying the pre-trained BERT model, user demands can be collected and analyzed in multiple dimensions more comprehensively, and the demand decision-making efficiency can be improved by clustering, sorting and classifying the demands.

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.

The invention provides a method for improving the implementation capability of equipment development requirements, and relates to the technical field of equipment development, and the method comprises the steps: obtaining a target development requirement of target equipment, and obtaining a target requirement visual graph; obtaining dynamic development information; performing demand verification analysis on the first development information of the first stage to obtain a first verification result; generating a dynamic assessment visual graph, and comparing the dynamic assessment visual graph with the target demand visual graph to obtain a dynamic comparison deviation; if the dynamic comparison deviation does not meet the preset deviation constraint, sending a implementation instruction; and carrying out implementation reminding and intervention of the development requirements on the target equipment based on the implementation instruction. By means of the equipment development method and device, the technical problem that in the existing equipment development process, it is difficult to take measures rapidly when development deviates, and therefore the accurate implementation of the equipment development requirement is affected can be solved, and the effects that the equipment development quality and efficiency are effectively improved, it is guaranteed that equipment is delivered on time, and various development requirements are met are achieved.

The present invention discloses a technical method for urban rail information field, in particular, a contract requirement, tracing and closed loop of urban rail signal, comprising the following steps: S1.1: Based on existing subway signal project contracts of different lines, a standard requirement matrix is ​​formed to trace target one; S1.2: Standard requirement tracing is formed and then requirement verification and confirmation are performed; S1.3: After the integrity and correctness of the requirements are guaranteed, a unified use case number is used for coverage; S1.4: After the use case test, defects are found, problems are traced, and a demand closed loop process is formed. The present invention generates a standard requirement matrix based on existing delivered projects, has a unified reference standard, and reduces the labor cost of iterative updates in the requirement matrix. The unified use case number is matched between the project test outline traceability and the template, which saves the time of test outline tracing matching and can ensure the correctness and completeness of the existing function traceability. The improvement of the standard library reduces the pressure of project delivery and saves manpower.

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 method and network nodes for enhancements to slice requirement verification and alignment capability are disclosed. According to one aspect, a method in a network node operating as a network slice capability enablement, NSCE, server configured to communicate with a vertical application layer, VAL, server includes receiving from the VAL server a request message to request slice requirements verification and alignment subscription, the request message comprising a slice identifier identifying a network slice, slice requirements for the network slice and a mode for automatic alignment to instruct the NSCE server whether to automatically enforce generated optimal slice requirements for the network slice to align with the slice requirements included in the request message; and generate by the NSCE server optimal slice requirements for the network slice and determine whether to enforce them in accordance with the mode for automatic alignment.

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 invention provides a method for automatically extracting urban rail signal system interface requirements and a macro tool. The method comprises the following steps: creating an interface requirement verification report template in an Excel format; importing a macro tool into the interface requirement verification report template; and starting the macro tool to enable the macro tool to call an interface specification of a demand to be extracted, extract paragraph content corresponding to each demand from the interface specification and write the paragraph content into the interface demand verification report template, and the interface specification is in a Word format. According to the method, the demand content in the interface specification can be automatically extracted and filled in the interface demand verification report template, so that the working efficiency is improved.

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.

The invention provides a ship power system simulation modeling method and device and a readable storage medium, and the method comprises the steps: carrying out the demand analysis and architecture design through employing a SysML language in a demand analysis and scheme demonstration stage; in the stages of scheme demonstration, scheme design, technical design and construction design, a Modelica language is used for simulation modeling; in the scheme argumentation stage, a plurality of system physical models are generated based on architecture design and an equipment model library; in the scheme design stage, the overall architecture of the ship power system and the attributes of all subsystems can be determined; in the technical design stage, control logic and circulation branch design can be verified, and technical requirements are determined; and in a construction design stage, generating a ship power system model according to the third target model and the three-dimensional model of the ship. According to the method, consistency of design tools and models in all links can be achieved, simulation work of the whole process of the ship power system supported by the demand and architecture model is achieved, and automatic demand verification of the whole process is achieved.

The invention provides a test case automatic generation and demand verification method based on a SysML activity diagram. The test case automatic generation and demand verification method comprises the following steps: S1, demand formalization and simulation verification; s2, SysML activity diagram structure analysis is carried out; s3, carrying out SysML activity diagram modularization; s4, generating a test path; s5, generating test data; and S6, generating a test case. The invention further provides a readable storage medium. The invention has the beneficial effects that the test case automatic generation and demand verification method based on the SysML activity diagram and the readable storage medium are provided, the defects of current modeling software on MBT and demand verification support can be effectively filled up, and the test case automatic generation and demand verification method is high in automation degree, strong in universality and high in reliability. The method can support the generation and optimization of the test case of the complex activity graph, verifies whether the design of the model can correctly reflect the demands of the user, improves the safety and reliability of the system, and reduces the modeling and testing cost.

The invention relates to an RTE interface demand verification method and device, electronic equipment and a storage medium, and the method comprises the steps: verifying a second function demand list imported by a project based on a first function demand list of a demand side, and obtaining a first comparison result; comparing and verifying the second function demand list with the vehicle-mounted bus communication database file and the universal configuration file to obtain a second comparison result; verifying the RTE interface in the general configuration file according to a preset verification rule to obtain a third comparison result; comparing the target RTE interface with an integrated RTE interface in a code project to obtain a fourth comparison result; and generating a test report based on the comparison result. According to the method, automatic comparison verification is firstly carried out on requirements and input in an integration test stage, accurate alignment of source end input items is ensured, layer-by-layer verification can be carried out on the RTE interface according to the verification category, the problem of each layer is led out, and the comprehensiveness and efficiency of RTE interface verification are improved.

The present invention discloses a test method for improving the efficiency of simulation testing in automatic driving demand verification, and the steps include: configuring a host, a server and multiple slaves; configuring a list of test cases to be executed on the host according to a proposed test plan, and the host sends the list of test cases to the server; the host determines whether the slave is available according to the slave status log recorded on the server, and if so, sets it as available in the slave list; otherwise, sets it as unavailable in the slave list; counting available slaves to form a node list; the host determines whether the node is idle according to the slave status log recorded on the server, and if so, the host allocates a single test task to the slave corresponding to the idle node, and the slave receives the test task and executes the test task, and saves the simulation test result to the server. This method can speed up the test process of intelligent driving virtual testing, improve the efficiency of model simulation testing, shorten the test cycle and reduce the test cost.

The invention relates to the technical field of charging pile operation management, and discloses a server data docking management control system and method, and the system comprises a docking module and a verification module which are in communication connection. The method corresponds to the system. According to the invention, accurate management of multiple types of numerical values of the charging pile server and intelligent distribution of computing power are realized; the docking module calculates a self-difference value by capturing self-change of a multi-type numerical value set, realizes accurate prediction of unchanged numerical values, and then corrects a current numerical value set based on a predicted value to ensure that data meets actual business requirements; the verification module quantifies the prediction deviation through a verification difference value formula, and dynamically distributes calculation power on the basis, so that resource waste is avoided; when the verification difference value is in different intervals, the system executes a differentiation strategy; through processing, prediction and correction of multiple types of numerical values and hierarchical regulation and control of computing power, the accuracy and efficiency of data docking are improved, the computing power resource allocation of the charging pile server is optimized, and stable and efficient operation of the system is guaranteed.

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).