CN112486835B - Verification platform and method applied to securities futures counter - Google Patents
Verification platform and method applied to securities futures counter Download PDFInfo
- Publication number
- CN112486835B CN112486835B CN202011440855.8A CN202011440855A CN112486835B CN 112486835 B CN112486835 B CN 112486835B CN 202011440855 A CN202011440855 A CN 202011440855A CN 112486835 B CN112486835 B CN 112486835B
- Authority
- CN
- China
- Prior art keywords
- module
- excitation
- verification
- tested
- unit
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000012795 verification Methods 0.000 title claims abstract description 46
- 238000000034 method Methods 0.000 title claims abstract description 25
- 230000005284 excitation Effects 0.000 claims abstract description 54
- 238000005070 sampling Methods 0.000 claims abstract description 9
- 238000004458 analytical method Methods 0.000 claims abstract description 6
- 238000003780 insertion Methods 0.000 claims description 5
- 230000037431 insertion Effects 0.000 claims description 5
- 238000004088 simulation Methods 0.000 claims description 5
- 238000003032 molecular docking Methods 0.000 claims description 4
- 238000007405 data analysis Methods 0.000 claims description 3
- 238000011161 development Methods 0.000 claims description 3
- 238000012545 processing Methods 0.000 claims description 2
- 238000012360 testing method Methods 0.000 abstract description 10
- 238000013461 design Methods 0.000 description 5
- 238000010586 diagram Methods 0.000 description 2
- 238000011835 investigation Methods 0.000 description 2
- 238000004806 packaging method and process Methods 0.000 description 2
- 238000013459 approach Methods 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000005540 biological transmission Effects 0.000 description 1
- 238000012217 deletion Methods 0.000 description 1
- 230000037430 deletion Effects 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000000750 progressive effect Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
- G06Q40/04—Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange
Landscapes
- Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- Accounting & Taxation (AREA)
- Finance (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Software Systems (AREA)
- Quality & Reliability (AREA)
- General Engineering & Computer Science (AREA)
- Development Economics (AREA)
- Economics (AREA)
- Marketing (AREA)
- Strategic Management (AREA)
- Technology Law (AREA)
- General Business, Economics & Management (AREA)
- Financial Or Insurance-Related Operations Such As Payment And Settlement (AREA)
Abstract
The invention provides a verification platform and a verification method applied to a securities futures counter, wherein a unit to be tested is connected with a coverage rate module, an assertion module is connected with the unit to be tested, a configuration module, an upper software excitation module, an excitation module and a client excitation module are respectively connected with the unit to be tested and a reference model, the reference module is connected with a score board in a comparison way, and the unit to be tested is connected with the score board in a comparison way through a sampling module. The invention uses the verification platform constructed by the UVM verification methodology, randomizes more fully, combines the script and coverage rate analysis report to carry out verification management, can achieve convergence in a short period of time, greatly improves the test efficiency and reliability.
Description
Technical Field
The invention belongs to the field of securities futures counters. To a verification platform and method for a fast counter for a securities futures counter.
Background
Along with the development of globalization markets, more and more users participate in securities and futures trading, the data volume is also more and more, and the time delay requirement on trading is also higher and higher, so that an FPGA-based securities and futures trading speed system is also generated; due to the special nature of the securities and futures trading system products, there are ultra-high stability, accuracy and safety requirements for the products.
The traditional FPGA test uses the form of a structure body to define fields such as account information, exchange information, fund accounts, contracts, operators (buying, selling, opening and flattening operations) and the like, uses a structure body instance to represent the excitation of a client and an exchange end, and solidifies and writes the excitation in txt text of use cases, and each use case accesses a file handle to obtain a package issuing sequence. The method has low automation rate, single covered service scene, long testing process and poor reliability.
If the directional test is used, writing a fixed excitation vector to excite the design to be tested, and ensuring the correctness of the design through waveforms or result files after the simulation is finished. This progressive test approach may be adequate where the design to be tested is of small scale and of small complexity, but requires more time and effort if the design complexity is doubled.
In the comparison module of the verification platform, a Goldendata method is generally used, the result is finally compared by the method, the problem cannot be found in association with the RTL code at the first time, and the joint investigation needs to be developed, so that the positioning difficulty is increased.
Disclosure of Invention
1. The technical problems to be solved are as follows:
The existing method for testing and applying the structure body form by the FPGA has low automation rate, single covered service scene, long testing process and poor reliability, and the problem can not be found at the first time when the RTL code cannot be associated by the verification method of the verification platform, so that the combined investigation is required to be developed, and the positioning difficulty is increased.
2. The technical scheme is as follows:
In order to solve the problems, the invention provides a verification platform applied to a stock futures counter, which comprises a unit to be tested, wherein the unit to be tested is connected with a coverage rate module, an assertion module is connected with the unit to be tested, a configuration module, an excitation module and customer excitation are respectively connected with the unit to be tested and a reference model, the reference module is connected with a score board in a comparison way, the unit to be tested is connected with the score board in a comparison way through a sampling module, and the configuration module configures on-site data; the excitation module is used for simulating the process of simulating the transaction; the sampling module collects the output of each fpga module, performs data analysis on the type of the sampled data distinguishing message, and outputs a warning when the read-write conflict key time sequence is not consistent with the expected time sequence when the assertion is read-write conflict key time sequence; and comparing the score boards, outputting the module acquisition result and the reference model in one-to-one correspondence, comparing the consistency of operation and data, accurately and efficiently locking fault points, and comprehensively obtaining a verification result.
The excitation module comprises customer excitation, exchange excitation and simulation upper software excitation, wherein the customer excitation simulates customer newspaper and drop note input and is packaged according to a udp protocol; the exchange stimulates replies such as report form return, return of return form, state of return form, return of return form and the like of the simulated exchange, and encapsulates the replies according to a tcp protocol; the upper layer software is excited, the simulation software is accessed, and the generation input of customer excitation and exchange excitation is realized through the access of a cpu interface.
The presence data includes, but is not limited to, account information, exchange information, funds accounts, contract information, holding information, and wind control enabled, wind control alert threshold configurations.
The excitation module is provided with error insertion, configures errors such as head-tail asymmetry, field missing, field error, data length mismatch and the like of an insertion packet, and verifies the robustness of the code to be tested.
The invention also provides a verification method based on the verification platform applied to the stock futures counter
3. The beneficial effects are that:
The invention uses the verification platform constructed by the UVM verification methodology, randomizes more fully, combines the script and coverage rate analysis report to carry out verification management, can achieve convergence in a short period of time, greatly improves the test efficiency and reliability.
Drawings
FIG. 1 is a schematic diagram of a verification platform framework.
FIG. 2 is a schematic diagram of a verification method.
Detailed Description
The present invention will be described in detail with reference to the accompanying drawings.
As shown in fig. 1, the UVM _sequence (incentive component), UVM _component (tree structure), UVM _ scoreboard (score board component), UVM _test (test component) and UVM _env (environment component) base classes provided by the UVM are inherited, and are expanded and designed according to the definition of the transaction-level transmission model, so as to build the tree structure of the verification platform. The verification platform is divided into a configuration module, an excitation module, a sampling module, an assertion module, a reference model and a score board comparison module.
The configuration module configures the presence data including, but not limited to, account information, exchange information, funds accounts, contract information, holding information, and wind control enabling, wind control alert threshold configuration, etc.
The excitation module is divided into customer excitation, exchange excitation and simulation upper-layer software excitation. The excitation setting error insertion can be configured to insert errors like packet head-tail asymmetry, field deletion, field error, data length mismatch and the like, and the robustness of the code to be tested is verified.
Customer incentive: and simulating the input of customer newspaper and removing the newspaper, and packaging according to the udp protocol.
Transaction incentive: simulate the returns of the report form, the return of the return form, the report form state, the return of the deal, the return of the refusal form, etc., and packaging according to a tcp protocol.
Upper software excitation; simulation software access is realized, and generation and input of uplink and downlink excitation are realized through cpu interface access.
And a sampling module: and sampling the output of each fpga module, and carrying out data analysis on the sampled data distinguishing message types.
And an assertion module: and setting assertion when the key time sequences are similar to read-write conflict and the like, and outputting alarm when the expected time sequences are not consistent.
Score board comparison module: and outputting the module acquisition result and the reference model in one-to-one correspondence, comparing the consistency of operation and data, accurately and efficiently locking fault points, and comprehensively obtaining a verification result.
The invention also provides a verification method based on the verification platform applied to the stock futures counter, as shown in figure 2, comprising the following steps: firstly, building a verification platform; and a second step of: verifying the use case; the use cases are divided into a directional use case and an automatic use case; randomization of automation use cases includes: randomizing configuration parameters, randomizing a client packet sending message field, randomizing downlink operation of a client packet, randomizing a docking RTL top layer control interface, and randomizing a docking RTL top layer interface data packet sending interval and flow; and a third step of: and (3) verification management: and managing the verification report by using a perl script language.
In a second step, the customer clearance field includes buy and sell, open, quantity, and category.
In the second step, the downlink operation of the client message comprises one-time transaction, multiple-time transaction, form removing and form rejecting.
In the first step, the excitation module is filled into a reference model in the verification platform, and business channel through output of customer excitation, exchange excitation and simulation upper software excitation is realized in the reference model according to the excitation type.
According to the input excitation and configuration information, completing normal processing of error excitation; and judging and intercepting internal wind control according to funds, contracts and holding bins, and synchronously updating corresponding funds change, contract change, holding bin change, real-time profit and loss and other table items in real time.
Examples
The scenario of one orientation use case is:
1. client 1 newspaper 1 (buying)
2. Client 2 newspaper 2 (sell flat)
3. Client 1 newspaper 3 (sell flat)
4. The exchange end replies the client 1 newspaper 1 to the first match-up transaction
5. Client 1 report 3 withdrawal list
6. All the clients 1, 3 at the exchange end are in contact with each other
7. Exchange end customer 1 report 3 failure to remove
8. The exchange end replies the client 2 newspaper 2 to all match up and exchange
9. The exchange end replies the client 1 newspaper 1 to the second match-up transaction
The scenario of the random use case is:
N clients are configured, the newspaper sheets (fields of flat opening, buying and selling, price, quantity and the like) of the clients are sent randomly, the clients send the newspaper sheets randomly aiming at the newspaper sheets, whether the newspaper sheets and the newspaper sheets at the exchange end reject the newspaper sheets randomly or not, and the exchange is matched randomly. The data traffic is also randomized.
The design of random excitation is obtained by development and verification according to a data protocol and service scene evaluation, and faults which cannot be found by the directional use case can be collided under random excitation. In verification management, the same example can use different seed regressions, and coverage rate can be improved. Analyzing coverage dead zones when all use cases are finished, adding new use cases to cover according to the unmeasured parts in the result analysis codes, and finally reaching 100 percent of coverage;
On the verification platform, a complete reference model is provided, expected output of the verification platform is realized by using a system_verilog language, the expected output is compared with sampled service output and table entry updating of RTL, and failure is given to directly locate to the output of a specific module or the time sequence is wrongly asserted, so that the system is easy to locate and modify.
While the application has been described with reference to the preferred embodiments, it will be understood by those skilled in the art that various changes and modifications may be made without departing from the spirit and scope of the application, and it is intended that the scope of the application shall be defined by the appended claims.
Claims (8)
1. The utility model provides a be applied to verification platform of securities futures sales counter, includes the unit that awaits measuring, its characterized in that: the system comprises a coverage rate module, a unit to be tested, an assertion module, a configuration module, an excitation module, a client excitation module, a reference module, a sampling module, a score board comparison module, a configuration module and a display module, wherein the unit to be tested is connected with the coverage rate module, the assertion module is connected with the unit to be tested, the configuration module, the excitation module and the client excitation module are respectively connected with the unit to be tested and the reference module, the reference module is connected with the score board comparison module in a comparison way, the unit to be tested is connected with the score board comparison module through the sampling module, and the configuration module configures the data on the scene; the excitation module is used for simulating the process of simulating the transaction; the sampling module collects the output of each fpga module, performs data analysis on the type of the sampled data distinguishing message, and outputs a warning when the critical time sequence of the read-write conflict is not consistent with the expected time sequence; the score board compares the module acquisition results with the reference module output in a one-to-one correspondence, compares the consistency of operation and data, accurately and efficiently locks fault points, comprehensively obtains verification results, and the excitation module is divided into customer excitation, exchange excitation and upper-layer simulation software excitation, wherein the customer excitation simulates customer newspaper and sheet removal input, and is packaged according to the udp protocol; the exchange stimulates replies such as report form return, return of return form, state of return form, return of return form and the like of the simulated exchange, and encapsulates the replies according to a tcp protocol; the upper layer software is excited, the simulation software is accessed, the generation and input of customer excitation and exchange excitation are realized through the CPU interface access, and the upper layer data comprises but not limited to account information, exchange information, fund account, contract information, bin holding information and wind control enabling and wind control warning threshold configuration.
2. The verification platform for use with a securities futures counter of claim 1, wherein: the excitation module is provided with error insertion, configures errors such as head-tail asymmetry, field missing, field error, data length mismatch and the like of an insertion packet, and verifies the robustness of the code to be tested.
3. A verification method based on the verification platform applied to a securities futures counter according to claim 1 or 2, comprising the steps of: firstly, building a verification platform; and a second step of: verifying the use case; the use cases are divided into a directional use case and an automatic use case; randomization of automation use cases includes: randomizing configuration parameters, randomizing a client packet sending message field, randomizing downlink operation of a client packet, randomizing a docking RTL top layer control interface, and randomizing a docking RTL top layer interface data packet sending interval and flow; and a third step of: and (3) verification management: and managing the verification report by using a perl script language.
4. A method as claimed in claim 3, wherein: in the third step, the method for managing the verification report is as follows: returning to the existing use cases, wherein the seed number of the use case assignment or random regression is configurable; final result analysis of the use case, outputting a regression verification summary of the time; comprising the following steps: the number of successful cases and failed cases shows the seed number and the specific printing of the error points; and the coverage rate analysis report visually reflects the completeness of verification, provides common analysis for development and verification, and increases use cases aiming at missing functional points and boundary problems, so that the coverage rate is gradually improved.
5. The method of claim 3, wherein in a second step, the client's package word segment includes buy and sell, open, quantity, and category.
6. A method according to claim 3, wherein; in the second step, the downlink operation of the client message comprises one-time transaction, multiple-time transaction, form removing and form rejecting.
7. A method as claimed in claim 3, wherein: in the first step, the excitation module is filled into a reference model in the verification platform, and business channel through output of customer excitation, exchange excitation and simulation upper software excitation is realized in the reference model according to the excitation type.
8. The method of claim 7, wherein: according to the input excitation and configuration information, completing normal processing of error excitation; and judging and intercepting internal wind control according to funds, contracts and holding bins, and synchronously updating corresponding funds change, contract change, holding bin change, real-time profit and loss and other table items in real time.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202011440855.8A CN112486835B (en) | 2020-12-11 | 2020-12-11 | Verification platform and method applied to securities futures counter |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202011440855.8A CN112486835B (en) | 2020-12-11 | 2020-12-11 | Verification platform and method applied to securities futures counter |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN112486835A CN112486835A (en) | 2021-03-12 |
| CN112486835B true CN112486835B (en) | 2024-05-03 |
Family
ID=74941690
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202011440855.8A Active CN112486835B (en) | 2020-12-11 | 2020-12-11 | Verification platform and method applied to securities futures counter |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN112486835B (en) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN116306388B (en) * | 2023-05-23 | 2023-07-28 | 苇创微电子(上海)有限公司 | Automatic UVM verification platform free of path connection and construction method thereof |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2016106605A1 (en) * | 2014-12-30 | 2016-07-07 | 京微雅格（北京）科技有限公司 | Simulation verification method for fpga functional module and system thereof |
| CN109739699A (en) * | 2018-11-06 | 2019-05-10 | 电子科技大学 | A kind of SPI verification method based on UVM verification methodology |
| CN110618929A (en) * | 2019-08-01 | 2019-12-27 | 广东工业大学 | Verification platform and verification method of symmetric encryption algorithm based on UVM |
-
2020
- 2020-12-11 CN CN202011440855.8A patent/CN112486835B/en active Active
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2016106605A1 (en) * | 2014-12-30 | 2016-07-07 | 京微雅格（北京）科技有限公司 | Simulation verification method for fpga functional module and system thereof |
| CN109739699A (en) * | 2018-11-06 | 2019-05-10 | 电子科技大学 | A kind of SPI verification method based on UVM verification methodology |
| CN110618929A (en) * | 2019-08-01 | 2019-12-27 | 广东工业大学 | Verification platform and verification method of symmetric encryption algorithm based on UVM |
Also Published As
| Publication number | Publication date |
|---|---|
| CN112486835A (en) | 2021-03-12 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN104268079B (en) | A kind of method and system of POS Application testings | |
| CN105279090B (en) | Test script generation method and device applied to financial field | |
| US8874479B2 (en) | Systems and methods for testing a financial trading system | |
| CN108932663B (en) | Method and device for simulating matched transaction | |
| CN102122265B (en) | System and method for verifying computer software test results | |
| CN105930259B (en) | A kind of method and apparatus of WEB regression tests | |
| CN107730385A (en) | Simulation process method, apparatus, storage medium and the computer equipment of sequence information | |
| US20160125533A1 (en) | System and method for simulating a live trading market | |
| CN110033285A (en) | Information of real estate dissemination method, device, equipment and computer readable storage medium | |
| CN112486835B (en) | Verification platform and method applied to securities futures counter | |
| Carson | Implementing structured requirements to improve requirements quality | |
| CN108090784B (en) | Marketing activity simulation verification method and device | |
| CN107632930A (en) | A kind of method of testing, device, emulator and the computer-readable storage medium of electricity transaction system | |
| US20050223281A1 (en) | Transaction logging and intelligent error reporting in an expectation-based memory agent checker | |
| CN112363939A (en) | Method, system and equipment for quickly generating fuzzy test network protocol template | |
| CN110297778A (en) | A kind of method for testing software and software testing device | |
| CN108153660A (en) | The simulation process method and apparatus of sequence information | |
| CN117131545A (en) | Data processing method and device, storage medium and terminal | |
| CN113672501B (en) | Parking lot service testing method and device | |
| CN111382062A (en) | Joint debugging test method and device for house property transaction system and external mechanism business system | |
| CN111274138B (en) | Method and device for testing account merging function | |
| CN110427313B (en) | System and method for testing transaction function of automatic ticket vending machine | |
| CN112631943A (en) | Identification method and device for computing software | |
| CN110569180A (en) | System and method for testing transaction function of ticket vending machine | |
| Weaver et al. | Composability Applications for Test System Development |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |