105 results about "Covering code" patented technology

The invention provides a dynamic symbolic execution method and a device of the dynamic symbolic execution method based on an overall situation super block dominator graph and belongs to the field of computer software testing and software security. The method is as follows: a control flow diagram of a tested executable program is obtained, and the control flow diagram is transformed to a super block dominator graph according to relevant theories of a dominance relation. Each nodal point in the super block dominator graph is marked with 'weight' which is updated before symbolic execution at each time, and the 'weight' indicates the least number of basic blocks which can be covered when the nodal point is executed. When one dynamic symbolic execution is over, the nodal point with the largest 'weight' value is selected from the super block dominator graph, and corresponding forecasting path constraint conditions are generated, and then a new testing use case is generated by solving of a solver, so that the next execution is driven. Compared with the prior art, the dynamic symbolic execution method and the device of the dynamic symbolic execution method based on the overall situation super block dominator graph are capable of covering code blocks as many as possible with least testing use cases, so that the growth rate of the code coverage rate is effectively accelerated, and the problem of path explosion is relieved. The dynamic symbolic execution method and the device of the dynamic symbolic execution method based on the overall situation super block dominator graph is of great importance for the performance of testing large-scale utility software of the dynamic symbolic execution.

Methods and User Equipment (UE) apparatuses are provided for transmitting Reference Signals (RSs). A method includes receiving a cell-specific sequence-hopping parameter; receiving a UE-specific sequence-hopping parameter; determining a reference signal sequence based on the UE-specific sequence-hopping parameter; and transmitting the reference signal based on the determined reference signal sequence. Sequence hopping does not apply to the reference signal sequence if the cell-specific sequence-hopping parameter indicates that the sequence hopping is enabled and the UE-specific sequence-hopping parameter indicates that the sequence hopping is disabled.

Methods and apparatuses are provided to enable User Equipments (UEs) to apply Orthogonal Covering Codes (OCC) to the transmission of Reference Signals (RS) generated from Constant Amplitude Zero Auto-Correlation (CAZAC) sequences, to enable hopping of these sequences in a communication system in conjunction with enabling the application of OCC, and to differentiate the application of sequence hopping between transmissions in data channels and transmissions in control channels.

A method is described for transmitting, by a user equipment (UE), a demodulation reference signal (DMRS) for a physical uplink shared channel (PUSCH) in a wireless communication system. A cyclic shift field is received through a physical downlink control channel (PDCCH) from a base station. The cyclic shift field indicates first, second, third and fourth cyclic shifts, first orthogonal cover code (OCC) and a second OCC. A first DMRS sequences is generated by using the first cyclic shift and the first OCC. A second DMRS sequence is generated by using the second cyclic shift and the first OCC. A third DMRS sequence is generated by using the third cyclic shift and the second OCC. A fourth DMRS sequence is generated by using the fourth cyclic shift and the second OCC. The first, second, third and fourth DMRS sequences are transmitted to the base station.

A method and device for transmitting a reference signal in a wireless communication system is provided. A base station maps each demodulation reference signal (DMRS) of each of a plurality of layers into a first resource element (RE) set and a second RE set including four REs over four orthogonal frequency division multiplexing (OFDM) symbols within a subframe, allocates first orthogonal cover codes (OCCs) having a length of 4 to each DMRS mapped into the first RE set, allocates second OCCs having a length of 4 to each DMRS mapped into the second resource element set and transmits each DMRS mapped into the first RE set and the second RE set. The subframe includes two slots and each slot includes six OFDM symbols. The second OCC are formed by swapping positions of bits that constitute the first OCCs.

A method of book production wherein a customer sends a computer file of a book to a producer whose computer book production program restructures the text and cover data to fit a standard / preferred size accommodated by the producer's book binding system. The program then calculates the spine dimensions, and this is sent to the customer for determining a layout and content for printing on the spine. The layout is sent to the producer who inserts it into the book production program with a job identification spine code. The producer inserts a code in the cover data identifying the corresponding text and spine. At the beginning of each day / production run, the producer simply enters the covers in the desired order into the production program. The program reads the cover code, which identifies the corresponding stack and spine and directs the printing and binding accordingly.