41 results about "Test adequacy" patented technology

An automated assay processing method including transferring a first number of samples from respective sample containers to a first intermediary vessel, determining the testing adequacy of a second number of samples in a second intermediary vessel, preparing a third number of samples in a third intermediary vessel for downstream testing; and transferring a fourth number of samples from a fourth intermediary vessel to an output sample tray. These steps are all performed essentially simultaneously within the duration of a single clock cycle and are repeated during one or more subsequent clock cycles. The clock cycle may be relative to each intermediary vessel. The clock cycle also may be universal to the first, second, third and fourth intermediary vessels.

The invention discloses an operating system standard conformance test adequacy evaluation method based on an interface model, relating to software test adequacy evaluation. The adequacy evaluation method is applicable for compliance tests of an operating system specific to a specific standard, and can measure the coverage fraction of test case design on a standard interface so as to provide the basis for the selection and the improvement of a test case and for the evaluation of test adequacy. The method includes three steps: initializing a computer to establish a data model and a functional model of an interface and to acquire a standard conformance test case set; evaluating the test adequacy and calculating the interface input parameter, the interface input parameter-output parameter set, interface function, interface function set and the comprehensive coverage fraction of the system; and selecting the test case based on the coverage fraction, setting a coverage fraction goal for the standard conformance test, iteratively selecting the test case from the test case set until the coverage fraction goal is satisfied.

The present invention provides a device and method for determining the adequacy of squamous (ectocervical) cells, columnar (endocervical) cells, neutrophils, and noncellular material in a liquid based cytology specimen. The invention first analyzes a liquid based cytology specimen using light scatter to create a light scatter characteristic representing a predetermined cell. Next the invention determines the presence of squamous (ectocervical) cells versus columnar (endocervical) cells versus neutrophils versus noncellular material using the results of the light scatter. The light scatter characteristic that may be used may be forward light scatter, side light scatter, or both side and forward light scatter.

The invention discloses a test method and device for a web service interface with authentication authorization, and relates to the technical field of computers. One specific embodiment of the method comprises the following steps: respectively establishing a login script for each tested system; dynamically loading and executing a login script corresponding to the tested system according to the incidence relation between the tested system and the login script so as to simulate the tested system for login testing and obtain authentication information; and providing the authentication informationto an interface test tool so as to add the authentication information to an interface access request of the tested system, and verifying response data returned by the tested system. The implementationmode is suitable for automatically testing the web service interface of the tested system with authority control. The method avoids too large invasiveness to the system, reduces errors, does not needto manually configure authentication authorization information, improves automation efficiency, is high in expandability, can achieve multi-user multi-role login, guarantees interface test sufficiency, does not need to be restarted, and improves system availability.

The invention discloses an automatic test system based on scene description. The automatic test system includes a rule base, an object attribute extractor, a scene model builder, a parsing engine, a path constraint extractor, a core controller, a constraint solver, a solver adapter, a test case generator, a test case library and an optimization engine. According to the automatic test system, attributes of a test object are extracted according to the specific rule base and added to a scene model, the information of the model itself and a heuristic information analysis model extracted from the test case library are combined to automatically generate a test path, a corresponding test input is generated by using the constraint solver, the test path and the test input are integrated to generatea test case and the test case is optimized. While ensuring test adequacy, the test cost of a manual test is reduced, and the test efficiency is improved. The invention also discloses an implementation method of the automatic test system based on scene description.

The invention discloses a code and function covering mapping system which structurally comprises a white box testing tool, a code covering information extraction module, a code and control mapping processing module and a code covering and function covering mapping module. The invention also discloses a code and function covering mapping method and has the technical scheme that: a bridge between a white box testing and a black box testing can be set up, respective specialty of the white box testing and the black box testing can be fully exerted, and sufficiency and efficiency for a testing can be improved.

The invention relates to a multi-dimension measurement method and device for test adequacy. The method includes the steps that a test adequacy measurement model is established through a computer; all measures of software to be measured are calculated according to the test adequacy measurement model, wherein the measures at least include one or more of code coverage rate distribution of a software module, demanded process coverage rate distribution, complexity weighted code coverage rate distribution, complexity weighted test case number distribution, test case updating proportion distribution of a certain stage and newly-increased failure number distribution of the corresponding stage. According to the multi-dimension measurement method and device for test adequacy, by carrying out multi-dimension comprehensive measurement on test adequacy from multiple perspectives instead of adopting a numerical value measurement method to evaluate test adequacy, test data information is more subjectively utilized to evaluate test adequacy, and higher persuasion and interpretability are achieved.

One embodiment described herein is directed to a method practiced in a computing environment. The method includes acts for determining test suite effectiveness for testing for concurrency problems and / or product faults. The method includes identifying a plurality of synchronization primitives in a section of implementation source code. One or more of the synchronization primitives are iteratively modified and a same test suite is run for each iteration. For each iteration, a determination is made whether or not the test suite returns an error as a result of modifying one or more synchronization primitives. When the test suite does not return an error, the method includes providing to a user an indication which indicates at least one of a test adequacy hole for the test suite; an implementation source code fault; or an equivalent mutant of the implementation source code.

The invention provides a crowd test process-based automatic prediction method for crowd test task closing time, which comprises the steps of monitoring a crowd test process, and collecting a crowd test report according to a time sequence; automatically evaluating term coverage required by a public test task, and judging whether the term coverage meets a set threshold value or not; taking the specific number of public test reports as an incremental sampling group; automatically detecting the repeatability between the public test reports; based on repeatability among the public test reports, obtaining a defect arrival trend taking an incremental sampling group as a unit, predicting the number of defects contained in tested software by adopting a capture-recapture method, if the number of discovered defects is the same as the number of predicted defects and the term coverage degree is met, taking the current time as the closing time of the task, and otherwise, continuing to monitor the public test process. The crowd testing process is monitored in real time, and the proper crowd testing task closing time is predicted, so that the testing sufficiency is ensured, and the crowd testingcost can be reduced.

The invention relates to a method for super-high-speed interpretive execution of assembly instructions of a TMS320C25 chip in an X86 computer, and belongs to the technical field of power. According to the method, the assembly instructions can be efficiently and quickly subjected to simulative running in a Windows environment without use of a special simulator; and by virtue of multiple universal test tools, massive test cases are executed at a high speed, the functional correctness of an assembly language program is quickly and effectively verified, code coverage is obtained, and a device under test is subjected to a white box test, so that the test fullness of the assembly language program is improved.

The invention provides a method for acquiring test adequacy on the basis of function call path criteria. The method includes steps of 1, determining indexes in test criterion adequacy metric index systems by the aid of GQM (goal question metrics) normal forms; 2, computing and comparing test adequacy of a plurality of test criteria by the aid of data envelopment analysis processes which are used as decision-making processes in the index systems.

The invention provides a code coverage rate real-time acquisition method and device, which can be applied to the financial field. The method comprises the following steps: acquiring the original coverage rate and configuration information of a code through a preset acquisition plug-in; generating a change program list through a version control tool according to the original coverage rate and the configuration information; and cleaning the changed program list, and combining the cleaned changed program list with the original coverage rate to obtain an updated coverage rate. Only programs in the changed program list are subjected to key monitoring, and the coverage rate of the changed programs can also be subjected to key monitoring under the condition that the data volume of the programs stored in an application server terminal is relatively large, so that the waste of system resources is avoided in a targeted manner. Meanwhile, the coverage rate of the changed programs is integrated in real time, so that updating delay is avoided, a tester can know whether the coverage rate reaches the standard or not and whether the programs need to be subjected to supplementary testing or not in real time, and the effect on testing sufficiency is more direct and efficient.

The invention relates to a software test adequacy measurement method based on a system characteristic state, which relates to the technical field of software test. The invention can quantitatively evaluate the adequacy of the system test and guide how to improve the adequacy of the test. As long as the communication protocol format between the systems can be obtained and the communication data canbe collected, the method can be used to guide the system-level testing. The use of the method is not sensitive to the complexity of the system, and can support the testing of large and complex systems. You can visually indicate which software key feature states are not overridden. Analogous to sentence coverage, branch coverage and path coverage in white-box testing, this method can be defined asmulti-level test coverage statistics such as feature state coverage and feature state combination coverage, which can meet the different security and reliability requirements of system test termination conditions.

The invention belongs to embedded type software test methods and particularly relates to a method for building an AD / DA interface fault model on the basis of an NI platform. The method comprises a first step of setting different fault injection data parameters and fault injection files according to the cross-linking environment of tested software and the fault injection requirements; a second step of jointly configuring the fault injection data parameters and the fault injection files to a fault injection tool; and a third step of performing connection to carry out a test according to the cross-linking environment of the tested software and the AD / DA fault injection tool cross-linking requirements. The method has the advantages that AD / DA faults can be simulated so as to improve test sufficiency, and the quality standard of embedded type software dynamic testing with respect to AD / DA use case execution sufficiency is improved finally.

The invention relates to an intelligent contract testing method based on multi-objective optimization. The method comprises steps of obtaining an ABI for an Ethereum intelligent contract source program through truffle compiling, and generating a series of random testing suites through a method for obtaining an intelligent contract through the analysis of the ABI; running a test suite on a local chain to obtain a plurality of conflicting targets such as gas consumption, test case number, branch coverage rate and variation score; non-dominated sorting being carried out according to the collectedinformation, and a Pareto optimal solution being found so that balance is achieved among multiple targets. The method is advantaged in that the method aims to automatically generate the intelligent contract test suite which has cost effectiveness and representativeness, help contract testers to improve the test sufficiency and reduce the test cost at the same time, and finally achieve the goals of improving the intelligent contract test effect and guaranteeing the intelligent contract quality.

The invention discloses a convolutional neural network-oriented mutation coverage test method and a computer storage medium, and the method comprises the following steps: 1) setting n mutation operators, and respectively injecting the n mutation operators into a to-be-tested convolutional neural network program P to obtain a mutation program set {P1, P2, P3,and the like, Pn}; 2) training the variation program set {P1, P2, P3, and the like, Pn} by using a training data set D to obtain a variation model set {M1, M2, M3, and the like, Mn}; 3) testing the original model M and the variation model set {M1, M2, M3, and the like, Mn} by using a test data set T; and 4) comparing the test accuracy of all the models, and selecting the model with the highest accuracy. According to the invention, the defect that the traditional test method is difficult to ensure the test sufficiency of the convolutional neural network application program is solved. The test sufficiency of the convolutional neural network can be effectively improved, the method is more effective in neural network model testing, the local optimal model can be found out according to the test accuracy, and the quality and safety ofthe convolutional neural network application program are effectively guaranteed.

The invention provides a transformer substation relay protection device constant value conformance automatic test method and system, and the method comprises the steps: automatically calculating and selecting a constant value test sequence, needing to be tested, of a protection device, carrying out the automatic testing in sequence, avoiding the manual input of a tester, and being high in automation degree. The constant value test time is greatly reduced, and the constant value test efficiency of the relay protection device is greatly improved; a uniform valuing algorithm or a random valuing algorithm can be flexibly adopted to select a constant value setting value from all constant value setting values for testing, so that the test coverage degree is improved, and the test sufficiency isensured; repeated labor of testers is reduced, and the testers can better tease the test process and analyze the test result.

The embodiment of this specification provides a method and device for model testing. According to this method, first obtain samples from the test sample set, and then input the samples into multiple models to be tested included in the model set to obtain the output results of each model to be tested , and then determine the test result according to the output result, further, if the test result does not meet the predetermined condition, according to the predetermined rule, generate a new sample based on the above sample, and add the generated new sample to the test sample set. In this way, when the model testing method is executed cyclically, on the one hand, the accuracy and / or test adequacy of the model to be detected will be evaluated; samples to improve the effectiveness of model testing.

The invention provides a test data construction method and device. The method comprises the steps of receiving input structured sample test data; obtaining at least one sample data type of the sampletest data and corresponding sample data characteristics; according to at least one sample data type contained in each sample data type and the data volume corresponding to each sample data type, obtaining sample data distribution characteristics corresponding to each sample data type; and performing data construction according to each sample data type and the corresponding sample data characteristics and sample data distribution characteristics, and generating a preset construction number of target test data. The invention is suitable for generation of a large amount of data in software testing, meets the requirement for rapid acquisition of structured data in big data testing, relieves the burden of data preparation of testing personnel, guarantees the large amount, integrity and diversity of testing data, and effectively improves the testing efficiency and testing sufficiency.

The invention provides a modelling method of strip-shaped single-particle imaging noise. The content is as follows: the single-particle slantly shines to an imaging chip, so that the implicated pixelalong the single-particle linear trajectory is in high-gray value or saturation; the gray assignment of the trajectory implicated pixel is based on the area of the smaller part after cutting the pixelalong the trajectory; when the linear trajectory passes through a pixel center, the gray assignment is the highest; the linear trajectory passes through the pixel angular point, and the gray assignments of the pixels at two sides are the lowest; or the square value of the length, cut by the pixel, of the trajectory line is used as the basis of the gray assignment, or the length value, cut by thepixel, of the trajectory line is used as the basis of the gray assignment. The single-particle noise imaging generated through the method disclosed by the invention and the simulated image are superposed as the input, the simulation experiment is performed for a camera or a star sensor, the similarity of the single-particle interference imaging working condition simulation can be improved, the working condition coverage range of the model testing is enlarged, and the testing sufficiency of the camera or the star sensor embedded system is improved.

The invention discloses a packet data service paging telephone traffic testing method and device. The testing device comprises a control background module and a foreground processing module. The testing method comprises the following steps: the control background module creates multiple user sessions for a telephone traffic tool; the control background module communicates with the foreground processing module according to a paging test model set by a user; and the foreground processing module send a packet data service request paging message to a tested BSS (base station system) according to information exchange with the control background module. Through the packet data service paging telephone traffic testing method and device disclosed by the invention, the data service paging telephone traffic test of a CDMA (Code Division Multiple Access) system can be realized; the method and device provided by the invention is simple and is easy to use and can be realized by specific setting on the basis of the existing resources; and the method and device are labour-saving, and facilitates the complete test on system performance indexes and guarantees the stability and security of the system to the greater extent.

The embodiment of the invention discloses a software acceptance test method and a device thereof. By drawing the service link map of the tasks to be accepted, the adequacy assessment of the coverage of the tasks to be accepted is realized, the coverage of the tasks to be accepted is clarified, the test adequacy is evaluated according to the coverage, and the test method is adjusted according to the coverage. Finally, Make the service to be tested of the task to be accepted completely covered; further determine the deduplication coverage link map, determine the link coverage quality score according to the deduplication coverage link map, if the link coverage quality score exceeds the predetermined coverage quality score threshold, Explain that the task to be accepted meets the delivery conditions, and the acceptance test is carried out on the acceptance team side to reduce the waiting time between the delivery team and the acceptance team, increase collaboration efficiency, and avoid the problem of squeezed services to be tested.

The invention discloses an optimization model and an evolution solution method for problems in test data generation for software containing random numbers. Cores of software tests include generating valid test data within a short time. The traditional test data generation methods are frequently difficult to implement effectively for complicated software internally containing uncertain parameters such as random numbers. The optimization model and the evolution solution method have the advantages that test adequacy criteria for the software containing the random numbers are provided at first, the mathematical model for the problems in test data generation for the software containing the random numbers is built on the basis of the test adequacy criteria, and the corresponding evolution optimization solution method is provided.

The invention belongs to a embedded software test method and specifically relates to an abnormal data generation method based on RS422 interface. The method comprises following steps: abnormal data types and features tested by the RS422 interface are tested by analysis software dynamically, factors that affect test adequacy are extracted, and therefore suitable abnormal data types are selected as generation objects through extracting and analyzing common features of RS422 interface abnormal data; for tested software with data response, the response data of the tested software must be read back and is displayed in an abnormal data generating software interface; for generated abnormal data, suitable devices and methods are applied for data output; the generated abnormal data is injected into a tested system by means of a simulation device. The advantages of the abnormal data generation method are that generated abnormal data is injected into the tested software, the test adequacy, integrity and effectiveness are increased, and the quality of military software dynamic testing about RS422 use case execution is increased.

The invention provides a test coverage determination method, device and equipment, and relates to the technical field of automobile controller testing. The test coverage determination method comprises the steps that target test items in to-be-tested information of a vehicle controller and actual test items in a test case are determined, and the target test items comprise at least two types; and determining the test coverage of the target test item according to the target test item and the actual test item. By determining the target test item and the actual test item, the test coverage degree of the target test item is determined, the coverage condition of the target test item in the to-be-tested information in the test case can be quickly checked, and the test sufficiency of the test case is determined, so that the test quality is improved.