77 results about "Software verification" patented technology

The invention provides a multichannel gas ultrasonic flowmeter, which relates to the technical field of flow measurement and comprises a hardware layer and a software layer, the hardware layer comprises a pipeline, a connecting mechanism, a multichannel ultrasonic transducer, a pressure sensor, a temperature sensor, a wiring terminal box and a control box with an LCD display screen; the software layer comprises a data acquisition module, a preprocessing module, a multichannel speed measurement module, a data fusion module, a dynamic parameter compensation module, a flow calculation module, a man-machine interaction module, a communication module and a storage module. Pipeline section flow velocity information is collected through a multichannel ultrasonic transducer array, and a complex flow state is fitted in combination with a weighted fusion algorithm; the flow is dynamically compensated and corrected based on pressure and temperature; reliable operation of the system is guaranteed by means of hardware redundancy and a software verification diagnosis mechanism, the problems that a traditional flowmeter is low in measurement precision and poor in working condition adaptability are solved, and high-precision and stable gas flow measurement is achieved.

The invention discloses a nuclear power plant instrument control system control algorithm simulation device and a simulation method thereof, and relates to the technical field of nuclear power plant instrument control software. The device comprises a user interface used for responding to user interaction operation, constructing a model structure of a control algorithm and receiving user input data as input data of the model structure; the code generation engine is used for analyzing the xml file corresponding to the model structure and obtaining source code implementation of a main operator of the model structure based on an analysis result; and the model entity is used for packaging and compiling the source code of the main operator to obtain an executable program of the model structure, executing the executable program based on the input data of the model structure to obtain a simulation result of the model structure, and sending the simulation result to the user interface for display. According to the device, the software verification process can get rid of dependence on embedded hardware equipment, and the software development and debugging efficiency is improved.

The invention discloses a method and a device for checking updated software. A method and apparatus for verifying updated software may be associated with an infotainment platform of a vehicle. The software inspection method includes: receiving data for software inspection from an external server or an external device; generating a flow graph based on the received data; updating the flow graph based on the updated change specification of the software; reconfiguring the updated flow graph based on an estimated frequency of use of a display identifier ID added in an updated change specification of the software; and verifying the changed specification of the software by performing a test on the reconfigured flow graph, where the display ID is a unique identifier assigned to each displayable screen during the software execution process.

The invention relates to a simulation platform (10) for simulating a system having a control unit (2) and peripheral hardware (PH) with which hardware functions are implemented, comprising: - a simulation hardware with a microprocessor (11), a memory (12) and an acceleration hardware (13); - software modules in the memory (12) which are designed as software for implementing control unit functions in the microprocessor (11); - the acceleration hardware (13) configured to implement, simulate, or emulate hardware functions of the peripheral hardware; - a virtual microcontroller abstraction layer (vMCAL) (24) implemented as software to provide an interface function for register accesses and function calls for the hardware functions of the peripheral hardware (PH) to the acceleration hardware (13).

The invention provides a communication satellite verification system based on a general virtual test environment. The communication satellite verification system comprises a service subsystem and virtual test equipment, the service subsystem comprises a power supply and distribution subsystem ground device, a measurement and control and comprehensive electronic subsystem ground device, a thermistor equivalent device, a general control device with an MTP server and the like, and the general control device is responsible for telemetering data processing and remote control instruction scheduling; and the virtual test equipment is connected with the service subsystem, is used for simulating a satellite-borne software operation environment and a satellite-borne load to form a closed-loop test, comprises a plurality of simulation modules such as orbit and attitude dynamics, and respectively realizes orbit attitude parameter calculation, software code operation simulation and circuit box function simulation so as to test a satellite or a verification platform. The invention further provides a satellite-borne software verification method. Therefore, communication satellite verification can be carried out under the virtual condition, the test comprehensiveness can be ensured, and the test cost can be reduced.

A method and apparatus for verifying updated software may be associated with an infotainment platform of a vehicle. The software verification method includes receiving data for software verification from an external server or external device, generating a flow map based on the received data, updating the flow map based on updated change specifications of software, reconfiguring the updated flow map based on estimated usage frequency of a display identifier (ID) added in the updated change specifications of the software, and verifying the changed specifications of the software by performing tests on the reconfigured flow map, where the display ID is a unique identifier assigned to each screen displayable during a software execution process.

A software verification system and the like that can facilitate improvement of software using sensor data of a vehicle as an input are provided. The software verification system detects (performance determining unit 118) a degradation of a new version of control software using, first information that is an output of a current version of control software used for control of a vehicle using, as an input, sensor data from a sensor mounted on the vehicle, second information that is an output of the new version of control software not used for the control of the vehicle using, as an input, the sensor data, and third information relating to the control of the vehicle other than the first and second information; and verifies the new version of control software by using the sensor data when the degradation is detected.

This application relates to a method and apparatus for extracting RTL code from a Vivado project, belonging to the field of FPGA software verification technology. The method includes the following steps: S1, obtaining a preset Vivado project specified simulation path and an RTL code pre-storage path; reading the data lines containing RTL code from the *_compile.do file in the specified Vivado project simulation path and storing them in a preset storage file; modifying the DOS system recognition path of the preset storage file containing the RTL code data lines to a Windows system recognition path; and copying the RTL code to the RTL code pre-storage path based on the Windows system recognition path of the preset storage file. This application extracts RTL code from a Vivado project and performs corresponding configuration work, exhibiting high versatility and providing convenience for subsequent simulation work.

The present invention provides a method, apparatus, computer device, and readable storage medium for verifying an SOC system. The method for verifying the SOC system is applied to an SOC system provided with a software and hardware interaction module, and includes: controlling the software and hardware interaction module to forward first interaction information and / or second interaction information of a software verification environment and / or a hardware verification environment to the hardware verification environment and / or the software verification environment; controlling the software verification environment to generate a software driver file according to the second interaction information and a preset software excitation, and / or controlling the hardware verification environment to generate a hardware driver file according to the first interaction information and a preset hardware excitation; inputting the software driver file and / or the hardware driver file into a system to be verified, and obtaining a verification result output by the system to be verified. The present invention can implement co-simulation verification of software and hardware of an SOC system, effectively cover the application behaviors of software and hardware collaboration of the SOC system, and thus improve the verification efficiency and verification coverage rate.

The present application belongs to the field of software verification platform design, and is an offline verification platform for electromechanical management software under a general architecture, including a simulation excitation system and an operating system, wherein the simulation excitation system includes a software access module, an input device module and an output device module; the operating system includes an IO data service module and a functional partitioning module; when verifying the electromechanical management software, an interface configuration file is imported, the electromechanical management software is run, input data is formed, an excitation signal is sent to the IO data service module through an Ethernet communication port, and the excitation signal on the IO data service module is sequentially sent to each functional partition of each functional partitioning module, and after processing is completed, it is sent back to the simulation excitation system, the simulation excitation system receives the data to be echoed, and sends it to the output device to form an output signal, and the software is verified by observing the data result of the output signal; the software development cycle is shortened, the system development and integration efficiency is improved, and the development cost is reduced.

The deployment of large language model (LLM) and retrieval-augmented generation (RAG) systems in industrial automation environments present unique technical challenges that are not adequately addressed by conventional software validation approaches. A computing system can define a comprehensive architecture with cross-validation methodologies that can perform systematic detection of complex failure modes that might be missed by conventional testing approaches, while providing the reliability, safety, and real-time performance characteristics essential for successful deployment of LLM and RAG systems in industrial automation environments.

The application provides a mode switching method of an engine electronic controller, a mode switching system of the engine electronic controller and a computer readable storage medium. The mode switching method of the engine electronic controller comprises the following steps: S1, checking a software verification code, and setting a working mode as a normal working mode in response to the software verification code being a complete verification code; S2, modifying the software verification code as an error verification code in response to an aircraft maintenance request and an engine running state meeting a safe maintenance condition, the aircraft maintenance request being sent by an aircraft cabin through a bus; and S3, resetting and checking the software verification code, and switching the working mode to a cabin maintenance mode in response to the software verification code being the error verification code.

The invention provides a software verification method and device, equipment, a medium and a program product, and can be applied to the technical field of software management and artificial intelligence. The method comprises the steps that in response to obtained information of to-be-verified software, identity information and behavior information of the to-be-verified software are extracted, and the identity information comprises at least one of a program name, a version number, an installation date, a digital signature or a file hash value; the behavior information comprises at least one of resource occupation, a network connection behavior, a file operation behavior or a running time period; whether the identity information of the to-be-verified software is matched with a pre-configured software standard information base white list or not is verified, whether the behavior information accords with a predetermined software behavior baseline or not is verified, and the baseline is established according to historical behavior information of normal software identical to the to-be-verified software; and if both the identity information and the behavior information pass verification, determining that the to-be-verified software is normal software.

The invention belongs to the technical field of embedded software testing, and relates to a generator controller software verification method for airworthiness standards. The method comprises the following steps: performing software review and analysis; constructing a layered test environment; designing a test case and a test procedure, and performing review; performing test ready review; executing software testing in the layered testing environment; performing software demand coverage analysis for ensuring that a bidirectional traceability relationship exists between the test case and the software demand; software structure coverage analysis in the aspects of statement coverage, judgment coverage, MC / DC coverage, data coupling and control coupling is carried out; and establishing bidirectional tracing data between the test cases and the software requirements, between the test regulations and the test cases and between the test results and the test regulations, and performing test result review to form a software verification result. According to the method, the airworthiness standard process is quantified, the depth, efficiency and compliance of airborne software verification are remarkably improved through a layered test environment and an intelligent algorithm, and high safety is effectively guaranteed.

The invention provides an airborne software structure incremental coverage rate analysis system and analysis method. The airborne software structure incremental coverage rate analysis system comprises a self-adaptive baseline management module, a change influence domain analysis module, an incremental coverage rate calculation module and an automatic report generation module. The method comprises the following steps: establishing a tracing relation among requirements, codes and use cases, capturing code version change to construct a change influence domain, carrying out change difference analysis in combination with historical version coverage rate data, identifying and running use cases which need to be additionally and independently executed in a current version, and obtaining a newest code structure coverage rate. And a coverage rate analysis report can be automatically updated and generated. By applying the analysis system and the analysis method, the technical bottlenecks in the aspects of large coverage analysis difficulty of an airborne software verification structure, redundant analysis work and the like can be solved.

The invention discloses a software license verification method based on a satisfiability problem, which comprises the following steps that: a license issuing center generates a random 3-SAT problem for an authorized user of software, takes information of the 3-SAT problem and a solution of the 3-SAT problem as digital license information of the authorized user, and then sends the digital license information to the authorized user and a software verification party; when the authorized user needs to use the software, two communication devices are used for sending an interaction application to a software verification party; performing multi-round interaction between the two communication devices and the software verification party, and recording information of each round; and the software verification party checks the interaction information of each round and judges whether the authentication is passed or not, namely whether the authorized user is authorized to have an effective license or not. The security of the method is based on the NP completeness of the 3-SAT problem, and does not depend on the key length or the complexity of an encryption algorithm; meanwhile, the absolute confidentiality of the license key is ensured by using the zero-knowledge proving technology.

The invention relates to the technical field of aero-engine control software verification, and particularly discloses an aero-engine control software demand change review range identification method and tool, and the identification method comprises the steps: identifying all software demands related to an upstream demand with a function substantial change, and taking the software demands as a first software demand review range; identifying all upstream demands related to the software demand with the function essence change, and then identifying all software demands related to all the upstream demands as a second software demand review range; identifying a pure derived demand as a third software demand review range; and combining the first software demand review range, the second software demand review range and the third software demand review range, and performing duplicate removal processing to obtain a final software demand change review range. According to the method, all changed software requirements and possibly influenced software requirements can be guaranteed to be included in the review range, and the risk of requirement problem omission in the review link is effectively inhibited.

The embodiment of the invention provides a software verification method and device, equipment and a storage medium. The invention relates to the field of software verification. The method comprises the following steps: determining research and development state information of a software product; based on a preset mapping relationship, determining development mode information corresponding to the research and development state information; and in the process of executing the development mode information corresponding to the research and development state information, transmitting the software information of the software product to different terminal nodes so as to process the software information of the software product in the terminal nodes. The method is used for accurately regulating and controlling the operation process of the terminal node, and the technical effect of improving the software processing efficiency is achieved.

The invention provides an intelligent driving perception problem software verification system. The intelligent driving perception problem software verification system comprises a simulation scene and power data generation module, a software test module and a software verification module. The simulation module is used for marking multi-modal data and IMU sensor data when a vehicle has a perception problem, and inputting a data recharge system to generate a simulation environment and power data of a problem scene. And the software test module inputs the generated simulation scene and power data into the original sensing software to reproduce the problem, and inputs and verifies the repair effect again after algorithm updating. And the software verification module compares operation results before and after updating, and if the problem does not disappear, iterative optimization is performed until the problem is solved. The system realizes efficient positioning and closed-loop verification of algorithm defects by accurately reproducing a real vehicle perception problem scene, solves the problem that a real vehicle accidental problem is difficult to reproduce and verify due to insufficient coverage of a traditional HIL test scene, and remarkably improves the development efficiency and reliability of intelligent driving software.

The invention discloses an APM flexible marshalling method adopting a redundancy architecture, which automatically starts a guarantee mechanism for taking over a core function by standby resources in a normal state when a train network control system encounters a single-point fault through a multi-level design of hardware backup, software verification and communication fault tolerance. By the adoption of the technical scheme, emergency stop of a train can be avoided, operation parameters are maintained to be stable through seamless transition, it is ensured that output of key systems such as traction, braking and signal control is not suddenly changed, violent jolting caused by sudden fluctuation of power or braking is fundamentally eradicated, and then safety risks such as falling and collision of passengers are prevented; operation continuity is achieved, and outage events caused by single-point faults do not exist within a certain period of time; and the riding safety is high, sudden acceleration and sudden braking possibly caused by fault switching are thoroughly avoided by maintaining smooth transition of parameters such as braking pressure and traction power, and the risk that passengers fall down is eliminated from the physical level.

The invention particularly relates to a simulation verification method for ARINC818 protocol image processing logic software, which comprises the following steps of: constructing a simulation verification platform for the simulation verification method for the ARINC818 protocol-based image processing logic software, taking a real picture or a random number as original input data, converting the original input data into parallel video data conforming to an ARINC818 protocol format, and transmitting the parallel video data to the ARINC818 protocol-based image processing logic software; and various abnormal use cases can be generated as required. Then, the parallel video data is converted into a serial differential signal by using a high-speed transceiver, and the serial differential signal is used as the input of the software to be verified. According to the simulation verification platform, the continuity and efficiency of the verification process are remarkably improved by automatically executing script operation. Meanwhile, the platform is provided with a monitoring and result analysis module, and real-time monitoring and result evaluation can be carried out on the simulation process. According to the technical scheme, the image processing logic software verification sufficiency, accuracy and verification efficiency based on the ARINC818 protocol are improved.

The invention provides a test case model library generation method and device and a software verification method and device, and relates to the technical field of software testing. Through a full-process closed loop of'demand classification-label mapping-model matching-data verification-dynamic optimization-experience precipitation ', high efficiency and intelligence of software verification are realized, the problems of low efficiency and missing detection of traditional manual design of use cases are solved, reusability and allocation rationality of test resources are improved, and the test efficiency is improved. A data-driven model optimization mechanism is constructed, test cases and verification frequency are dynamically adjusted, the validity of the verification model is continuously improved, reusable verification assets are formed, and precipitation and inheritance of verification experience are promoted. According to the method, the verification period is remarkably shortened, resource consumption is reduced, meanwhile, through extreme scene coverage and defect accurate detection, software quality and verification reliability are greatly improved, and the technical problems that in a traditional method, demand change lags behind, boundary coverage is insufficient, and resource allocation is low in efficiency are solved.

The invention belongs to the technical field of controllers, and provides a trusted controller based on multiple verification mechanisms and a starting method. The trusted controller adopts multiple verification mechanisms, including software-based verification and hardware-based verification, through a mode of combining software verification and hardware verification, the security and credibility of the trusted controller in a starting process are improved, the ability of the trusted controller to resist external attacks is improved, and the reliability of the trusted controller is improved. The trusted controller is effectively prevented from being tampered and attacked by malicious software or hackers, so that the stability and the safety of the trusted controller are ensured.

Software validation systems, products, and methods for determining a plurality of test scenarios for a software code under test. The test scenarios may be defined based on at least one of values assigned to one or more variables declared in the software code, relationships defined between the one or more variables, and execution paths leading to one or more outcomes based on the values and the relationships, in response to the software code being executed. At least two or more test scenarios, from among the plurality of test scenarios, are consolidated into a first test scenario based on values defined in a modifiable script.

The invention relates to the technical field of software checking and upgrading, and discloses a program upgrading and checking method, system and device based on a single chip microcomputer and a storage medium. The method comprises the steps that a lower upgrading package is obtained from a USB flash disk through an upper computer, the lower upgrading package is subjected to byte-by-byte XOR table look-up operation through the upper computer, and a table look-up checking value is obtained; the upper computer is used for comparing and checking the lower upgrade package according to the table look-up check value to obtain a check result, the upper computer is used for carrying out check removal operation on the lower upgrade package according to the check result to obtain a standard upgrade package, and the upper computer is used for sending the standard upgrade package to the lower computer. And performing software matching on the standard upgrade package by utilizing the lower computer according to preset real-time software information to obtain a matching result, and performing software upgrade by utilizing the lower computer according to the matching result and the standard upgrade package. By performing XOR table look-up verification on the lower upgrade package and performing upgrade matching according to the software information, the efficiency of single-chip microcomputer program upgrade verification can be improved.

The invention discloses an automatic verification and calibration method and system for an automobile controller software version and a storage medium, and relates to the technical field of automobile software verification. The method comprises the following specific steps: confirming controller label information, software version information and calibration information; storing the controller label information, the software version information and the calibration information in a configuration file of an upper computer; configuring software connection parameters of the upper computer, and connecting the upper computer with the controller; inputting controller bar code information into the upper computer and carrying out automatic verification, and if verification is correct, carrying out controller software version automatic verification and controller automatic calibration; and recording a verification result and a calibration result of the controller software version. The method is not only suitable for verification of the single-node controller software version on the whole vehicle, but also suitable for verification of the unloaded electronic control software version, has general practicability, and improves the software version verification efficiency and accuracy.

The invention relates to the field of vehicle-mounted electric control equipment testing, and discloses a production line testing method and system for vehicle-mounted electric control equipment, and the method saves a T1 testing station from four testing stations in a traditional test; three test stations are formed, and the T0 station performs function verification on a board card of the vehicle-mounted electric control equipment; then, the vehicle-mounted electric control equipment directly enters the station T2 from the station T0, and initialization operation is conducted on the vehicle-mounted electric control equipment; the method comprises the following steps that a vehicle-mounted electric control device is started, an aging test of the vehicle-mounted electric control device is started, abnormity detected in a T2 process is reported in time, a T3 station integrates original T1 hardware test and original T3 software verification through unified test software, the system comprises a PC test tool, a tool function board and the vehicle-mounted electric control device, the PC tool is a control core, the tool board collects device data, and the device supports mode switching and data feedback; according to the method, clamping connection lines of step transfer are reduced, the software version risk is eliminated, the takt is shortened, and the production line efficiency and quality consistency are improved.

The invention relates to the technical field of power system automation, and in particular to a method for collecting, verifying and monitoring information of substation equipment running software. The method adopts a CS framework structure, deploys a collection service agent program on a collection service end of each device in a plant station, and deploys a monitoring client in zone II or IV in the plant station. The method comprises the following steps: S1: after receiving a "collection" command issued by a monitoring client, the collection service end obtains, parses and records mapping information of all running processes of each device in the plant station, generates a process tree and sends it to the monitoring client; S2: the monitoring client receives the running process information, generates a verification entry configuration of the device, and sends the verification configuration file to the collection service end; S3: equipment software verification library collection; S4: verification version library generation; S5: file version library dynamic monitoring; S6: version library comparison. The method can monitor the running status of the equipment software in real time and ensure stable and reliable operation of the equipment.

The invention discloses a fan master control PLC detection method, system and device and a medium, and belongs to the technical field of PLC detection, and the method comprises the following steps: building Ethernet communication connection between a test controller and a to-be-tested PLC; detecting manufacturer information, model information and communication protocol information of the to-be-tested PLC, and generating a test parameter configuration table according to an identification result; executing the function test of the to-be-tested PLC interface; performing fan control logic verification, and verifying the accuracy of a variable pitch control mechanism, a yaw control mechanism and a power control mechanism of the to-be-tested PLC by inputting a fan operation characteristic signal; and displaying an interface function test result and a control logic verification result on a human-computer interaction interface. According to the invention, interface function testing and fan control logic verification are organically combined to form an integrated detection system, the basic hardware function of the PLC can be verified, the control performance of the PLC can be evaluated in a real control environment, and deep integration of hardware detection and software verification is realized.