112 results about "Path coverage" patented technology

A system and method provide for precision guiding of agricultural vehicles along a series of adjacent paths to form rows for cultivating a field. In one aspect of the invention the vehicle is moved along a first path while receiving positioning information from a navigational system (e.g., RTK GPS). This positioning information is stored in a processor and is used by the processor to compute a second path adjacent to said first path by calculating piecewise perpendicular offsets from the first path at multiple locations along the first path. The process is repeated to compute a third and subsequent paths so as to cover the field. Because of the offset process, the field may be covered with paths that have varying curvature along their length, while providing substantially no gaps or overlaps in the coverage of the field. In another aspect of the invention, the system may propose alternative paths and the user can intervene by steering the vehicle or using a graphical user interface to select among the alternative paths. A still further aspect of the invention allows for the recording of the paths that provide coverage of a field in the form of a template. This template can then be used to cause the vehicle to automatically steer along a previously calculated path in subsequent operations on the field, and in subsequent years.

A system and method provide for precision guiding of agricultural vehicles along a series of adjacent paths to form rows for cultivating a field. In one aspect of the invention the vehicle is moved along a first path while receiving positioning information from a navigational system (e.g., RTK GPS). This positioning information is stored in a processor and is used by the processor to compute a second path adjacent to said first path by calculating piecewise perpendicular offsets from the first path at multiple locations along the first path. The process is repeated to compute a third and subsequent paths so as to cover the field. Because of the offset process, the field may be covered with paths that have varying curvature along their length, while providing substantially no gaps or overlaps in the coverage of the field. In another aspect of the invention, the system may propose alternative paths and the user can intervene by steering the vehicle or using a graphical user interface to select among the alternative paths. A still further aspect of the invention allows for the recording of the paths that provide coverage of a field in the form of a template. This template can then be used to cause the vehicle to automatically steer along a previously calculated path in subsequent operations on the field, and in subsequent years.

A system and method provide for precision guiding of agricultural vehicles along a series of adjacent paths to form rows for cultivating a field. In one aspect of the invention the vehicle is moved along a first path while receiving positioning information from a navigational system (e.g., RTK GPS). This positioning information is stored in a processor and is used by the processor to compute a second path adjacent to said first path by calculating piecewise perpendicular offsets from the first path at multiple locations along the first path. The process is repeated to compute a third and subsequent paths so as to cover the field. Because of the offset process, the field may be covered with paths that have varying curvature along their length, while providing substantially no gaps or overlaps in the coverage of the field. In another aspect of the invention, the system may propose alternative paths and the user can intervene by steering the vehicle or using a graphical user interface to select among the alternative paths. A still further aspect of the invention allows for the recording of the paths that provide coverage of a field in the form of a template. This template can then be used to cause the vehicle to automatically steer along a previously calculated path in subsequent operations on the field, and in subsequent years.

The invention provides a detector for binary-code buffer-zone overflow bugs, and a detection method thereof. The detector comprises six functional modules, namely a debugger module, an input point positioning module, a disassembling module, a symbolic execution module, a loop operation analysis module and an intelligent FUZZ test module. Differing from static symbolic execution, the detection method dynamically loads programs through the self-developed debugger module to synchronously performing symbolic execution and single-step practical execution, and then applies a model to solve each difficulty in binary code analysis so as to test path coverage and detect overflow bugs in accordance with all executable programs of PE format under a Windows platform. The detection can also provide propagation paths of input data and other important information related to bug formation cause while positioning the bugs, only analyzes the selves of the executable programs, needs no source codes, is unrelated to the species of source codes and development tools, and is extensive in applicable occasions, so the detection method has good prospects for popularization and application.

Disclosed herein are exemplary methods, apparatus, and systems for performing timing-aware automatic test pattern generation (ATPG) that can be used, for example, to improve the quality of a test set generated for detecting delay defects or holding time defects. In certain embodiments, timing information derived from various sources (e.g. from Standard Delay Format (SDF) files) is integrated into an ATPG tool. The timing information can be used to guide the test generator to detect the faults through certain paths (e.g., paths having a selected length, or range of lengths, such as the longest or shortest paths). To avoid propagating the faults through similar paths repeatedly, a weighted random method can be used to improve the path coverage during test generation. Experimental results show that significant test quality improvement can be achieved when applying embodiments of timing-aware ATPG to industrial designs.

The invention pertains to a path testing in a program testing. The concept of a program control flow base path is defined through bringing in the concept of base in mathematics, a data structure showing a program structure of a source program slice is obtained by using a compiler module first; then through traversing the data structure, a control flow path generating algorithm is utilized to generate a subset compiler module of a program control flow path which is based on a base path to interpret the semanteme on a tested source program, an abstract syntax tree structure showing the structural information of the tested program control flow is output. An adjacency matrix of a control flow graph generates a module ergodicity abstract syntax tree structure, and generates the adjacency matrix representation of a program flow chart. A control flow path subset generating module acquires the control flow information of the tested program through traversing the adjacency matrix, traverses the adjacency matrix by adopting a depth-first multiple backtracking method, and processes sentence nodes, thus a program control flow path subset based on the base path is generated. The method has the outstanding advantages in generating results and flows, and can be widely used in the engineering practice of a path cover testing in a software structure testing.

The invention relates to a system for detecting a software bug triggered during practical running of a computer program in the technical field of computers. The system comprises a binary code dynamic inserting module, a program basic block recognizing module, a function call graph constructing module, a control flow graph constructing module, a function recognizing module and a static analysis module. By combining two technologies of dynamic program analysis and static analysis path complementation, the invention not only can detect the bugs which can be triggered during the practical running of the program but also can reach higher program path coverage rate, carry out bug detects on the path which is not covered in the dynamic analysis process, improve the success rate of bug detection and reduce the false rate of the bugs. Meanwhile, the static analysis path complementation technology only analyzes a path which is not executed in dynamic analysis instead of all program paths, thereby greatly reducing the cost on time and system resources.

A distributed test system for implementing enhanced BIT (Built-In-Test) within an ESM (Electronic Surveillance Monitoring) or RF receiver system. The distributed test system includes a system processor, a programmable RF source element or other comparable test signal generating arrangement, and switched path coupled elements and various measurement elements, each embedded at strategic locations within the ESM system so as to effect maximum path coverage and test benefit.

The invention relates to a computer software security test method, and in particular relates to a dynamic and static combined software security test method. The test method comprises the following steps: firstly carrying out disassembly and intermediate language transformation on an executable program so as to generate a function call graph (CG) and a control flow graph (CFG) of a file; finding out a vulnerable point of a system by means of static analysis of the function CG, and constructing a test case generation execution path by virtue of a dynamic analysis method; searching a called function based on the function CG, finding out a specific path for triggering the vulnerable point on a first-grade basic block according to the CFG if the function is located on the generated execution path, and then ending the loophole mining process corresponding to the sensitive point; and if the path can not be found, reconfiguring the test case generation execution path and then searching the called function in a cyclic manner. The dynamic and static combined software security test method has the advantages of better solving the problem of path state space blast caused by single Fuzz dynamic test, and greatly improving the path coverage hit rate and the software test analysis efficiency.

The invention discloses a cleaning mode for a robot cleaner. For the robot cleaner, the cleaning mode sequentially includes the following steps: a, the robot cleaner enters into an operating region to roughly detect work environment and to confirm to enter an empty area; b, the robot cleaner is totally covered for cleaning in the empty area; when the robot cleaner is totally covered for cleaning, the path coverage density is more than that caused due to rough detection of the robot cleaner; c, the robot cleaner quits the cleaning mode after meeting preset system conditions. According to the cleaning mode, the increased cleaning time and the reduced cleaning efficiency are avoided when the robot cleaner blindly and repeatedly cleans in an unknown area.

The invention provides a path coverage software test-based automatic test case generation method. The method comprises the following steps of: analyzing a code of a tested program to obtain a controlflow graph (CFG) of the program and a path of the program; obtaining and calculating a fitness function of a group of corresponding test cases according to the control flow graph obtained in the laststep and a branch distance-based method; carrying out iterative updating on a randomly initialized population by using the fitness function through a differential evolution algorithm and a convergencespeed controller; and recording the first test case of paths corresponding to a coverage program until the test cases of all the paths are obtained or the iteration frequency of the algorithm exceedsa limit, and outputting a test case set of the paths corresponding to the coverage program. The method is capable of effectively utilizing the tested program to cover heuristic information of the test cases on the basis of the paths, and can be applied to practical software test work environment.

A system and method for generating test frames in specification-based testing by using a path-coverage criterion is provided. The method includes receiving a test design as an input, and constructing a context-free grammar graph, based on the test design. The method further includes analyzing the context-free grammar graph to generate a first set of paths, and emitting a set of test frames as an output, based on the first set of paths.

The invention discloses a method for evolving and generating path coverage test data facing defects, which aims to expose the defects in a target path as much as possible from the generated test data so as to effectively enhance the quality of the test data. The method comprises the following steps of: firstly, establishing a math model for generating the path coverage test data facing the defects by using a path, in which the largest number of defects are found during tested procedure execution by the test data and the danger level of the defects is highest, as a target under the condition of a restraint that the test data must pass through the target path; and secondly, designing a restraining method for optimizing a plurality of targets so as to solve the problem, and evolving and generating the through target path by using a genetic algorithm, and effectively exposing the test data of the defects at the same time. By the method, the problem that the test data generated by the conventional method can only just pass through the target path instead of effectively exposing the defects in the target path, in particular some small-probability defects, can be solved; and the method can be used for generating the test data for a white box test or a regression test, so the efficiency of the software test can be improved greatly.

The invention discloses a method for improving software fuzzy testing efficiency in combination with symbol execution. The method comprises the steps of S1, preprocessing a target program to obtain information of the target program; S2, inputting a fuzzy tester into the target program to generate a test case, and detecting whether the program is abnormal or not; S3, constructing scheduling parameters based on a path coverage rate, calculating the scheduling parameters in a fuzzy testing process, judging a state of the fuzzy tester, if the fuzzy tester is in a low-speed state, going to the stepS4, if the tester is in a high-speed state, returning to the step S2, and if the tester is in a halt state, exiting from the testing; and S4, identifying branches which are not traversed in the fuzzytesting process, constructing a non-traversed program path, generating an effective test case by using a symbol execution method to stimulate the fuzzy tester to be in the high-speed state, and if the effective test case cannot be generated and the tester is in the halt state, exiting from the testing. The method has the advantages of simple implementation principle, good vulnerability mining performance, high efficiency, low false alarm rate, flexible and reliable use, and the like.

A system and method for modifying a simulation model and optimizing an application program to produce valid hardware-identified operating conditions that are matched with simulator-identified operating conditions in order to modify a simulator accordingly is presented. A critical path coverage analyzer includes critical path measurement logic into a simulation model that injects errors into the critical path and provides visibility into the number of times that an application program exercises the critical path. The critical path coverage analyzer uses the critical path measurement logic to optimize an application program to adequately exercise and test the critical paths. Once optimized, the critical path coverage analyzer runs the optimized application program on a hardware device to produce hardware-identified operating conditions. The hardware-identified operating conditions are matched against simulator-identified operating conditions. When discrepancies exist, the simulator is modified accordingly to match the hardware-identified operating conditions.

The invention provides a method for generating test data covering parallel program paths based on coevolution, and aims to provide a method for automatically and efficiently generating test data covering parallel program objective paths. The method includes the following specific steps that firstly, a mathematical model of a test data generation problem is built, and a problem for generating the test data covering the parallel program paths is modeled into a single-object optimization problem; secondly, a coevolution genetic algorithm is designed to solve the model. According to the method, groups are divided into a plurality of sub groups and a cooperative team group according to the correlation of course paths and program input components. Each sub group is used for independently optimizing a part of input components relevant to one certain course path. After the sub groups are evolved into a certain period, excellent individuals of the sub groups are combined to form an initial individual of the cooperative team group so as to be used for optimizing complete program input. After the cooperative group is evolved into a certain period, the excellent individuals are returned to the sub groups. Through alternate coevolution of the cooperative team group and the sub groups, the expected test data are generated.

The invention provides a unit test method which is automatically generated based on a path coverage test case. Firstly, a lexical analysis and a syntax analysis are carried out on a code of a programto be tested, and then a control flow diagram of the program is obtained. After obtaining the control flow graph, the node table is generated according to the known number of nodes. Based on the automatically generated test cases, the execution of executable codes in the nodes is driven in the generated control flow diagram, at the same time, according to the execution result of executable codes,the fitness value is calculated and obtained, and the child nodes are selected to continue to repeat the process until the termination node in the graph is found, and finally, the path marker and thefitness value corresponding to the path marker are generated. Then the automatic test case generation algorithm is run, which automatically generates test cases according to the fitness value returneduntil the path is completely covered or exits when the set run time expires. The invention is suitable for software testing, and can be applied to actual software testing working environment throughexperimental verification.

The invention discloses a smart contract test method based on a path coverage sufficiency criterion. The method comprises the following steps: step 1, inputting byte codes of a smart contract and ABIsof the smart contract; step 2, generating a control flow chart according to the byte code; step 3, using an EPP algorithm for analyzing the control flow chart, finding out blocks needing instrumentation, and conducting instrumentation; step 4, deploying the instrumented smart contract on the trace; and step 5, generating a test case set meeting requirements according to a path coverage test sufficiency criterion. Compared with other technologies for analyzing the source code, the byte code of the smart contract is analyzed, and the method is more efficient. According to the method, the test case is automatically generated for the smart contract, whether the sufficient test case set is generated or not is judged according to the adequacy criterion of path coverage, errors possibly existingin the smart contract code are fully exposed as much as possible, the vulnerability detection effect is improved, and the labor cost is reduced.

The invention discloses a program source code judgment system and method based on a B/S framework. The system comprises a browser side and a server side. In the server side, a task pool management unit conducts detection after obtaining task submission information, a file system generation unit generates a file system and a catalogue which correspond to a task and copies a program to be detected to the generated catalogue, a script generation unit generates a script file according to the instruction required for executing the program to be detected while the program to be detected is installed in a plug-in mode and run through a program plug-in unit, execution paths and test case information of all test case are generated, a fault positioning unit runs generated path coverage information and conducts fault positioning according to the test cases, the equivocation of statements is calculated, and the statements are ranked according to the degrees of the equivocation, and a coverage rate unit conducts statistics on the program coverage information; a grading unit completes grading according to the grading standards; information of the statement equivocation, the information of the coverage rate and information of the task grade are fed back to the browser side through an information access and display unit, a result report is generated, and the judgment result is displayed. The method and the system have the advantages of being easy to operate and convenient to use.

The invention provides a path coverage monitoring method for a wireless multimedia sensor network. A few of multimedia sensor nodes are arranged on certain key paths, and an interested object can be found in time by utilizing the cooperation of the plurality of nodes of the sensor network when the interested object appears, sleeping nodes near a moving object predication track are awakened to take part in a tracking process, so that the energy consumption of the network is considered, and meanwhile, a moving object is fully monitored. By utilizing the adjustability of the direction of the nodes in a video sensor network, the number of the nodes of a node deployment sensor is reduced, and meanwhile, a monitoring effect can be enhanced, and the energy can be saved.

The invention discloses a fuzzy test case adaptive variation method and device based on reinforcement learning, and the method comprises the steps of selecting a variation operation group corresponding to a to-be-mutated test case type to carry out the learning of adaptive variation, thereby selecting a variation strategy in a targeted manner, and achieving the variation operation with a finer granularity. According to the present invention, the type information and the variation operation are further adopted to form the context information to be input into a single-step reinforcement learningmodel, the single-step reinforcement learning model converts the selection problems of different variation operations into the selection of different rocker arms in a multi-arm gambling machine problem, and the context-related confidence interval upper bound algorithm LLUCB is used for learning the adaptive variation operation, so that the adaptive learning of the variation operation under different types of scenes is realized, the variation operation capable of obtaining a higher path coverage rate is used for carrying out test case variation, and the efficiency and the quality of the fuzzytest adaptive variation are improved.

The invention discloses a fuzzy test case generation method and system based on genetic variation. The method comprises the following steps: selecting two seed test cases, aiming at a data position ofa new test case, if the two seed data are the same, inheriting the data to the current data position of the new test case; and if the two pieces of seed data are different and belong to any characterstring comparison set for static analysis and extraction of the target binary file, randomly mutating the data into data in the preset character string comparison set, or else randomly selecting thedata of one seed to be inherited to the current data position of the new test case. According to the invention, respective advantages of the test case generation method based on generation and the test case generation method based on variation are inherited; and meanwhile, the corresponding defects are avoided, the core code of the large-scale fuzzing target program without manual operation can berealized, and the method has the advantages that the generation of the test case has higher possibility, the path coverage rate is increased, and the collapse is easy to trigger.

The invention discloses a method for generating RTL hardware Trojan test vectors. The method mainly includes generation of a control flow chart, concurrent symbol execution, and satisfiability solving and generation of test vectors. The method provided by the invention adopts a method of statically analyzing Veri log codes, and adopts a multi-thread concurrency technology to realize concurrent symbol execution of the Veri log codes, thereby achieving the purpose of rapidly generating test vectors with a high path coverage rate.

The invention provides an intelligent contract security test method based on variation fuzz. The method comprises: taking a source code of a smart contract as an input, obtaining an ABI (Application Binary Interface) of the smart contract, finding out elements of function types from the ABI, and extracting function declarations of the elements; on the basis, further generating test data: if the tested function has no seed, randomly generating the test data, otherwise, generating the test data with a certain probability based on seed variation; and then, executing the intelligent contract on the private chain by using the test data, further carrying out vulnerability detection, updating the seeds, and returning to the test input generation step again, and repeating the steps until a presettest termination condition (the termination condition can be test time, path coverage rate and the like) is reached. Through the method, a tester can check whether the smart contract has a security problem or not in a short time, and can refer to input to reproduce the problem.