Timer function point verification method and device, electronic equipment and storage medium
By building a verification environment containing reference model modules and monitoring modules, and simulation tests are carried out on each functional point of the timer, the problem of poor reusability of the verification platform in the existing technology is solved and the verification efficiency is improved.
Patent Information
- Application Number
- CN202411663649.1
- Authority / Receiving Office
- CN · China
- Patent Type
- Applications(China)
- Current Assignee / Owner
- Filing Date
- 2024-11-20
- Publication Date
- 2025-04-25
AI Technical Summary
In the prior art, the timer function point verification platform lacks hierarchical design and poor reusability, resulting in only a single functional point can be verified at a time, which has a huge workload and low verification efficiency.
Provide a timer function point verification method. By building a verification environment containing reference model module and monitoring module, the programming language of each function point is obtained, and simulation tests are carried out separately until all function points are tested.
It realizes general verification of each functional point of the timer, improves the reusability and verification efficiency of the verification environment, and reduces the need to build multiple verification platforms.
Smart Images
Figure CN119883941A_ABST
Abstract
Description
Technical Field
[0001] The present disclosure relates to the technical field of timer verification, and in particular to a timer function point verification method, device, electronic device and storage medium. Background Art
[0002] In the chip, the advanced timer plays a vital role, and its role is extensive and critical.
[0003] Advanced timers' high-precision time control, complex task scheduling, input capture and output comparison, multi-channel support, multiple counting modes, prescalers and automatic reload registers, interrupt and direct memory access (DMA) request generation, and industrial motor control functions together constitute an indispensable part of modern electronic systems. Therefore, ensuring the normal function of the timer is the key to the design and the top priority of verification work.
[0004] In the related technologies, most of them verify a certain function of the timer, and different verification platforms need to be built to verify different functions. However, the verification platform lacks hierarchical design and poor reusability, and can only verify a single function point or a single timer module at a time. Advanced timers have many function points. If you want to traverse all condition states and verify all functions of the timer, you need to build many verification platforms. The workload in this process is huge, and the reusability of the verification platform is low, resulting in low verification efficiency. Summary of the invention
[0005] In order to solve the above technical problems, the present disclosure provides a timer function point verification method, device, electronic device and storage medium to provide a universal verification method (UVM) for each function point of a timer, build a timer verification environment, and verify each function point of one or more timers in the verification environment to improve verification efficiency.
[0006] In a first aspect, an embodiment of the present disclosure provides a timer function point verification method, the method comprising:
[0007] Building a verification environment for the timer, the verification environment including a reference model module and a monitoring module;
[0008] Obtain the programming language corresponding to each functional point to be verified;
[0009] Conduct simulation tests on the programming languages corresponding to each functional point respectively to obtain simulation test results of each functional point;
[0010] If all functional points have been tested, the verification of the timer function point is completed.
[0011] In some embodiments, the step of setting up a verification environment for a timer includes:
[0012] Pre-configure verification environment constants, test procedures for each functional point, reference model modules, and monitoring modules;
[0013] The test procedures of each functional point are stored in different blocks of the reference model module and different blocks of the monitoring module respectively;
[0014] The pre-configured verification environment constants, test programs for each functional point, reference model modules, and monitoring modules are loaded to obtain the verification environment.
[0015] In some embodiments, the step of obtaining the programming language corresponding to each function point to be verified includes:
[0016] In response to the user's programming operation, write a corresponding programming language for each functional point;
[0017] For each function point to be verified, the programming language corresponding to each function point is obtained.
[0018] In some embodiments, the simulation test is performed on the programming language corresponding to each functional point to obtain the simulation test result of each functional point, including:
[0019] In response to the configuration operation performed by the user on the verification of each function point, the register input data and the verification program of each function point are loaded;
[0020] For any function point among the function points, obtain reference data in a block corresponding to the function point in a reference model module, and obtain output data obtained based on register input data of the function point monitored by a monitoring module;
[0021] Put the reference data and the output data of the function point into a comparator module for comparison;
[0022] If the reference data of the function point is the same as the output data, then the simulation test result of the function point is determined to be a simulation success.
[0023] In some embodiments, after performing simulation tests on the programming languages corresponding to the functional points respectively and obtaining simulation test results of the functional points, the method further comprises:
[0024] For each function point, determine whether the simulation test result of the function point is a simulation success;
[0025] If the simulation test result of the function point is a simulation failure, it is determined based on the debugging tool whether the cause of the simulation failure is a verification environment problem;
[0026] If it is determined that the cause of the simulation failure is a verification environment problem, the verification environment of the function point is corrected;
[0027] The programming language corresponding to the function point is simulated and tested based on the revised verification environment until the simulation test result of the function point is successful.
[0028] In some embodiments, the method further comprises:
[0029] If the simulation test result of the function point is simulation success, it is determined whether all function points have been tested;
[0030] If the target function point has not been tested, a simulation test is performed on the programming language corresponding to the target function point until all function points are tested.
[0031] In some embodiments, the modifying the verification environment of the function point includes:
[0032] Check whether there are compilation errors in the programming language, reference model module and monitoring module corresponding to the function point;
[0033] If there is a compilation error, the compilation error in the programming language, reference model module and monitoring module corresponding to the function point is corrected.
[0034] In a second aspect, an embodiment of the present disclosure provides a timer function point verification device, the device comprising:
[0035] A building unit, used to build a verification environment for the timer, wherein the verification environment includes a reference model module and a monitoring module;
[0036] An acquisition unit, used for acquiring the programming language corresponding to each functional point to be verified;
[0037] The obtaining unit is used to perform simulation tests on the programming languages corresponding to each functional point respectively, and obtain simulation test results of each functional point;
[0038] The completion unit is used to complete the verification of the timer function point if all function points have been tested.
[0039] In a third aspect, an embodiment of the present disclosure provides an electronic device, including:
[0040] Memory;
[0041] Processor; and
[0042] Computer programs;
[0043] The computer program is stored in the memory and is configured to be executed by the processor to implement the method as described in the first aspect.
[0044] In a fourth aspect, an embodiment of the present disclosure provides a computer-readable storage medium having a computer program stored thereon, wherein the computer program is executed by a processor to implement the method as described in the first aspect.
[0045] In a fifth aspect, an embodiment of the present disclosure further provides a computer program product, which includes a computer program or instructions, and when the computer program or instructions are executed by a processor, the method described in the first aspect is implemented.
[0046] The timer function point verification method, device, electronic device and storage medium provided in the embodiments of the present disclosure build a verification environment for the timer, the verification environment includes a reference model module and a monitoring module, obtains the programming language corresponding to each function point to be verified, and performs simulation tests on the programming language corresponding to each function point respectively to obtain the simulation test results of each function point. If all function points have been tested, the verification of the timer function point is completed. Compared with the prior art, the present disclosure builds a verification environment for the timer, obtains the programming language corresponding to each function point to be verified, and further, performs simulation tests on the programming language corresponding to each function point respectively to obtain the simulation test results of each function point. If all function points have been tested, the verification of the timer function point is completed. Each function point of one or more timers can be verified in the verification environment, which can improve the reusability of the verification environment and enhance the verification efficiency. BRIEF DESCRIPTION OF THE DRAWINGS
[0047] The accompanying drawings, which are incorporated in and constitute a part of this specification, illustrate embodiments consistent with the present disclosure and, together with the description, serve to explain the principles of the present disclosure.
[0048] In order to more clearly illustrate the embodiments of the present invention or the technical solutions in the prior art, the drawings required for use in the embodiments or the description of the prior art will be briefly introduced below. Obviously, for ordinary technicians in this field, other drawings can be obtained based on these drawings without paying any creative labor.
[0049] Figure 1 A flow chart of a timer function point verification method provided by an embodiment of the present disclosure;
[0050] Figure 2 A schematic diagram of the architecture of a verification environment provided for an embodiment of the present disclosure;
[0051] Figure 3 A flow chart of a timer function point verification method provided by another embodiment of the present disclosure;
[0052] Figure 4 A flow chart of a timer function point verification method provided by another embodiment of the present disclosure;
[0053] Figure 5 A schematic diagram of the overall process of timer function point verification provided by an embodiment of the present disclosure;
[0054] Figure 6 A schematic diagram of the structure of a timer function point verification device provided by an embodiment of the present disclosure;
[0055] Figure 7 A schematic diagram of the structure of an electronic device provided in an embodiment of the present disclosure. DETAILED DESCRIPTION
[0056] In order to more clearly understand the above-mentioned objectives, features and advantages of the present disclosure, the scheme of the present disclosure will be further described below. It should be noted that the embodiments of the present disclosure and the features in the embodiments can be combined with each other without conflict.
[0057] In the following description, many specific details are set forth to facilitate a full understanding of the present disclosure, but the present disclosure may also be implemented in other ways different from those described herein; it is obvious that the embodiments in the specification are only part of the embodiments of the present disclosure, rather than all of the embodiments.
[0058] In the chip, the advanced timer plays a vital role, and its role is extensive and critical.
[0059] Advanced timers' high-precision time control, complex task scheduling, input capture and output comparison, multi-channel support, multiple counting modes, prescalers and automatic reload registers, interrupt and DMA request generation, and industrial motor control functions together constitute an indispensable part of modern electronic systems. Therefore, ensuring the normal function of the timer is the key to the design and the top priority of verification work.
[0060] In the related technologies, most of them verify a certain function of the timer, and different verification platforms need to be built to verify different functions. However, the verification platform lacks hierarchical design and poor reusability, and can only verify a single function point at a time. Advanced timers have many function points. If you want to traverse all condition states and verify all functions of the timer, you need to build many verification platforms. The workload in this process is huge, and the reusability of the verification platform is low, resulting in low verification efficiency.
[0061] To address this problem, an embodiment of the present disclosure provides a timer function point verification method, which is described below in conjunction with a specific embodiment.
[0062] Figure 1This is a flow chart of a timer function point verification method provided in an embodiment of the present disclosure, and the executor of the method is an electronic device. The electronic device may be a portable mobile device such as a smart phone, a tablet computer, a laptop computer, a car navigation device, an intelligent sports equipment, or a fixed device such as a personal computer or smart home appliance. The method may be applied to a scenario where each function point of a timer is verified, or to a scenario where the function points of one or more timers are verified. A universal verification method (UVM) for each function point of a timer may be provided, a verification environment for a timer may be built, and each function point of the timer may be verified in the verification environment to improve verification efficiency. It is understandable that the timer function point verification method provided in an embodiment of the present disclosure may also be applied in other scenarios.
[0063] Below Figure 1 The timer function point verification method shown in the figure is introduced, and the method includes the following steps:
[0064] S101. Building a verification environment for a timer, wherein the verification environment includes a reference model module and a monitoring module.
[0065] In this step, the electronic device will build a verification environment for the timer. Figure 2 As shown, the verification environment includes a reference model module (Refer_model), a monitoring module (monitor), and other modules, which are not specifically limited here. The verification environment is a verification environment based on the Universal Verification Method (UVM).
[0066] S102: Obtain the programming language corresponding to each functional point to be verified.
[0067] In this step, after the verification environment is set up, the electronic device will obtain the programming language corresponding to each function point to be verified. For example, the user will write the programming language corresponding to each function point and store the programming language corresponding to each function point in the electronic device.
[0068] In some embodiments, S102 may include but is not limited to S1021 and S1022:
[0069] S1021. In response to the user's programming operation, write a corresponding programming language for each functional point.
[0070] S1022: For each function point to be verified, obtain the programming language corresponding to each function point.
[0071] S103, respectively perform simulation tests on the programming languages corresponding to the various function points to obtain simulation test results for the various function points.
[0072] In this step, after obtaining the programming language corresponding to each function point to be verified, the electronic device will perform simulation tests on the programming language corresponding to each function point respectively to obtain the simulation test results of each function point. Optionally, the simulation test result is a simulation success or a simulation failure. Specifically, through compiling and simulating, if the current function point simulation passes, then another function point is tested.
[0073] S104: If all function points have been tested, the verification of the timer function point is completed.
[0074] In this step, the electronic device determines whether all functional points have been tested. When all functional points have been tested, the verification of the timer functional point is completed.
[0075] The disclosed embodiment sets up a verification environment for the timer, wherein the verification environment includes a reference model module and a monitoring module, obtains the programming language corresponding to each function point to be verified, performs simulation tests on the programming language corresponding to each function point, and obtains the simulation test results of each function point. If all function points have been tested, the verification of the timer function point is completed. Compared with the prior art, the disclosed embodiment sets up a verification environment for the timer, obtains the programming language corresponding to each function point to be verified, and further performs simulation tests on the programming language corresponding to each function point, and obtains the simulation test results of each function point. If all function points have been tested, the verification of the timer function point is completed. Each function point of the timer can be verified in the verification environment, which can improve the reusability of the verification environment and the verification efficiency.
[0076] Figure 3 A flow chart of a timer function point verification method provided by another embodiment of the present disclosure is as follows: Figure 3 As shown, the method includes the following steps:
[0077] S301, pre-configure verification environment constants, test procedures for each functional point, reference model modules and monitoring modules.
[0078] like Figure 2 As shown, the electronic device configures the verification environment constants, the test programs corresponding to each functional point, the reference model module and the monitoring module by filling in the json file.
[0079] S302, storing the test program of each functional point in different blocks of the reference model module and different blocks of the monitoring module respectively.
[0080] In this step, the electronic device will store the test program of each functional point in different blocks of the reference model module and different blocks of the monitoring module respectively.
[0081] The test programs or cases for different functional points will be stored in different blocks of the reference model module and in different blocks of the monitoring module. That is, the test program cases for different functional points will be divided through json files. Different blocks in the monitoring module (monitor) and reference model module (Refer_model) correspond to different functional point test points. These modules will call these blocks to verify which functional point, and work together to verify this functional point.
[0082] S303, loading pre-configured verification environment constants, test programs for each functional point, reference model modules and monitoring modules to obtain a verification environment.
[0083] In this step, the electronic device loads the pre-configured verification environment constants, the test programs of each functional point, the reference model module and the monitoring module, that is, runs the json file to obtain the verification environment. Figure 2 As shown, transactions and slave agents are also configured in the verification environment. Optionally, the timer interacts with other modules through interfaces, which are encapsulated in the top module. Furthermore, the verifier can configure specific register configuration, delay, judgment and other programs in the verification environment. The blocks corresponding to each functional point have been divided. It is only necessary to fill in different blocks in combination with specific design and verification ideas.
[0084] S304: Obtain the programming language corresponding to each functional point to be verified.
[0085] Specifically, the implementation principle and process of S304 and S102 are the same, and will not be repeated here.
[0086] S305 . In response to the configuration operation performed by the user on the verification of each function point, the register input data and the verification program of each function point are loaded.
[0087] In this step, the user or verifier configures the verification of each functional point, and the electronic device loads the register input data and the verification program of each functional point in response to the configuration operation performed by the user on the verification of each functional point.
[0088] S306: For any function point among the function points, obtain reference data in the block corresponding to the function point in the reference model module, and obtain output data obtained based on the register input data of the function point monitored by the monitoring module.
[0089] like Figure 2As shown, the timer mainly interacts with the module monitoring (monitor), and the reference data in the reference model module (refer_model) is pre-written by the user according to the specific situation, and is a correct result or phenomenon.
[0090] The core of the verification environment is the writing of the Refer_model module and the monitor module. The Refer_model module is responsible for providing a reference data, i.e. the correct answer, while the monitor module monitors the output data and compares the output data with the reference data in the Refer_model module.
[0091] S307: Put the reference data and the output data of the function point into a comparator module for comparison.
[0092] After obtaining the output data and the reference data, the electronic device will put the output data and the reference data into a comparator module (scoreboard) for comparison.
[0093] S308: If the reference data of the function point is the same as the output data, determine that the simulation test result of the function point is a simulation success.
[0094] In this step, if the data is the same, it means that the function point of the timer is correct, that is, the simulation passes successfully; if the data is different, the simulation fails, and it is necessary to use the debugging tool (debug) to check where the problem is.
[0095] S309: If all function points have been tested, the verification of the timer function point is completed.
[0096] Specifically, the implementation principle and process of S309 and S104 are the same, and will not be repeated here.
[0097] The embodiment of the present disclosure pre-configures the verification environment constants, the test programs of each function point, the reference model module and the monitoring module, stores the test programs of each function point in different blocks of the reference model module and different blocks of the monitoring module, loads the pre-configured verification environment constants, the test programs of each function point, the reference model module and the monitoring module, and obtains the verification environment. Further, the programming language corresponding to each function point to be verified is obtained, and in response to the configuration operation performed by the user on the verification of each function point, the register input data and the verification program of each function point are loaded. Next, for any function point among the function points, the reference data in the block corresponding to the function point in the reference model module is obtained, and the output data obtained based on the register input data of the function point monitored by the monitoring module is obtained, and the reference data and the output data of the function point are placed in the comparator module for comparison. If the reference data and the output data of the function point are the same, the simulation test result of the function point is determined to be a successful simulation. If all the function points are tested, the verification of the timer function point is completed. Through this method, each functional point of the timer can be verified in the verification environment, which can improve the reusability of the verification environment and enhance the verification efficiency.
[0098] Figure 4 A flow chart of a timer function point verification method provided by another embodiment of the present disclosure is as follows: Figure 4 As shown, the method includes the following steps:
[0099] S401. Build a verification environment for a timer, where the verification environment includes a reference model module and a monitoring module.
[0100] Specifically, the implementation principle and process of S401 and S101 are the same, and will not be repeated here.
[0101] S402: Obtain the programming language corresponding to each functional point to be verified.
[0102] Specifically, the implementation principle and process of S402 and S102 are the same, and will not be repeated here.
[0103] S403, respectively perform simulation tests on the programming languages corresponding to the various function points to obtain simulation test results for the various function points.
[0104] Specifically, the implementation principle and process of S403 and S103 are the same, and will not be repeated here.
[0105] S404: For each function point, determine whether the simulation test result of the function point is a simulation success.
[0106] like Figure 5As shown, for each function point, the electronic device will determine whether the simulation of the function point is successful.
[0107] S405: If the simulation test result of the function point is a simulation failure, determine based on the debugging tool whether the cause of the simulation failure is a verification environment problem.
[0108] like Figure 5 As shown, if the simulation of the function point fails, it is determined based on the debugging tool whether the cause of the simulation failure is a verification environment problem.
[0109] S406: If it is determined that the cause of the simulation failure is a verification environment problem, the verification environment of the function point is corrected.
[0110] In some embodiments, Figure 5 As shown, if it is determined that the cause of the simulation failure is not a problem with the verification environment, an abnormal prompt message can be sent to the designer to facilitate discussion between the verifier and the designer to determine the cause of the simulation failure.
[0111] In some embodiments, the modification of the verification environment of the function point in S406 may include but is not limited to S4061 and S4062:
[0112] S4061. Check whether there are compilation errors in the programming language, reference model module and monitoring module corresponding to the function point.
[0113] In this step, if Figure 5 As shown, the electronic device detects whether there are compilation errors in the programming language corresponding to the function point, namely, the C program, the reference model module (Refer_model) and the monitoring module (monitor).
[0114] S4062. If there is a compilation error, the compilation error in the programming language, reference model module and monitoring module corresponding to the function point is corrected.
[0115] Furthermore, if there is a compilation error, the compilation error in the programming language, reference model module and monitoring module corresponding to the function point is corrected.
[0116] S407 , performing simulation test on the programming language corresponding to the function point based on the revised verification environment, until the simulation test result of the function point is simulation success.
[0117] In this step, the electronic device will perform a simulation test on the programming language corresponding to the function point according to the revised verification environment until the simulation test result of the function point is a simulation success.
[0118] S408: If the simulation test result of the function point is a simulation success, determine whether all function points have been tested.
[0119] In this step, if Figure 5 As shown, if it is determined that the simulation of the function point is successful, the electronic device will determine whether all function points have been tested.
[0120] S409: If the target function point has not been tested, a simulation test is performed on the programming language corresponding to the target function point until all function points are tested.
[0121] If the target function point has not been tested, the electronic device will perform a simulation test on the programming language corresponding to the target function point until all function points have been tested.
[0122] S410: If all function points have been tested, the verification of the timer function point is completed.
[0123] Specifically, the implementation principles and processes of S410 and S104 are the same, and will not be repeated here.
[0124] The embodiment of the present disclosure builds a verification environment for the timer, and the verification environment includes a reference model module and a monitoring module, obtains the programming language corresponding to each function point to be verified, and performs simulation tests on the programming language corresponding to each function point respectively, and obtains the simulation test results of each function point. Further, for each function point, it is determined whether the simulation test result of the function point is a simulation success. If the simulation test result of the function point is a simulation failure, it is determined based on the debugging tool whether the cause of the simulation failure is a verification environment problem. If it is determined that the cause of the simulation failure is a verification environment problem, the verification environment of the function point is corrected. Then, based on the corrected verification environment, the programming language corresponding to the function point is simulated and tested until the simulation test result of the function point is a simulation success. Next, if the simulation test result of the function point is a simulation success, it is determined whether each function point has been tested. If the target function point has not been tested, the programming language corresponding to the target function point is simulated and tested until each function point has been tested. If each function point has been tested, the verification of the timer function point is completed. Through this method, each functional point of the timer can be verified in the verification environment, which can improve the reusability of the verification environment and enhance the verification efficiency.
[0125] Figure 6The schematic diagram of the structure of the timer function point verification device provided in the embodiment of the present disclosure. The timer function point verification device can be an electronic device as in the above embodiment, or the timer function point verification device can be a component or assembly in the electronic device. The timer function point verification device provided in the embodiment of the present disclosure can execute the processing flow provided in the timer function point verification method embodiment, such as Figure 6 As shown, the timer function point verification device 50 includes: a building unit 51, an acquisition unit 52, a obtaining unit 53, and a completion unit 54; wherein the building unit 51 is used to build a verification environment for the timer, and the verification environment includes a reference model module and a monitoring module; the acquisition unit 52 is used to obtain the programming language corresponding to each function point to be verified; the obtaining unit 53 is used to perform simulation tests on the programming language corresponding to each function point respectively, and obtain the simulation test results of each function point; the completion unit 54 is used to complete the verification of the timer function point if all function points have been tested.
[0126] Optionally, when the building unit 51 builds a verification environment for a timer, it is specifically used to: pre-configure verification environment constants, test programs for each functional point, reference model modules, and monitoring modules; store the test programs for each functional point in different blocks of the reference model module and different blocks of the monitoring module respectively; load the pre-configured verification environment constants, test programs for each functional point, reference model modules, and monitoring modules to obtain a verification environment.
[0127] Optionally, when the acquisition unit 52 acquires the programming language corresponding to each functional point to be verified, it is specifically used to: write a corresponding programming language for each functional point in response to a user's program writing operation; and acquire the programming language corresponding to each functional point to be verified.
[0128] Optionally, the obtaining unit 53 performs simulation tests on the programming language corresponding to each function point respectively, and when obtaining the simulation test results of each function point, it is specifically used for: in response to the configuration operation performed by the user on the verification of each function point, loading the register input data and the verification program of each function point; for any function point among the function points, obtaining the reference data in the block corresponding to the function point in the reference model module, and obtaining the output data obtained based on the register input data of the function point monitored by the monitoring module; putting the reference data and the output data of the function point into the comparator module for comparison; if the reference data and the output data of the function point are the same, determining that the simulation test result of the function point is a successful simulation.
[0129] Optionally, after the simulation test is performed on the programming language corresponding to each function point and the simulation test result of each function point is obtained, the device 50 also includes: a first judgment unit 55; the first judgment unit 55 is used to judge whether the simulation test result of each function point is a simulation success; if the simulation test result of the function point is a simulation failure, whether the cause of the simulation failure is a verification environment problem based on the debugging tool; if the cause of the simulation failure is judged to be a verification environment problem, the verification environment of the function point is corrected; based on the corrected verification environment, the simulation test is performed on the programming language corresponding to the function point until the simulation test result of the function point is a simulation success.
[0130] Optionally, the device 50 also includes: a second judgment unit 56; the second judgment unit 56 is used to judge whether all function points have been tested if the simulation test result of the function point is a simulation success; if the target function point has not been tested, the programming language corresponding to the target function point is simulated and tested until all function points have been tested.
[0131] Optionally, when correcting the verification environment of the function point, it is specifically used to: detect whether there are compilation errors in the programming language, reference model module and monitoring module corresponding to the function point; if there are compilation errors, correct the compilation errors in the programming language, reference model module and monitoring module corresponding to the function point.
[0132] Figure 6 The timer function point verification device of the illustrated embodiment can be used to execute the technical solution of the above-mentioned method embodiment. Its implementation principle and technical effect are similar and will not be repeated here.
[0133] Figure 7 The electronic device provided by the embodiment of the present disclosure can execute the processing flow provided by the timer function point verification method embodiment, such as Figure 7 As shown, the electronic device 60 includes: a memory 61, a processor 62, a computer program and a communication interface 63; wherein the computer program is stored in the memory 61 and is configured so that the processor 62 executes the timer function point verification method as described above.
[0134] In addition, an embodiment of the present disclosure further provides a computer-readable storage medium on which a computer program is stored. The computer program is executed by a processor to implement the timer function point verification method described in the above embodiment.
[0135] In addition, an embodiment of the present disclosure further provides a computer program product, which includes a computer program or instructions, and when the computer program or instructions are executed by a processor, the timer function point verification method as described above is implemented.
[0136] It should be noted that the computer-readable medium disclosed above may be a computer-readable signal medium or a computer-readable storage medium or any combination of the above two. The computer-readable storage medium may be, for example, but not limited to, an electrical, magnetic, optical, electromagnetic, infrared, or semiconductor system, device or device, or any combination of the above. More specific examples of computer-readable storage media may include, but are not limited to: an electrical connection with one or more wires, a portable computer disk, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or flash memory), an optical fiber, a portable compact disk read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the above. In the present disclosure, a computer-readable storage medium may be any tangible medium containing or storing a program that may be used by or in combination with an instruction execution system, device or device. In the present disclosure, a computer-readable signal medium may include a data signal propagated in a baseband or as part of a carrier wave, in which a computer-readable program code is carried. This propagated data signal may take a variety of forms, including but not limited to an electromagnetic signal, an optical signal, or any suitable combination of the above. The computer readable signal medium may also be any computer readable medium other than a computer readable storage medium, which may send, propagate or transmit a program for use by or in conjunction with an instruction execution system, apparatus or device. The program code contained on the computer readable medium may be transmitted using any suitable medium, including but not limited to: wires, optical cables, RF (radio frequency), etc., or any suitable combination of the above.
[0137] In some embodiments, the client and the server may communicate using any currently known or future developed network protocol such as HTTP (HyperTextTransferProtocol), and may be interconnected with any form or medium of digital data communication (e.g., a communication network). Examples of communication networks include a local area network ("LAN"), a wide area network ("WAN"), an internet (e.g., the Internet), and a peer-to-peer network (e.g., an adhoc peer-to-peer network), as well as any currently known or future developed network.
[0138] The computer-readable medium may be included in the electronic device, or may exist independently without being incorporated into the electronic device.
[0139] The computer-readable medium carries one or more programs. When the one or more programs are executed by the electronic device, the electronic device:
[0140] Building a verification environment for the timer, the verification environment including a reference model module and a monitoring module;
[0141] Obtain the programming language corresponding to each functional point to be verified;
[0142] Conduct simulation tests on the programming languages corresponding to each functional point respectively to obtain simulation test results of each functional point;
[0143] If all functional points have been tested, the verification of the timer function point is completed.
[0144] In addition, the electronic device may also execute other steps in the timer function point verification method described above.
[0145] Computer program code for performing the operations of the present disclosure may be written in one or more programming languages or a combination thereof, including, but not limited to, object-oriented programming languages, such as Java, Smalltalk, C++, and conventional procedural programming languages, such as "C" or similar programming languages. The program code may be executed entirely on the user's computer, partially on the user's computer, as a separate software package, partially on the user's computer and partially on a remote computer, or entirely on a remote computer or server. In cases involving a remote computer, the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or may be connected to an external computer (e.g., through the Internet using an Internet service provider).
[0146] The flow chart and block diagram in the accompanying drawings illustrate the possible architecture, function and operation of the system, method and computer program product according to various embodiments of the present disclosure. In this regard, each square box in the flow chart or block diagram can represent a module, a program segment or a part of a code, and the module, the program segment or a part of the code contains one or more executable instructions for realizing the specified logical function. It should also be noted that in some implementations as replacements, the functions marked in the square box can also occur in a sequence different from that marked in the accompanying drawings. For example, two square boxes represented in succession can actually be executed substantially in parallel, and they can sometimes be executed in the opposite order, depending on the functions involved. It should also be noted that each square box in the block diagram and / or flow chart, and the combination of the square boxes in the block diagram and / or flow chart can be implemented with a dedicated hardware-based system that performs a specified function or operation, or can be implemented with a combination of dedicated hardware and computer instructions.
[0147] The units involved in the embodiments described in the present disclosure may be implemented by software or hardware, wherein the name of a unit does not, in some cases, limit the unit itself.
[0148] The functions described above herein may be performed at least in part by one or more hardware logic components. For example, without limitation, exemplary types of hardware logic components that may be used include: field programmable gate arrays (FPGAs), application specific integrated circuits (ASICs), application specific standard products (ASSPs), systems on chips (SOCs), complex programmable logic devices (CPLDs), and the like.
[0149] In the context of the present disclosure, a machine-readable medium may be a tangible medium that may contain or store a program for use by or in conjunction with an instruction execution system, device, or equipment. A machine-readable medium may be a machine-readable signal medium or a machine-readable storage medium. A machine-readable medium may include, but is not limited to, an electronic, magnetic, optical, electromagnetic, infrared, or semiconductor system, device, or equipment, or any suitable combination of the foregoing. A more specific example of a machine-readable storage medium may include an electrical connection based on one or more lines, a portable computer disk, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or flash memory), an optical fiber, a portable compact disk read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the foregoing.
[0150] It should be noted that, in this article, relational terms such as "first" and "second" are only used to distinguish one entity or operation from another entity or operation, and do not necessarily require or imply any such actual relationship or order between these entities or operations. Moreover, the terms "include", "comprise" or any other variants thereof are intended to cover non-exclusive inclusion, so that a process, method, article or device including a series of elements includes not only those elements, but also other elements not explicitly listed, or also includes elements inherent to such process, method, article or device. In the absence of further restrictions, the elements defined by the sentence "comprise a ..." do not exclude the existence of other identical elements in the process, method, article or device including the elements.
[0151] The above description is only a specific embodiment of the present disclosure, so that those skilled in the art can understand or implement the present disclosure. Various modifications to these embodiments will be apparent to those skilled in the art, and the general principles defined herein may be implemented in other embodiments without departing from the spirit or scope of the present disclosure. Therefore, the present disclosure will not be limited to the embodiments described herein, but will conform to the widest scope consistent with the principles and novel features disclosed herein.
Claims
1. A timer function point verification method, characterized in that: The method comprises: Building a verification environment for the timer, the verification environment including a reference model module and a monitoring module; Obtain the programming language corresponding to each functional point to be verified; Conduct simulation tests on the programming languages corresponding to each functional point respectively to obtain simulation test results of each functional point; If all functional points have been tested, the verification of the timer function point is completed.
2. The method according to claim 1, characterized in that The verification environment for the timer is established, including: Pre-configure verification environment constants, test procedures for each functional point, reference model modules, and monitoring modules; The test procedures of each functional point are stored in different blocks of the reference model module and different blocks of the monitoring module respectively; The pre-configured verification environment constants, test programs for each functional point, reference model modules, and monitoring modules are loaded to obtain the verification environment.
3. The method according to claim 1, characterized in that The step of obtaining the programming language corresponding to each functional point to be verified includes: In response to the user's programming operation, write a corresponding programming language for each functional point; For each function point to be verified, the programming language corresponding to each function point is obtained.
4. The method according to claim 1, characterized in that: The simulation test is performed on the programming language corresponding to each function point to obtain the simulation test result of each function point, including: In response to the configuration operation performed by the user on the verification of each function point, the register input data and the verification program of each function point are loaded; For any function point among the function points, obtain reference data in a block corresponding to the function point in a reference model module, and obtain output data obtained based on register input data of the function point monitored by a monitoring module; Put the reference data and the output data of the function point into a comparator module for comparison; If the reference data of the function point is the same as the output data, then the simulation test result of the function point is determined to be a simulation success.
5. The method according to claim 1, characterized in that After performing simulation tests on the programming languages corresponding to the functional points respectively and obtaining simulation test results of the functional points, the method further comprises: For each function point, determine whether the simulation test result of the function point is a simulation success; If the simulation test result of the function point is a simulation failure, it is determined based on the debugging tool whether the cause of the simulation failure is a verification environment problem; If it is determined that the cause of the simulation failure is a verification environment problem, the verification environment of the function point is corrected; The programming language corresponding to the function point is simulated and tested based on the revised verification environment until the simulation test result of the function point is successful.
6. The method according to claim 5, characterized in that The method further comprises: If the simulation test result of the function point is a simulation success, it is determined whether all function points have been tested; If the target function point has not been tested, a simulation test is performed on the programming language corresponding to the target function point until all function points are tested.
7. The method according to claim 5, characterized in that The modifying of the verification environment of the function point includes: Check whether there are compilation errors in the programming language, reference model module and monitoring module corresponding to the function point; If there is a compilation error, the compilation error in the programming language, reference model module and monitoring module corresponding to the function point is corrected.
8. A timer function point verification device, characterized in that: include: A building unit, used to build a verification environment for the timer, wherein the verification environment includes a reference model module and a monitoring module; An acquisition unit, used for acquiring the programming language corresponding to each functional point to be verified; The obtaining unit is used to perform simulation tests on the programming languages corresponding to each functional point respectively, and obtain simulation test results of each functional point; The completion unit is used to complete the verification of the timer function point if all function points have been tested.
9. An electronic device, characterized in that: include: Memory; processor; as well as Computer programs; The computer program is stored in the memory and is configured to be executed by the processor to implement the method according to any one of claims 1 to 7.
10. A computer-readable storage medium having a computer program stored thereon, characterized in that: When the computer program is executed by a processor, the method according to any one of claims 1 to 7 is implemented.