CN115048317A - Test method, test system, and computer-readable storage medium - Google Patents
Test method, test system, and computer-readable storage medium Download PDFInfo
- Publication number
- CN115048317A CN115048317A CN202210978814.7A CN202210978814A CN115048317A CN 115048317 A CN115048317 A CN 115048317A CN 202210978814 A CN202210978814 A CN 202210978814A CN 115048317 A CN115048317 A CN 115048317A
- Authority
- CN
- China
- Prior art keywords
- preset
- transaction
- parameter value
- equal
- determining
- 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.)
- Granted
Links
Images
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/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- 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/3664—Environments for testing or debugging software
-
- 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/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/466—Transaction processing
Abstract
The invention discloses a test method, a test system and a computer readable storage medium. The test method comprises the following steps: creating a preset object capable of completely occupying a corresponding physical storage page in a physical storage page of a target space, wherein the target space is at least part of a storage space of a Java card and comprises a plurality of physical storage pages; creating a preset transaction to update the content of a part of preset objects; determining the test parameters of the updated content by the Java card according to the execution condition of the submitted preset transaction; and determining a test result according to the test parameters. According to the test method, the test environment is created by creating a plurality of preset object occupation spaces in the Java card and creating preset transactions to partially update each preset object, and the test result is obtained according to the test parameters obtained by the execution condition of the preset transactions, so that the transaction protection capability of the Java card is determined according to the test result, and the technical competitiveness of the Java card can be evaluated.
Description
Technical Field
The invention relates to the technical field of Java card testing, in particular to a testing method, a testing system and a computer readable storage medium.
Background
The Java card is a smart card capable of running Java programs, which not only can technically enable developers to develop smart card applications without understanding complex hardware technology so as to greatly reduce development time and development difficulty, but also is a very convenient technical implementation means for realizing a one-card multi-purpose service mode. In order to fully improve the technical competitiveness of the Java card, more in-depth evaluation and analysis of the Java card are required.
Disclosure of Invention
The invention provides a test method, a test system and a computer readable storage medium.
The method for testing the Java card comprises the following steps:
creating a preset object capable of completely occupying a corresponding physical storage page in a physical storage page of a target space, wherein the target space is at least part of a storage space of the Java card, and the target space comprises a plurality of physical storage pages;
creating a preset transaction to update the content of part of the preset object;
determining the test parameters of the updated content by the Java card according to the execution condition of the submitted preset transaction;
and determining a test result according to the test parameters.
According to the test method, the test environment is created by creating a plurality of preset object occupation spaces in the Java card and creating preset transactions to partially update each preset object, and the test result is obtained according to the test parameters obtained by the execution condition of the preset transactions, so that the transaction protection capability of the Java card is determined according to the test result, and the technical competitiveness of the Java card can be evaluated.
In some embodiments, creating a preset object capable of fully occupying a corresponding physical storage page in each physical storage page of the target space includes:
creating a preset object with a byte size of a first parameter value in the physical storage page, wherein the first parameter value is the byte size of the maximum space which can be occupied by the physical storage page. In this way, full occupation of the physical memory pages can be achieved.
In some embodiments, creating a preset transaction to update the content of a portion of the preset object includes:
and updating the corresponding content of the preset object to be subjected to the pending operation of the preset transaction, wherein the byte size of the preset object is a second parameter value, the second parameter value is preset with an initial value, and the initial value of the second parameter value is smaller than the first parameter value. Thus, the effect of interval updating in the target space can be simulated.
In some embodiments, determining the test parameters of the Java card for the updated content according to the execution condition of the preset transaction after the preset transaction is submitted includes:
determining whether a second number is equal to a first number, wherein the first number is the number of all preset objects, the second number is the number of the preset objects to be subjected to the operation to be determined in the preset transaction, and the initial value of the second number is preset as the first number;
determining whether the preset transaction is successfully executed, wherein the preset transaction is regarded as successfully executed under the condition that the preset objects to be determined are updated;
and determining the test parameters of the updated content by the Java card according to whether the second quantity is equal to the first quantity and whether the preset transaction is successfully executed. In this way, the backup condition of the updated content by the Java card can be preliminarily determined.
In some embodiments, determining the test parameters of the Java card for the updated content according to whether the second number is equal to the first number and whether the preset transaction is successfully executed includes:
under the condition that the second quantity is equal to the first quantity and the preset transaction is not successfully executed and when the current second parameter value is not equal to the preset initial value, updating the preset transaction according to a third parameter value and executing the updated preset transaction, wherein the initial value of the third parameter value is preset to be one;
under the condition that the updated preset transaction is determined to be successfully executed, adding one to the current third parameter value, updating the preset transaction again according to the processed third parameter value and executing the updated preset transaction again;
determining a current second number, a current second parameter value and a current third parameter value as the test parameters under the condition that the updated preset transaction is determined not to be executed successfully;
and determining the current second quantity and the current second parameter value as the test parameter under the condition that the second quantity is determined not to be equal to the first quantity and the preset transaction is successfully executed. Thus, specific schemes for determining the test parameters can be given.
In some embodiments, determining the test parameters of the Java card for the updated content according to whether the second number is equal to the first number and whether the preset transaction is successfully executed includes:
under the condition that the second quantity is equal to the first quantity and the preset transaction is successfully executed, adding one to the second parameter value, recreating the preset transaction according to the processed third parameter value and executing the recreated preset transaction;
when the second quantity is determined to be not equal to the first quantity and the preset affairs are not executed successfully, performing subtraction processing on the second quantity, recreating the preset affairs according to the processed second quantity and executing the recreated preset affairs;
and when the second quantity is determined to be equal to the first quantity and the preset transaction is not successfully executed and the current second parameter value is determined to be equal to the preset initial value, performing subtraction processing on the second quantity, and recreating the preset transaction and executing the recreated preset transaction according to the processed second quantity. In this way, the backup capability of the Java card for the updated content can be further determined.
In some embodiments, the determining the test result according to the test parameter includes:
determining that the transaction protection mechanism of the Java card is not influenced by the data distribution condition under the condition that the second number is equal to the first number and the first algebraic expression is equal to a fourth parameter value, wherein the fourth parameter value is the maximum byte size of the target space;
determining that the transaction protection mechanism of the Java card can be influenced by the data distribution condition under the condition that the second number is equal to the first number and the first algebraic expression is smaller than the fourth parameter value, wherein the influence degree corresponds to the difference value between the first algebraic expression and the fourth parameter value;
the first algebraic expression is:
(k-1)*β+(n-(k-1))*(β+1)，
wherein k represents a serial number of a preset object when the updated preset transaction is not successfully executed at present, β represents a current byte size of content for updating the preset object in the preset transaction, n represents the number of the preset objects to be operated in the preset transaction,
and in the updated preset transaction, updating the last beta byte content for the first k preset objects and updating the last (beta-1) byte content for the last (N-k) preset objects. Therefore, a specific scheme for obtaining the corresponding test result according to the test parameters can be provided.
In some embodiments, the determining the test result according to the test parameter includes:
under the condition that the second quantity is not equal to the first quantity, determining that the influence degree of a transaction protection mechanism of the Java card on the data distribution condition is greater than a first preset degree;
under the condition that the second quantity is not equal to the first quantity and the second algebraic expression is equal to a fourth parameter value, determining that a transaction protection mechanism of the Java card backs up partial data among the updating contents which are mutually spaced, wherein the fourth parameter value is the maximum byte size of the target space;
determining that the influence degree of a transaction protection mechanism of the Java card on the data distribution condition is greater than a second preset degree under the condition that the second number is not equal to the first number and the second algebraic expression is smaller than the fourth parameter value, wherein the first preset degree is greater than the second preset degree;
the second algebraic expression is:
n*α，
wherein n represents the number of the preset objects to be operated by the preset transaction pending, and α represents the byte size of the maximum space that can be occupied by the physical storage page. Therefore, a specific scheme for obtaining the corresponding test result according to the test parameters can be provided.
The test system for the Java card is used for:
creating a preset object capable of completely occupying a corresponding physical storage page in a physical storage page of a target space, wherein the target space is at least part of a storage space of the Java card, and the target space comprises a plurality of physical storage pages;
creating a preset transaction to update the content of part of the preset object;
determining the test parameters of the updated content by the Java card according to the execution condition of the submitted preset transaction;
and determining a test result according to the test parameters.
According to the test system, the test environment is created by creating a plurality of preset object occupation spaces in the Java card and creating preset transactions to partially update each preset object, and the test result is obtained according to the test parameters obtained by the execution condition of the preset transactions, so that the transaction protection capability of the Java card is determined according to the test result, and the technical competitiveness of the Java card can be evaluated.
In some embodiments, the test system is configured to:
creating a preset object with a byte size of a first parameter value in the physical storage page, wherein the first parameter value is the byte size of the maximum space which can be occupied by the physical storage page. In this manner, full occupation of the physical memory pages may be achieved.
In some embodiments, the test system is configured to:
and updating the corresponding content of the preset object to be subjected to the pending operation of the preset transaction, wherein the byte size of the preset object is a second parameter value, the second parameter value is preset with an initial value, and the initial value of the second parameter value is smaller than the first parameter value. Thus, the effect of interval updating in the target space can be simulated.
In some embodiments, the test system is configured to:
determining whether a second number is equal to a first number, wherein the first number is the number of all preset objects, the second number is the number of the preset objects to be subjected to the operation to be determined in the preset transaction, and the initial value of the second number is preset as the first number;
determining whether the preset transaction is executed successfully, wherein the preset transaction is regarded as being executed successfully under the condition that all preset objects to be determined are updated;
and determining the test parameters of the updated content by the Java card according to whether the second quantity is equal to the first quantity and whether the preset transaction is successfully executed. In this way, the backup condition of the updated content by the Java card can be preliminarily determined.
In some embodiments, the test system is configured to:
under the condition that the second quantity is equal to the first quantity and the preset transaction is not successfully executed and when the current second parameter value is not equal to the preset initial value, updating the preset transaction according to a third parameter value and executing the updated preset transaction, wherein the initial value of the third parameter value is preset to be one;
under the condition that the updated preset transaction is determined to be successfully executed, adding one to the current third parameter value, updating the preset transaction again according to the processed third parameter value, and executing the updated preset transaction again;
determining a current second number, a current second parameter value and a current third parameter value as the test parameters under the condition that the updated preset transaction is determined not to be executed successfully;
and determining the current second quantity and the current second parameter value as the test parameter under the condition that the second quantity is determined not to be equal to the first quantity and the preset transaction is successfully executed. Thus, specific schemes for determining the test parameters can be given.
In some embodiments, the test system is configured to:
under the condition that the second quantity is equal to the first quantity and the preset transaction is successfully executed, adding one to the second parameter value, recreating the preset transaction according to the processed third parameter value and executing the recreated preset transaction;
when the second quantity is determined to be not equal to the first quantity and the preset transaction is not executed successfully, performing subtraction processing on the second quantity, and recreating the preset transaction and executing the recreated preset transaction according to the processed second quantity;
and when the second quantity is determined to be equal to the first quantity and the preset transaction is not successfully executed and the current second parameter value is determined to be equal to the preset initial value, performing subtraction processing on the second quantity, and recreating the preset transaction and executing the recreated preset transaction according to the processed second quantity. In this way, the backup capability of the Java card for the updated content can be further determined.
In some embodiments, the first number is the number of all preset objects, the second number is the number of preset objects to be operated to in pending operation of the preset transaction, and an initial value of the second number is preset as the first number, and the test system is configured to:
determining that the transaction protection mechanism of the Java card is not influenced by the data distribution condition under the condition that the second number is equal to the first number and the first algebraic expression is equal to a fourth parameter value, wherein the fourth parameter value is the maximum byte size of the target space;
determining that the transaction protection mechanism of the Java card can be influenced by the data distribution condition under the condition that the second number is equal to the first number and the first algebraic expression is smaller than the fourth parameter value, wherein the influence degree corresponds to the difference value between the first algebraic expression and the fourth parameter value;
the first algebraic expression is:
(k-1)*β+(n-(k-1))*(β+1)，
wherein k represents a serial number of a preset object when the updated preset transaction is not successfully executed at present, β represents a current byte size of content for updating the preset object in the preset transaction, n represents the number of the preset objects to be operated in the preset transaction,
and in the updated preset transaction, updating the last beta byte content for the first k preset objects and updating the last (beta-1) byte content for the last (N-k) preset objects. Therefore, a specific scheme for obtaining the corresponding test result according to the test parameters can be provided.
In some embodiments, the first number is the number of all the preset objects, the second number is the number of the preset objects to be operated by the preset transaction, and an initial value of the second number is preset as the first number, and the test system is configured to:
under the condition that the second quantity is not equal to the first quantity, determining that the influence degree of a transaction protection mechanism of the Java card on the data distribution condition is greater than a first preset degree;
under the condition that the second number is not equal to the first number and the second algebraic expression is equal to a fourth parameter value, determining that a transaction protection mechanism of the Java card backs up partial data among the updating contents which are mutually spaced, wherein the fourth parameter value is the maximum byte size of the target space;
under the condition that the second quantity is not equal to the first quantity and the second algebraic expression is smaller than the fourth parameter value, determining that the influence degree of a transaction protection mechanism of the Java card on the data distribution condition is larger than a second preset degree, wherein the first preset degree is larger than the second preset degree;
the second algebraic expression is:
n*α，
wherein n represents the number of the preset objects to be operated by the preset transaction pending, and α represents the byte size of the maximum space that can be occupied by the physical storage page. Therefore, a specific scheme for obtaining the corresponding test result according to the test parameters can be provided.
The test system for the Java card according to an embodiment of the present invention includes a memory and a processor, where the memory stores a computer program, and the processor implements the steps of the test method according to any one of the above embodiments when executing the computer program.
According to the test system, the test environment is created by creating a plurality of preset object occupation spaces in the Java card and creating preset transactions to partially update each preset object, and the test result is obtained according to the test parameters obtained by the execution condition of the preset transactions, so that the transaction protection capability of the Java card is determined according to the test result, and the technical competitiveness of the Java card can be evaluated.
A computer-readable storage medium of an embodiment of the present invention has a computer program stored thereon, which, when executed by a processor, implements the steps of the testing method of any of the above-described embodiments.
According to the computer readable storage medium, the test environment is created in a mode that a plurality of preset objects occupy space in the Java card and preset transactions are created to partially update each preset object, the test result is obtained according to the test parameters obtained by the execution condition of the preset transactions, so that the transaction protection capability of the Java card is determined according to the test result, and the technical competitiveness of the Java card can be evaluated.
Additional aspects and advantages of the invention will be set forth in part in the description which follows and, in part, will be obvious from the description, or may be learned by practice of the invention.
Drawings
The above and/or additional aspects and advantages of the present invention will become apparent and readily appreciated from the following description of the embodiments, taken in conjunction with the accompanying drawings of which:
FIG. 1 is a flow chart of a test method of an embodiment of the present invention;
FIG. 2 is a block schematic diagram of a test system according to an embodiment of the present invention;
FIG. 3 is a flow chart of a testing method of an embodiment of the present invention.
Description of the main element symbols:
a test system 100;
Detailed Description
Reference will now be made in detail to embodiments of the present invention, examples of which are illustrated in the accompanying drawings, wherein like reference numerals refer to the same or similar elements or elements having the same or similar function throughout. The embodiments described below with reference to the accompanying drawings are illustrative only for the purpose of explaining the present invention, and are not to be construed as limiting the present invention.
Referring to fig. 1, a method for testing a Java card according to an embodiment of the present invention includes:
01: creating a preset object capable of completely occupying a corresponding physical storage page in a physical storage page of a target space, wherein the target space is at least part of a storage space of a Java card and comprises a plurality of physical storage pages;
02: creating a preset transaction to update the content of a part of preset objects;
03: determining the test parameters of the updated content by the Java card according to the execution condition of the submitted preset transaction;
04: and determining a test result according to the test parameters.
The test method according to the embodiment of the present invention can be implemented by the test system 100 according to the embodiment of the present invention. Specifically, referring to fig. 2, the test system 100 is configured to: creating a preset object capable of completely occupying a corresponding physical storage page in a physical storage page of a target space, wherein the target space is at least part of a storage space of a Java card and comprises a plurality of physical storage pages; creating a preset transaction to update the content of a part of the preset object; determining the test parameters of the updated content by the Java card according to the execution condition of the submitted preset transaction; and determining a test result according to the test parameters.
According to the test method and the test system 100, the test environment is created by creating a plurality of preset object occupation spaces in the Java card and creating preset transactions to partially update each preset object, and the test result is obtained according to the test parameters obtained by the execution condition of the preset transactions, so that the transaction protection capability of the Java card is determined according to the test result, and further the technical competitiveness of the Java card can be evaluated.
In some embodiments, step 01 (creating a preset object in each physical storage page of the target space that can fully occupy the corresponding physical storage page) includes:
the method comprises the steps of creating a preset object with a byte size as a first parameter value in a physical storage page, wherein the first parameter value is the byte size of the maximum space which can be occupied by the physical storage page.
The test method according to the embodiment of the present invention may be implemented by the test system 100 according to the embodiment of the present invention. Specifically, referring to fig. 2, the test system 100 is configured to: the method comprises the steps of creating a preset object with a byte size as a first parameter value in a physical storage page, wherein the first parameter value is the byte size of the maximum space which can be occupied by the physical storage page.
In this manner, full occupation of the physical memory pages may be achieved.
In some embodiments, step 02 (creating the preset transaction to update the content of the partial preset object) comprises:
and updating the corresponding content of the preset object with the byte size as the second parameter value in the pending operation of the preset transaction, wherein the second parameter value is preset with an initial value, and the initial value of the second parameter value is smaller than the first parameter value.
The test method according to the embodiment of the present invention can be implemented by the test system 100 according to the embodiment of the present invention. Specifically, referring to fig. 2, the test system 100 is configured to: updating the corresponding content of the preset object with the byte size as the second parameter value in the pending operation of the preset transaction, wherein the second parameter value is preset with an initial value, and the initial value of the second parameter value is smaller than the first parameter value.
Thus, the effect of interval updating in the target space can be simulated.
In some embodiments, step 03 (determining test parameters of the Java card on the updated content according to the execution condition of the preset transaction after submission) includes:
determining whether a second number is equal to a first number, wherein the first number is the number of all preset objects, the second number is the number of the preset objects of a preset transaction to-be-determined operation, and the initial value of the second number is preset as the first number;
determining whether the preset transaction is successfully executed, wherein the preset transaction is regarded as successfully executed under the condition that the preset objects to be operated are updated;
and determining the test parameters of the updated content by the Java card according to whether the second number is equal to the first number and whether the preset transaction is successfully executed.
The test method according to the embodiment of the present invention can be implemented by the test system 100 according to the embodiment of the present invention. Specifically, referring to fig. 2, the test system 100 is used for: determining whether a second number is equal to a first number, wherein the first number is the number of all preset objects, the second number is the number of the preset objects of a preset transaction to-be-determined operation, and the initial value of the second number is preset as the first number; determining whether the preset transaction is successfully executed, wherein the preset transaction is regarded as successfully executed under the condition that the preset objects to be operated are updated; and determining the test parameters of the updated content by the Java card according to whether the second number is equal to the first number and whether the preset transaction is successfully executed.
In this way, the backup condition of the updated content by the Java card can be preliminarily determined.
In some embodiments, determining the test parameters of the Java card on the updated content according to whether the second number is equal to the first number and whether the preset transaction is successfully executed includes:
under the condition that the second quantity is equal to the first quantity and the preset transaction is not executed successfully and when the current second parameter value is not equal to the preset initial value, updating the preset transaction according to a third parameter value and executing the updated preset transaction, wherein the initial value of the third parameter value is preset to be one;
under the condition that the updated preset transaction is determined to be successfully executed, adding one to the current third parameter value, updating the preset transaction again according to the processed third parameter value and executing the updated preset transaction again;
determining the current second quantity, the current second parameter value and the current third parameter value as test parameters under the condition that the updated preset transaction is determined not to be executed successfully;
and in the case that the second quantity is determined not to be equal to the first quantity and the execution of the preset transaction is successful, determining the current second quantity and the current second parameter value as the test parameters.
The test method according to the embodiment of the present invention can be implemented by the test system 100 according to the embodiment of the present invention. Specifically, referring to fig. 2, the test system 100 is configured to: under the condition that the second quantity is equal to the first quantity and the preset transaction is not executed successfully and when the current second parameter value is not equal to the preset initial value, updating the preset transaction according to a third parameter value and executing the updated preset transaction, wherein the initial value of the third parameter value is preset to be one; under the condition that the updated preset transaction is determined to be successfully executed, adding one to the current third parameter value, updating the preset transaction again according to the processed third parameter value and executing the updated preset transaction again; determining the current second quantity, the current second parameter value and the current third parameter value as test parameters under the condition that the updated preset transaction is determined not to be executed successfully; and in the case that the second quantity is determined not to be equal to the first quantity and the execution of the preset transaction is successful, determining the current second quantity and the current second parameter value as the test parameters.
Thus, specific schemes for determining the test parameters can be given.
In some embodiments, determining the test parameters of the Java card on the updated content according to whether the second number is equal to the first number and whether the preset transaction is successfully executed includes:
under the condition that the second quantity is equal to the first quantity and the execution of the preset transaction is successful, adding one to the second parameter value, recreating the preset transaction according to the processed third parameter value and executing the recreated preset transaction;
when the second quantity is determined to be not equal to the first quantity and the preset transaction is not executed successfully, performing subtraction processing on the second quantity, recreating the preset transaction according to the processed second quantity and executing the recreated preset transaction;
and when the second quantity is determined to be equal to the first quantity and the preset transaction is not successfully executed and the current second parameter value is determined to be equal to the preset initial value, performing subtraction processing on the second quantity, recreating the preset transaction according to the processed second quantity and executing the recreated preset transaction.
The test method according to the embodiment of the present invention can be implemented by the test system 100 according to the embodiment of the present invention. Specifically, referring to fig. 2, the test system 100 is used for: under the condition that the second quantity is equal to the first quantity and the execution of the preset transaction is successful, adding one to the second parameter value, recreating the preset transaction according to the processed third parameter value and executing the recreated preset transaction; when the second quantity is determined to be not equal to the first quantity and the preset transaction is not executed successfully, performing subtraction processing on the second quantity, recreating the preset transaction according to the processed second quantity and executing the recreated preset transaction; and when the second quantity is determined to be equal to the first quantity and the preset transaction is not successfully executed and the current second parameter value is determined to be equal to the preset initial value, performing subtraction processing on the second quantity, recreating the preset transaction according to the processed second quantity and executing the recreated preset transaction.
In this way, the backup capability of the Java card for the updated content can be further determined.
In some embodiments, the first number is the number of all the preset objects, the second number is the number of the preset objects for which the preset transaction is to be executed, and the initial value of the second number is preset to be the first number. Step 04 (determining the test result according to the test parameters), which includes:
determining that a transaction protection mechanism of the Java card is not influenced by the data distribution condition under the condition that the second number is equal to the first number and the first algebraic expression is equal to a fourth parameter value, wherein the fourth parameter value is the maximum byte size of the target space;
determining that the transaction protection mechanism of the Java card is influenced by the data distribution condition under the condition that the second quantity is equal to the first quantity and the first algebraic expression is smaller than the fourth parameter value, wherein the influence degree corresponds to the difference value between the first algebraic expression and the fourth parameter value;
the first exponential is:
(k-1)*β+(n-(k-1))*(β+1)，
wherein k represents the serial number of the preset object when the updated preset transaction is not successfully executed at present, β represents the current byte size of the content for updating the preset object in the preset transaction, N represents the number of the preset objects to be operated by the preset transaction, and in the updated preset transaction, the last β byte content is updated for the first k preset objects, and the last (β -1) byte content is updated for the last (N-k) preset objects.
The test method according to the embodiment of the present invention can be implemented by the test system 100 according to the embodiment of the present invention. Specifically, referring to fig. 2, the test system 100 is used for: determining that a transaction protection mechanism of the Java card is not influenced by the data distribution condition under the condition that the second number is equal to the first number and the first algebraic expression is equal to a fourth parameter value, wherein the fourth parameter value is the maximum byte size of the target space; and determining that the transaction protection mechanism of the Java card is influenced by the data distribution condition under the condition that the second number is equal to the first number and the first algebraic expression is smaller than the fourth parameter value, wherein the influence degree corresponds to the difference value between the first algebraic expression and the fourth parameter value.
Therefore, a specific scheme for obtaining the corresponding test result according to the test parameters can be provided.
In some embodiments, the first number is the number of all the preset objects, the second number is the number of the preset objects to be operated by the preset transaction, and the initial value of the second number is preset as the first number. Step 04 (determining the test result according to the test parameters), which includes:
determining that the influence degree of a transaction protection mechanism of the Java card on the data distribution condition is greater than a first preset degree under the condition that the second quantity is not equal to the first quantity;
under the condition that the second quantity is not equal to the first quantity and the second algebraic expression is equal to a fourth parameter value, determining that a transaction protection mechanism of the Java card can backup partial data among the updating contents which are mutually spaced, wherein the fourth parameter value is the maximum byte size of the target space;
determining that the influence degree of a transaction protection mechanism of the Java card by the data distribution condition is greater than a second preset degree under the condition that the second quantity is not equal to the first quantity and the second algebraic expression is smaller than a fourth parameter value, wherein the first preset degree is greater than the second preset degree;
the second algebraic expression is:
n*α，
wherein n represents the number of preset objects of a preset transaction pending operation, and α represents the byte size of the maximum space that can be occupied by the physical storage page.
The test method according to the embodiment of the present invention can be implemented by the test system 100 according to the embodiment of the present invention. Specifically, referring to fig. 2, the test system 100 is configured to: determining that the influence degree of a transaction protection mechanism of the Java card on the data distribution condition is greater than a first preset degree under the condition that the second quantity is not equal to the first quantity; under the condition that the second quantity is not equal to the first quantity and the second algebraic expression is equal to a fourth parameter value, determining that a transaction protection mechanism of the Java card can backup partial data among the updating contents which are mutually spaced, wherein the fourth parameter value is the maximum byte size of the target space; and under the condition that the second quantity is not equal to the first quantity and the second algebraic expression is smaller than the fourth parameter value, determining that the influence degree of the transaction protection mechanism of the Java card on the data distribution condition is greater than a second preset degree, wherein the first preset degree is greater than the second preset degree.
Therefore, a specific scheme for obtaining the corresponding test result according to the test parameters can be provided.
In particular, for the Java card, after data update, the updated content needs to be protected. For some Java cards, the whole physical storage page where the updated content is located may be backed up, or other data between the updated contents located in different areas may also be backed up, so that a large amount of data is written across pages, which may cause a problem of insufficient space in a backup area, and may affect the transaction protection capability of the Java card.
Referring to FIG. 3, FIG. 3 illustrates an embodiment of evaluating a Java card based on the effectiveness of transaction protection. Specifically, in fig. 3, the byte size α of the maximum space that can be occupied by the physical memory page is determined, and the initial value of β is set to 1 byte. And then, continuously creating preset objects with the byte size of alpha of array data in all physical storage pages in the target space until the preset objects completely occupy the target space, and recording the number of the preset objects as N. Before the transaction is created, the number N of preset objects which need to be operated on the transaction is set as N, and then the transaction is created. In the transaction, the preset object to be operated in the target space is updated to change the content of the last beta bytes of the array data in the preset object to be operated, and then the transaction is submitted for verification.
In the verification process, whether a numerical value N of a preset object needing to be operated by a transaction is currently N is judged, if yes, whether the transaction is successfully executed is judged, after the transaction is successfully executed, beta is increased by 1 byte in a mode of 'beta = beta + 1', and the transaction is re-executed, and after the transaction is not successfully executed, whether beta is currently 1 byte is judged; if not, judging whether the transaction is successfully executed, directly stopping verification and recording current parameters (the number n of preset objects needing to be operated by the current transaction and the current beta) in the current verification process after the transaction is successfully executed, and reducing the number of the preset objects needing to be operated by the transaction by 1 and re-executing the transaction in a mode of 'n = n-1' after the transaction is determined to be unsuccessfully executed.
On the basis, in the verification process of determining whether β is currently 1 byte, if yes, the number of preset objects that the transaction needs to operate is reduced by 1 in a manner of "n = n-1" and the transaction is re-executed, if not, a parameter k with an initial value of 1 is set, and the operation content of the transaction is updated to: and updating the content of the last beta bytes in the array data for the first k preset objects and updating the content of the last (beta-1) bytes in the array data for the last (N-k) preset objects in all the preset objects needing to be operated.
After the update of the operation content of the transaction is completed, whether the transaction is successfully executed is judged, if yes, the parameter k is increased by 1 in a mode of 'k = k + 1' and the transaction is re-executed, and if not, the verification is directly stopped and the current parameters (the number n of preset objects needing to be operated by the current transaction, the current beta and the current k) in the current verification process are recorded. When the transaction execution after the operation content is updated fails, it indicates that the kth of all the preset objects affects the execution of the transaction and causes the transaction execution to fail, so that the current k may be determined as the sequence number of the currently failed preset object in all the preset objects.
After the corresponding parameters have been recorded, the test results can then be determined. Wherein, under the condition that the value N of the preset objects required to be operated by the transaction is determined to be equal to the number N of the preset objects according to the returned parameter record, the result of the following formula is further confirmed:
G=(k-1)*β+(n-(k-1))*(β+1)，
in the case that G is determined to be equal to gamma, the transaction protection mechanism of the Java card is completely unaffected by the distribution condition of the protection data. In the case that it is determined that G is smaller than γ, it indicates that the transaction protection mechanism of the Java card is influenced by the data distribution to some extent, and the degree of influence depends on the difference between G and γ, and the smaller the difference, the smaller the degree of influence by the data distribution is. Where γ is the maximum data size that the target space can support.
Under the condition that the numerical value N of the preset objects required to be operated by the transaction is determined to be smaller than the number N of the preset objects according to the returned parameter record, it indicates that the capability of the Java card in the aspect of transaction protection processing is low, the data distribution condition can have a great influence on a transaction protection mechanism of the Java card, and the result of the following formula can be further confirmed:
F=n*α，
if F is confirmed to be equal to γ, the transaction protection mechanism of the Java card does not process the discrete data distribution, but protects the spatial region between the discrete data, so that the transaction protection capability of the Java card is restricted. In the case where F is confirmed to be smaller than γ, it means that the transaction protection mechanism of the Java card is severely affected by the distribution of discrete data and has poor capability in the transaction protection processing.
Referring to fig. 2, a test system 100 for a Java card according to an embodiment of the present invention includes a memory 110 and a processor 120. The memory 110 stores a computer program, and the processor 120 implements the steps of the test method according to any of the above embodiments when executing the computer program.
For example, in the case of a computer program being executed, the following steps may be implemented:
01: creating a preset object capable of completely occupying a corresponding physical storage page in a physical storage page of a target space, wherein the target space is at least part of a storage space of a Java card and comprises a plurality of physical storage pages;
02: creating a preset transaction to update the content of a part of the preset object;
03: determining the test parameters of the updated content by the Java card according to the execution condition of the submitted preset transaction;
04: and determining a test result according to the test parameters.
The test system 100 creates a test environment by creating a plurality of preset objects in the Java card and creating preset transactions to partially update each preset object, and obtains a test result according to test parameters obtained from the execution condition of the preset transactions, so as to determine the transaction protection capability of the Java card according to the test result, and further evaluate the technical competitiveness of the Java card.
A computer-readable storage medium of an embodiment of the present invention has a computer program stored thereon, which, when executed by the processor 120, implements the steps of the testing method of any of the above-described embodiments.
For example, in the case of a computer program being executed, the following steps may be implemented:
01: creating a preset object capable of completely occupying a corresponding physical storage page in a physical storage page of a target space, wherein the target space is at least part of a storage space of a Java card and comprises a plurality of physical storage pages;
02: creating a preset transaction to update the content of a part of preset objects;
03: determining the test parameters of the updated content by the Java card according to the execution condition of the submitted preset transaction;
04: and determining a test result according to the test parameters.
According to the computer readable storage medium, the test environment is created in a mode that a plurality of preset objects occupy space in the Java card and preset transactions are created to partially update each preset object, the test result is obtained according to the test parameters obtained by the execution condition of the preset transactions, so that the transaction protection capability of the Java card is determined according to the test result, and the technical competitiveness of the Java card can be evaluated.
The computer-readable storage medium may be provided in the test system 100, or may be provided in another terminal, and the test system 100 may communicate with the other terminal to obtain the corresponding program.
It is understood that the computer-readable storage medium may include: any entity or device capable of carrying a computer program, recording medium, U-disk, removable hard disk, magnetic disk, optical disk, computer Memory, Read-Only Memory (ROM), Random Access Memory (RAM), software distribution medium, and the like. The computer program includes computer program code. The computer program code may be in the form of source code, object code, an executable file or some intermediate form, etc. The computer-readable storage medium may include: any entity or device capable of carrying computer program code, recording medium, U.S. disk, removable hard disk, magnetic disk, optical disk, computer Memory, Read-Only Memory (ROM), Random Access Memory (RAM), and software distribution medium.
In some embodiments of the present invention, the test system 100 may be a single-chip microcomputer chip, which integrates a processor, a memory, a communication module, and the like. The Processor may be a Central Processing Unit (CPU), other general purpose Processor, a Digital Signal Processor (DSP), an Application Specific Integrated Circuit (ASIC), a Field-Programmable Gate Array (FPGA) or other Programmable logic device, discrete Gate or transistor logic, discrete hardware components, etc.
Any process or method descriptions in flow charts or otherwise described herein may be understood as representing modules, segments, or portions of code which include one or more executable instructions for implementing specific logical functions or steps of the process, and alternate implementations are included within the scope of the preferred embodiment of the present invention in which functions may be executed out of order from that shown or discussed, including substantially concurrently or in reverse order, depending on the functionality involved, as would be understood by those reasonably skilled in the art of the present invention.
The logic and/or steps represented in the flowcharts or otherwise described herein, such as an ordered listing of executable instructions that can be considered to implement logical functions, can be embodied in any computer-readable medium for use by or in connection with an instruction execution system, apparatus, or device, such as a computer-based system, processing module-containing system, or other system that can fetch the instructions from the instruction execution system, apparatus, or device and execute the instructions.
Furthermore, the terms "first", "second" and "first" are used for descriptive purposes only and are not to be construed as indicating or implying relative importance or implicitly indicating the number of technical features indicated. Thus, features defined as "first", "second", may explicitly or implicitly include one or more of the described features. In the description of the present invention, "a plurality" means two or more unless specifically defined otherwise.
While embodiments of the present invention have been shown and described, it will be understood by those of ordinary skill in the art that: various changes, modifications, substitutions and alterations can be made to the embodiments without departing from the principles and spirit of the invention, the scope of which is defined by the claims and their equivalents.
Claims (18)
1. A test method for a Java card is characterized by comprising the following steps:
creating a preset object capable of completely occupying a corresponding physical storage page in a physical storage page of a target space, wherein the target space is at least part of a storage space of the Java card, and the target space comprises a plurality of physical storage pages;
creating a preset transaction to update the content of part of the preset object;
determining the test parameters of the updated content by the Java card according to the execution condition of the submitted preset transaction;
and determining a test result according to the test parameters.
2. The method according to claim 1, wherein creating a preset object capable of fully occupying each physical storage page of the target space comprises:
creating a preset object with a byte size of a first parameter value in the physical storage page, wherein the first parameter value is the byte size of the maximum space which can be occupied by the physical storage page.
3. The method of claim 2, wherein creating a preset transaction to update a portion of the content of the preset object comprises:
and updating the corresponding content of the preset object to be subjected to the pending operation of the preset transaction, wherein the byte size of the preset object is a second parameter value, the second parameter value is preset with an initial value, and the initial value of the second parameter value is smaller than the first parameter value.
4. The method according to claim 3, wherein determining the test parameters of the Java card for the updated content according to the execution condition of the preset transaction after the preset transaction is submitted comprises:
determining whether a second number is equal to a first number, wherein the first number is the number of all preset objects, the second number is the number of the preset objects to be subjected to the operation to be determined in the preset transaction, and the initial value of the second number is preset as the first number;
determining whether the preset transaction is successfully executed, wherein the preset transaction is regarded as successfully executed under the condition that the preset objects to be determined are updated;
and determining the test parameters of the updated content by the Java card according to whether the second quantity is equal to the first quantity and whether the preset transaction is successfully executed.
5. The method for testing the updated content according to claim 4, wherein determining the testing parameters of the Java card for the updated content according to whether the second number is equal to the first number and whether the preset transaction is successfully executed comprises:
under the condition that the second quantity is equal to the first quantity and the preset transaction is not successfully executed and when the current second parameter value is not equal to the preset initial value, updating the preset transaction according to a third parameter value and executing the updated preset transaction, wherein the initial value of the third parameter value is preset to be one;
under the condition that the updated preset transaction is determined to be successfully executed, adding one to the current third parameter value, updating the preset transaction again according to the processed third parameter value and executing the updated preset transaction again;
determining the current second quantity, the current second parameter value and the current third parameter value as the test parameters under the condition that the updated preset transaction is determined not to be executed successfully;
and determining the current second quantity and the current second parameter value as the test parameter under the condition that the second quantity is determined not to be equal to the first quantity and the preset transaction is successfully executed.
6. The method for testing the updated content according to claim 4, wherein determining the testing parameters of the Java card for the updated content according to whether the second number is equal to the first number and whether the preset transaction is successfully executed comprises:
under the condition that the second quantity is equal to the first quantity and the preset transaction is successfully executed, adding one to the second parameter value, recreating the preset transaction according to the processed third parameter value and executing the recreated preset transaction;
when the second quantity is determined to be not equal to the first quantity and the preset transaction is not executed successfully, performing subtraction processing on the second quantity, and recreating the preset transaction and executing the recreated preset transaction according to the processed second quantity;
and when the second quantity is determined to be equal to the first quantity and the preset transaction is not successfully executed and the current second parameter value is determined to be equal to the preset initial value, performing subtraction processing on the second quantity, and recreating the preset transaction and executing the recreated preset transaction according to the processed second quantity.
7. The method according to claim 1, wherein the first number is a number of all the preset objects, the second number is a number of the preset objects to which the preset transaction is to be determined, and an initial value of the second number is preset as the first number, and determining the test result according to the test parameter comprises:
determining that the transaction protection mechanism of the Java card is not influenced by the data distribution condition under the condition that the second number is equal to the first number and the first algebraic expression is equal to a fourth parameter value, wherein the fourth parameter value is the maximum byte size of the target space;
determining that the transaction protection mechanism of the Java card can be influenced by the data distribution condition under the condition that the second number is equal to the first number and the first algebraic expression is smaller than the fourth parameter value, wherein the influence degree corresponds to the difference value between the first algebraic expression and the fourth parameter value;
the first algebraic expression is:
(k-1)*β+(n-(k-1))*(β+1)，
wherein k represents a serial number of a preset object when the updated preset transaction is not successfully executed at present, β represents a current byte size of content for updating the preset object in the preset transaction, n represents the number of the preset objects to be operated in the preset transaction,
and in the updated preset transaction, updating the last beta byte content for the first k preset objects and updating the last (beta-1) byte content for the last (N-k) preset objects.
8. The method according to claim 1, wherein the first number is a number of all the preset objects, the second number is a number of the preset objects in which the preset transaction is to be determined, an initial value of the second number is preset as the first number, and determining the test result according to the test parameter includes:
under the condition that the second quantity is not equal to the first quantity, determining that the influence degree of a transaction protection mechanism of the Java card on the data distribution condition is greater than a first preset degree;
under the condition that the second quantity is not equal to the first quantity and the second algebraic expression is equal to a fourth parameter value, determining that a transaction protection mechanism of the Java card backs up partial data among the updating contents which are mutually spaced, wherein the fourth parameter value is the maximum byte size of the target space;
under the condition that the second quantity is not equal to the first quantity and the second algebraic expression is smaller than the fourth parameter value, determining that the influence degree of a transaction protection mechanism of the Java card on the data distribution condition is larger than a second preset degree, wherein the first preset degree is larger than the second preset degree;
the second algebraic expression is:
n*α，
wherein n represents the number of the preset objects to be operated by the preset transaction pending, and α represents the byte size of the maximum space that can be occupied by the physical storage page.
9. A test system for a Java card, the test system configured to:
creating a preset object capable of completely occupying a corresponding physical storage page in a physical storage page of a target space, wherein the target space is at least part of a storage space of the Java card, and the target space comprises a plurality of physical storage pages;
creating a preset transaction to update the content of part of the preset object;
determining the test parameters of the updated content by the Java card according to the execution condition of the submitted preset transaction;
and determining a test result according to the test parameters.
10. The test system of claim 9, wherein the test system is configured to:
creating a preset object with a byte size of a first parameter value in the physical storage page, wherein the first parameter value is the byte size of the maximum space which can be occupied by the physical storage page.
11. The test system of claim 10, wherein the test system is configured to:
and updating the corresponding content of the preset object to be subjected to the pending operation of the preset transaction, wherein the byte size of the preset object is a second parameter value, the second parameter value is preset with an initial value, and the initial value of the second parameter value is smaller than the first parameter value.
12. The test system of claim 11, wherein the test system is configured to:
determining whether a second number is equal to a first number, wherein the first number is the number of all preset objects, the second number is the number of the preset objects to be subjected to the operation to be determined in the preset transaction, and the initial value of the second number is preset as the first number;
determining whether the preset transaction is successfully executed, wherein the preset transaction is regarded as successfully executed under the condition that the preset objects to be determined are updated;
and determining the test parameters of the updated content by the Java card according to whether the second quantity is equal to the first quantity and whether the preset transaction is successfully executed.
13. The test system of claim 12, wherein the test system is configured to:
under the condition that the second quantity is equal to the first quantity and the preset transaction is not successfully executed and when the current second parameter value is not equal to the preset initial value, updating the preset transaction according to a third parameter value and executing the updated preset transaction, wherein the initial value of the third parameter value is preset to be one;
under the condition that the updated preset transaction is determined to be successfully executed, adding one to the current third parameter value, updating the preset transaction again according to the processed third parameter value and executing the updated preset transaction again;
determining a current second number, a current second parameter value and a current third parameter value as the test parameters under the condition that the updated preset transaction is determined not to be executed successfully;
and under the condition that the second quantity is determined not to be equal to the first quantity and the preset transaction is successfully executed, determining the current second quantity and the current second parameter value as the test parameters.
14. The test system of claim 12, wherein the test system is configured to:
under the condition that the second quantity is equal to the first quantity and the preset transaction is successfully executed, adding one to the second parameter value, recreating the preset transaction according to the processed third parameter value and executing the recreated preset transaction;
when the second quantity is determined to be not equal to the first quantity and the preset transaction is not executed successfully, performing subtraction processing on the second quantity, and recreating the preset transaction and executing the recreated preset transaction according to the processed second quantity;
and when the second quantity is determined to be equal to the first quantity and the preset transaction is not successfully executed and the current second parameter value is determined to be equal to the preset initial value, performing subtraction processing on the second quantity, and recreating the preset transaction and executing the recreated preset transaction according to the processed second quantity.
15. The test system of claim 9, wherein the first number is a number of all the preset objects, the second number is a number of the preset objects in which the preset transaction is to be determined, and an initial value of the second number is preset to the first number, and the test system is configured to:
determining that the transaction protection mechanism of the Java card is not influenced by the data distribution condition under the condition that the second number is equal to the first number and the first algebraic expression is equal to a fourth parameter value, wherein the fourth parameter value is the maximum byte size of the target space;
determining that the transaction protection mechanism of the Java card can be influenced by the data distribution condition under the condition that the second number is equal to the first number and the first algebraic expression is smaller than the fourth parameter value, wherein the influence degree corresponds to the difference value between the first algebraic expression and the fourth parameter value;
the first algebraic expression is:
(k-1)*β+(n-(k-1))*(β+1)，
wherein k represents a serial number of a preset object when the updated preset transaction is not successfully executed at present, β represents a current byte size of content for updating the preset object in the preset transaction, n represents the number of the preset objects to be operated in the preset transaction,
and in the updated preset transaction, updating the last beta byte content for the first k preset objects and updating the last (beta-1) byte content for the last (N-k) preset objects.
16. The test system of claim 9, wherein the first number is a number of all the preset objects, the second number is a number of the preset objects in which the preset transaction is to be determined, and an initial value of the second number is preset to the first number, and the test system is configured to:
under the condition that the second quantity is not equal to the first quantity, determining that the influence degree of a transaction protection mechanism of the Java card on the data distribution condition is greater than a first preset degree;
under the condition that the second quantity is not equal to the first quantity and the second algebraic expression is equal to a fourth parameter value, determining that a transaction protection mechanism of the Java card backs up partial data among the updating contents which are mutually spaced, wherein the fourth parameter value is the maximum byte size of the target space;
determining that the influence degree of a transaction protection mechanism of the Java card on the data distribution condition is greater than a second preset degree under the condition that the second number is not equal to the first number and the second algebraic expression is smaller than the fourth parameter value, wherein the first preset degree is greater than the second preset degree;
the second algebraic expression is:
n*α，
wherein n represents the number of the preset objects to be operated by the preset transaction pending, and α represents the byte size of the maximum space that can be occupied by the physical storage page.
17. A test system for a Java card comprising a memory storing a computer program and a processor implementing the steps of the test method of any one of claims 1 to 8 when the computer program is executed by the processor.
18. A computer-readable storage medium, on which a computer program is stored which, when being executed by a processor, carries out the steps of the testing method according to any one of claims 1 to 8.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202210978814.7A CN115048317B (en) | 2022-08-16 | 2022-08-16 | Test method, test system, and computer-readable storage medium |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202210978814.7A CN115048317B (en) | 2022-08-16 | 2022-08-16 | Test method, test system, and computer-readable storage medium |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN115048317A true CN115048317A (en) | 2022-09-13 |
| CN115048317B CN115048317B (en) | 2022-11-29 |
Family
ID=83167506
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202210978814.7A Active CN115048317B (en) | 2022-08-16 | 2022-08-16 | Test method, test system, and computer-readable storage medium |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN115048317B (en) |
Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102855186A (en) * | 2012-07-24 | 2013-01-02 | 飞天诚信科技股份有限公司 | Method for processing Java card debugging information |
| US20140250329A1 (en) * | 2013-03-01 | 2014-09-04 | International Business Machines Corporation | System level architecture verification for transaction execution in a multi-processing environment |
| CN106339308A (en) * | 2015-07-10 | 2017-01-18 | 北京中电华大电子设计有限责任公司 | Test method of Java Card transaction mechanism |
| US9619367B1 (en) * | 2015-11-12 | 2017-04-11 | International Business Machines Corporation | Object monitoring in code debugging |
| CN108255724A (en) * | 2018-01-17 | 2018-07-06 | 北京网信云服信息科技有限公司 | A kind of test method and system of affairs participant |
| CN109739779A (en) * | 2019-01-07 | 2019-05-10 | 金邦达有限公司 | A kind of method, computer installation and computer readable storage medium obtaining free memory in java card |
| CN112650673A (en) * | 2020-12-22 | 2021-04-13 | 深圳壹账通智能科技有限公司 | Method and device for creating test case in transaction tracking system and electronic equipment |
-
2022
- 2022-08-16 CN CN202210978814.7A patent/CN115048317B/en active Active
Patent Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102855186A (en) * | 2012-07-24 | 2013-01-02 | 飞天诚信科技股份有限公司 | Method for processing Java card debugging information |
| US20140250329A1 (en) * | 2013-03-01 | 2014-09-04 | International Business Machines Corporation | System level architecture verification for transaction execution in a multi-processing environment |
| CN106339308A (en) * | 2015-07-10 | 2017-01-18 | 北京中电华大电子设计有限责任公司 | Test method of Java Card transaction mechanism |
| US9619367B1 (en) * | 2015-11-12 | 2017-04-11 | International Business Machines Corporation | Object monitoring in code debugging |
| CN108255724A (en) * | 2018-01-17 | 2018-07-06 | 北京网信云服信息科技有限公司 | A kind of test method and system of affairs participant |
| CN109739779A (en) * | 2019-01-07 | 2019-05-10 | 金邦达有限公司 | A kind of method, computer installation and computer readable storage medium obtaining free memory in java card |
| CN112650673A (en) * | 2020-12-22 | 2021-04-13 | 深圳壹账通智能科技有限公司 | Method and device for creating test case in transaction tracking system and electronic equipment |
Also Published As
| Publication number | Publication date |
|---|---|
| CN115048317B (en) | 2022-11-29 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7971112B2 (en) | Memory diagnosis method | |
| US20050149824A1 (en) | Method for fast ECC memory testing by software including ECC check byte | |
| JP2012221488A (en) | System and method for handling bad bit errors | |
| US4800563A (en) | Error processing method and apparatus for information processing system | |
| US7624384B2 (en) | Apparatus, system, and method of dynamic binary translation with translation reuse | |
| US4368532A (en) | Memory checking method | |
| CN107203436B (en) | Method and device for data verification of Nand Flash | |
| CN117136355A (en) | Error checking data for use in offloading operations | |
| CN115048317B (en) | Test method, test system, and computer-readable storage medium | |
| CN112486723B (en) | Data verification method and device, processor and electronic equipment | |
| US8225284B2 (en) | Methods and systems for testing software development | |
| CN108984117B (en) | Data reading and writing method, medium and equipment | |
| CN115048256B (en) | Test method, test system, and computer-readable storage medium | |
| CN111352754A (en) | Data storage error detection and correction method and data storage device | |
| US20070179635A1 (en) | Method and article of manufacure to persistently deconfigure connected elements | |
| CN111369346B (en) | User credit evaluation method, device, server and storage medium | |
| US20240020140A1 (en) | Computer system enabled with runtime software module tracking | |
| KR100276885B1 (en) | Reliability Test Method for Disks for Exchange Storage Media | |
| CN115440285A (en) | Chip repairing method and device, electronic equipment and storage medium | |
| CN117421162A (en) | Memory fault detection method and device, computer equipment and storage medium | |
| CN117592754A (en) | Business data batch running method and device | |
| JP4741835B2 (en) | Memory dump system | |
| CN117687833A (en) | Method, device and storage medium for testing data security | |
| CN117891509A (en) | Data access method, device, computer equipment and storage medium | |
| CN116431388A (en) | Data recovery method and application of distributed file system |
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 |