49 results about "Software verification" patented technology

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

The invention discloses a method for performing FOTA class A / B backup partition on an MCU. The method comprises the following steps: dividing a flash memory of the MCU into four sections of partitions; the boot loader is flashed into the startup program partition; flashing the software program into the application program 1; when a new software program downloading request exists, completely backing up the software program of the application program 1 to the application program 2; downloading the new software program into the application program 1 after the backup is completed; when the software verification of the application program 1 fails, copying the software program of the application program 2 into the application program 1 again; when the MCU is powered on and started each time, if verification succeeds, the software program of the application program 1 is started, and if verification fails, the software program of the application program 2 partition is copied to the application program 1, and then the software program in the application program 1 is started. According to the invention, the resource utilization of the flash memory is improved, the cost is reduced, the robustness of software upgrading is improved, and the user experience is enhanced.

This application provides a software verification method, apparatus, device, and storage medium. This application relates to the field of software verification. The method includes: determining the development status information of a software product; determining development mode information corresponding to the development status information based on a preset mapping relationship; and, during the execution of the development mode information corresponding to the development status information, transmitting the software information of the software product to different terminal nodes for processing at the terminal nodes. This method is used to precisely control the workflow of terminal nodes, achieving the technical effect of improving software processing efficiency.

This invention provides an aircraft management computer software verification environment system, relating to the field of equipment testing technology. The invention includes VMC integrated testing equipment, bus network node simulation equipment, bus data acquisition and analysis equipment, and development and integrated testing equipment, and constructs Ethernet, reflective memory network, and bus network for internal system use. Internally, the system uses Ethernet, reflective memory network, and bus network for data interaction and equipment control. Through verification environment cabinets, verification environment finished product cabinets, and verification environment workbenches, the operation of each test device is integrated and fixed, allowing personnel to operate the desired test device at the corresponding functional area without needing to understand the current environment architecture. This invention meets the need for simultaneous verification of aircraft management software by multiple airborne finished products, realizes a standardized and fixed paradigm for aircraft management software verification, and provides a system integration and testing verification environment for airborne finished products.

This application relates to a method, apparatus, computer device, storage medium, and computer program product for verifying fuel rod software. The method involves acquiring a verification start command for the fuel rod software to be verified, obtaining software calculation data output by the software based on the start command, acquiring standard result data, determining verification parameters of the software based on the standard result data, and then sequentially extracting the software calculation data corresponding to each verification parameter and comparing it with the standard result data to obtain at least one comparison result. Based on the comparison results of each verification parameter, the verification result of the fuel rod software to be verified is obtained through classification and statistics. This method allows for automated software verification and validation, reducing human error and improving the efficiency of software verification and validation analysis.

The invention discloses an embedded software automatic test method and system, and the method comprises the steps: a test execution platform generates excitation and records an actual output result generated by a tested object under the excitation, and obtains a log of the tested object; the test analysis platform including the correct operation logic of the tested object obtains excitation and actual output results of the tested object according to the log of the tested object; the test analysis platform generates a simulation output result under the same condition as excitation; the actual output result and the simulation output result are sent to a comparator through a test analysis platform, and a comparison result representing whether the two are the same or not is obtained; and the test analysis platform obtains a test result representing whether the tested object passes the test or not based on the comparison result. According to the test method, a pure software verification mode is adopted, the influence from hardware and the like is shielded, and the accuracy of the test result of the tested object is improved.

To provide a software verification system and the like, which can easily improve software that uses sensor data of a vehicle as input.SOLUTION: A software verification system detects degradation in a new version of control software (performance determination unit 118) by utilizing first information which is an output of a present version of control software used to control a vehicle, and to which sensor data from a sensor installed in a vehicle is input, second information which is an output of a new version of the control software that is not used to control the vehicle, and to which the sensor data is input, and third information regarding vehicle control other than the first information and the second information. The software verification system verifies the new version of the control software by utilizing the sensor data when the degradation was detected.SELECTED DRAWING: Figure 17

The purpose of the present invention is to improve efficiency in verifying software distributed to an on-vehicle device for controlling a vehicle using a plurality of vehicle control modes. In this software verification system, verification of operations in software distributed to an on-vehicle device for controlling a vehicle using a plurality of vehicle control modes is performed in the on-vehicle device. The software verification system comprises: a specification unit that specifies, for each vehicle control mode, verification system software including verification target software that is a target of operation verification and additional software that operates together with the verification target software during operation of the verification target software; a distribution unit that distributes the verification system software to the on-vehicle device; an execution control unit that executes verification system software corresponding to the vehicle control mode set in the on-vehicle device; and an operation verification unit that verifies the operation of the verification target software included in the executed verification system software.

This application discloses a trusted data acquisition method based on a trusted platform module, relating to the field of computer security technology. It includes: a trusted data processing driver opening the trusted platform module device file in exclusive mode to obtain exclusive access; through the trusted platform module's desealing operation, the trusted platform module hardware automatically compares the value of the current platform configuration register with the baseline hash value at the time of sealing; if the comparison matches, the trusted platform module releases the key; the trusted data processing driver directly maps the sensor register space through the physical address to read the raw data; at least one environmental characteristic parameter of the external physical environment where the sensor is located is acquired; the raw data and the environmental characteristic parameter are combined to form a trusted data packet and signed using the key. This application solves the technical problems in the prior art, such as the inability to detect tampering before system startup, the risk of man-in-the-middle attacks in the data acquisition path, the inability to prove the correlation between data and the external environment, and the untrustworthiness of software verification, achieving end-to-end trusted verification from the hardware root of trust to sensor data and then to the external physical environment.

This application relates to an interrupt verification method, apparatus, system, device, storage medium, and program product, applied to an interrupt verification device. The method includes: first, injecting an interrupt verification program into a microcontroller under test (MCU), wherein the MCU is communicatively connected to the interrupt verification device; then, receiving interrupt information sent by the MCU according to the interrupt verification program, and sending an interrupt signal to the MCU according to the interrupt information to instruct the MCU to execute the interrupt service routine corresponding to the interrupt signal; finally, outputting the interrupt verification result of the MCU based on the result of the MCU executing the interrupt service routine. This method enables interrupt verification through simultaneous hardware and software verification, rather than simply simulating interrupts in software, thus achieving higher accuracy in interrupt verification.

The application discloses a kind of based on big model's safety key software verification property automatic generation method, comprising: extracting subject and predicate from each atomic proposition, the subject and predicate extracted are merged, and the atomic proposition after reorganization is obtained;Define non-standard natural language type template;According to the defined non-standard natural language type template, the reorganized atomic proposition is combined with logic operator using random algorithm, to generate signal timing logic formula;And using big language model, it is translated into natural language, to build the data set containing formula-natural language pair;According to the situation, use the data set containing formula-natural language pair to fine-tune local big model or big language model interface, obtain the big model after fine-tuning;Using prompt word template, the natural language requirement to be translated is input into the big model after fine-tuning, to obtain corresponding timing logic formula.

Automated validation of software code is disclosed. In one example, a method comprises the following steps. The method evaluates software code to be deployed in an execution environment. The method identifies one or more factors that affect deployment of the software code in the execution environment. The method automatically validates the one or more factors prior to deployment of software code in the execution environment. The automated pre-validation may mitigate or eliminate deployment problems prior to actual deployment in the execution environment thereby preserving significant processing platform resources of the execution environment.

The invention provides a processor software verification method, which is applied to a first processor in a communication terminal, and comprises the following steps: when the communication terminal is powered on, in response to a Boot program backup request sent by a second processor in the communication terminal, sending a stored Boot program to the second processor for backup; before the communication terminal is powered off and dormant, a Boot program verification request is sent to the second processor, and a second whole package verification code of the Boot program backed up by the second processor fed back by the second processor in response to the Boot program verification request is received; calculating a first whole package check code of the Boot program currently stored in the first processor, and detecting whether the first whole package check code is the same as the second whole package check code or not; when it is detected that the first whole package check code is different from the second whole package check code, a Boot program recovery request is sent to the second processor, and a backup Boot program sent by the second processor in response to the Boot program recovery request is received, so that Boot program recovery is conducted.

The application discloses an OPC software verification method, an OPC software verification device, an electronic device and a storage medium. The method comprises the following steps: obtaining first data, wherein the first data comprises data for establishing an OPC model and a test layout; obtaining reference data and a reference correction program corresponding to reference OPC software and verification data and a verification correction program corresponding to to-be-verified OPC software according to the first data, the reference OPC software and the to-be-verified OPC software; and evaluating a verification result of the to-be-verified OPC software according to the reference data and the reference correction program, the verification data and the verification correction program and a preset evaluation threshold. The application introduces the reference OPC software as a verification standard for verifying the to-be-verified OPC software, so that actual feature sizes can be collected without actual exposure of a photomask when the OPC software is verified, and the verification cost can be effectively reduced. Meanwhile, the OPC software can be verified in advance when the OPC software is verified, and the verification time can be greatly reduced.