263 results about "Covering code" patented technology

The invention relates to the technical field of software engineering, in particular to a source code detection method, which comprises the steps of source code preprocessing, code dependency analysis, semantic understanding and analysis, code quality evaluation, dynamic behavior simulation, intelligent vulnerability detection and the like to realize comprehensive detection of potential vulnerabilities and quality problems in source codes. A support vector machine and a K-means clustering algorithm are combined, known and unknown vulnerabilities can be effectively recognized, in addition, a continuous optimization feedback mechanism is introduced, a mixed vulnerability detection model can be continuously optimized according to repair operation and feedback information of a developer, the detection accuracy is improved, and the coverage range is expanded. The generated comprehensive detection report covers code structures, vulnerability positioning, quality problems and optimization suggestions, supports integration of various output formats and development tool chains, helps developers to efficiently repair problems, and improves code quality and project progress; according to the method, the comprehensiveness, the self-adaptability and the user experience of code detection are effectively improved.

According to some embodiments, a method performed by a wireless device comprises obtaining an indication that a demodulation reference signal (DMRS) is based on frequency domain coding using a frequency domain orthogonal cover code (FD-OCC) of length greater than two and transmitting or receiving a number of DMRS based on the frequency domain coding.

Various aspects of the present disclosure generally relate to wireless communication. In some aspects, a user equipment (UE) may receive a configuration associated with an orthogonal cover code (OCC) sequence, wherein the OCC sequence is associated with a frequency domain OCC-based physical uplink shared channel (PUSCH) multiplexing. The UE may transmit a PUSCH transmission based at least in part on the configuration, wherein the OCC sequence is applied to one or more symbols associated with the PUSCH transmission. Numerous other aspects are described.

Various aspects of the present disclosure generally relate to wireless communication. In some aspects, a user equipment (UE) may receive a configuration associated with an orthogonal cover code (OCC) sequence, wherein the OCC sequence is associated with a frequency domain OCC-based physical uplink shared channel (PUSCH) multiplexing. The UE may transmit a PUSCH transmission based at least in part on the configuration, wherein the OCC sequence is applied to one or more symbols associated with the PUSCH transmission. Numerous other aspects are described.

Systems and methods are disclosed that provide Time Domain Orthogonal Cover Codes (TD-OCC) over nonconsecutive Demodulation Reference Signal (DMRS) symbols. In one embodiment, a method performed by a radio node comprises estimating channel characteristics or receiving channel characteristics through signaling and, depending on the channel characteristics, performing DMRS Orthogonal Cover Code (OCC) decoding based on either: (a) sub-length orthogonal Frequency Domain OCC (FD-OCC) combined with sub-length orthogonal TD-OCC over one or more additional DMRS symbols or (b) FD-OCC. In this manner, more orthogonal DMRS ports can be supported.

A communication device (12) transmits signaling (20) indicating that the communication device (12) is capable of demodulating a data channel (16) using a demodulation reference signal (18) scheduled without a scheduling restriction on a number of resource elements, resource blocks, or resource block groups to which the demodulation reference signal (18) is mapped, e.g., the scheduling restriction restricts the number of resource elements, resource blocks, or resource block groups to which the demodulation reference signal (18) is mapped to being a multiple of a length of a frequency-domain orthogonal cover code applied to the demodulation reference signal (18). Depending on whether the communication device (12) is so capable, the demodulation reference signal (18) is scheduled with or without applying the scheduling restriction.

The invention discloses an invalid code automatic elimination method and device, a medium and a product, and the method comprises the steps: carrying out compiling analysis processing on each program file in a to-be-processed target program item, generating a syntax tree model, and testing the compiled program file to obtain a program test result; unused variables in all the variables are identified through a syntax tree model, and uncovered code lines are positioned in combination with a test result; analyzing logic judgment conditions of uncovered code lines based on the syntax tree structure, and judging the code lines which cannot be triggered as unreachable codes; unused variables and unreachable codes in the program files are removed, new program items are obtained, and when the new program items are correctly compiled and executed, the new program items are used for replacing the target program items. Program redundancy is reduced, and execution efficiency is improved.

The invention relates to the technical field of code testing, in particular to a test case generation method and device, computer equipment and a storage medium. The method comprises the steps of obtaining at least one piece of historical test data for a to-be-tested code; constructing a target test case template for the to-be-tested code according to a function requirement and a business rule corresponding to the application scene of the to-be-tested code; and according to the target test case template, generating code test cases for a covered code path and an uncovered code path of the to-be-tested code respectively. In the process of generating the code test case, the function requirement and the service rule of the application scene are referred to, so that the code test case can cope with the complex and changeable requirement and service rule in the current application scene, and it is ensured that the test efficiency is improved in the process of testing the to-be-tested code according to the code test case. And the test result for the to-be-tested code is accurately obtained, so that the test result conforms to the current application scene of the to-be-tested code.

A user equipment (UE) configured for operation in a 5th Generation New Radio (5G NR) network may decode signaling to configure the UE with one or more orthogonal cover code (OCC) sequences. The UE may apply one of the OCC sequences to physical uplink shared channel (PUSCH) repetition of a PUSCH transmission. For inter-slot OCC PUSCH repetition, values of an OCC sequence are applied across slots of the PUSCH repetition. The UE may apply a first value of an OCC sequence of length two to a first repetition of a PUSCH transmission in a first slot and apply a second value of the OCC sequence of length two to a second repetition of the PUSCH transmission in a second slot.

Various aspects of the present disclosure generally relate to wireless communication. In some aspects, a user equipment (UE) may map uplink control information (UCI) bits and uplink shared channel (UL-SCH) data bits to a first subset of resources associated with a physical uplink shared channel (PUSCH). The UE may copy symbols associated with the UCI bits and the UL-SCH data bits from the first subset of resources to one or more remaining subsets of resources. The UE may apply an orthogonal cover code (OCC) across a plurality of subsets of resources, including the first subset of resources and the one or more remaining subsets of resources, associated with the PUSCH. The UE may transmit, based at least in part on the OCC applied across the plurality of subsets of resources, multiplexed UCI bits and UL-SCH data bits. Numerous other aspects are described.

The invention relates to the technical field of formalized analysis and verification of a complex software system, and particularly provides a multi-modal cross-language multilayer verification formalized integration method. According to the method, a multi-dimensional analysis and verification process from codes to models is realized through a code or model self verifier layer, a code or model plug-in verifier layer, a multi-language or multi-model conversion verification layer and a code and model bidirectional cross verification layer. The multi-level verification framework covers code static analysis, model dynamic simulation and cross-language and cross-model conversion, various formalized tools are systematically integrated, verification results of different languages and models are deeply integrated while automatic and efficient verification is achieved, on one hand, system compatibility and consistency are kept, and on the other hand, the verification efficiency is improved; on the other hand, the sufficiency and reliability of system analysis and verification are remarkably improved.

A method (1500) is performed by a User Equipment, UE, (1912, 2000) for performing an uplink transmission that is spread using an Orthogonal Cover Code, OCC, in a Non-Terrestrial Network, NTN. The method includes transmitting (1502) an uplink transmission using Narrowband Physical Uplink Shared Channel, NPUSCH, Format1 with 3.75 kHz subcarrier spacing, SCS. The uplink transmission includes at least one data symbol, at least one Demodulation Reference Signal, DMRS, symbol, and at least one guard period. The location of the guard period within each of the slots comprising the uplink transmission is preserved after OCC spreading is applied to the uplink transmission.

Methods, systems, and devices for wireless communications are described. A user equipment (UE) may receive control signaling that indicates an orthogonal cover coding (OCC) codeword assigned to the UE and an OCC factor. The UE may receive an uplink grant that allocates, to the UE, uplink resources over a series of uplink time units for a quantity of repetitions of a transmission block. The UE may subsequently use the assigned OCC codeword to transmit each repetition of the quantity of repetitions of the transmission block over a quantity of uplink time units of the series of uplink time units, where a function of the quantity of uplink time units and the quantity of repetitions satisfies a threshold, and where the quantity of uplink time units is greater than or equal to the OCC factor.

The embodiment of the invention provides an information transmission method and device, a storage medium and a program product, relates to the technical field of communication, and can improve the uplink transmission capacity. The method includes transmitting a signal based on a cover code.

In the NB-IoT NTN deployment, the coverage area can be as large as hundreds of thousand square kilometers. In such huge geography area, the number of IoT devices that need to access the satellite will be massive. In another hand, the UL capability of NB-IoT is severely suppressed by large repetition number due to the limited link budget. To enlarge the system capacity, multiplexing of UEs by usage of orthogonal cover codes (OCC) for NPUSCH format 1 and NPRACH is proposed in 3GPP as a Release 19 IoT NTN work item. The Invention incudes various methods of overlaying the OCC code to the NPUSCH and NPRACH; various procedures on support OCC for NPRACH and NPUSCH such as random access and connection establishment; other related 3GPP specification impact.

A UE that includes one or more non-transitory computer-readable media storing one or more computer-executable instructions for determining the number of coded modulation symbols for Uplink Control Information (UCI) in a Physical Uplink Shared Channel (PUSCH) transmission and at least one processor coupled to the non-transitory computer-readable media is provided. The processor is configured to execute the one or more instructions to cause the UE to determine that an Orthogonal Cover Code (OCC) is applied to the PUSCH transmission based on an indication received from a base station (BS) and determine the number of coded modulation symbols for the UCI based on the determination that the OCC is applied to the PUSCH transmission and a parameter received from the BS.

A user equipment (UE) is configured to receive a sounding reference signal (SRS) configuration for SRS resources including time domain orthogonal cover code (TD-OCC) parameters for applying TD-OCC to the SRS resources, the TD-OCC parameters including a TD-OCC pattern and a TD-OCC length for the TD-OCC pattern, apply the TD-OCC to the SRS resources in accordance with the configured parameters and perform uplink (UL) transmissions based on a power control scheme for SRS TD-OCC and a collision handling scheme for SRS TD-OCC.

Sounding Reference Signal (SRS) capacity is increased by introducing Time Domain Orthogonal Cover Codes (TD-OCC) over multiple SRS repetitions. A UE may indicate to the network a capability to support TD-OCC for SRS. In response, the network provides configurations controlling the content and format of the SRS. An SRS resource configuration may include at least an SRS Repetition Factor≥2. A TD-OCC configuration may include at least one of a TD-OCC length and a TD-OCC code. The UE C indication may indicate a maximum TD-OCC length that is supported for an SRS resource; all TD-OCC lengths that are supported; that supported TD-OCC lengths are 2n for positive integers n; that different TD-OCC codes are supported for different SRS ports of an SRS resource; or that the TD-OCC length maybe different than the SRS Repetition Factor. Techniques are disclosed herein for implementing all of these variations.

Disclosed are methods, systems, and computer-readable medium to perform operations including: generating a mapping pattern that comprises a length-4 frequency division orthogonal cover code (FD-OCC4), the mapping pattern for mapping demodulation reference signals (DMRS) in frequency to a plurality of resource elements in at least one orthogonal frequency-division multiplexing (OFDM) symbol, wherein the DMRS are associated with a plurality of DMRS ports; mapping, using the FD-OCC4, the DMRS to the plurality of resource elements in the at least one OFDM symbol; and transmitting a transmission comprising the at least one OFDM symbol.

A terminal according to one aspect of the present disclosure includes a receiving section that receives a configuration of a demodulation reference signal (DMRS) of a shared channel, and a control section that applies a frequency domain (FD)-orthogonal cover code (OCC) having a length of 4 or 3 to the DMRS, based on the configuration. According to one aspect of the present disclosure, an appropriate number of DMRS ports can be used.

A method is performed by a user equipment (UE) of a plurality of UEs that receive a plurality of orthogonal cover codes (OCC) sequences for concurrently transmitting to a network node on the same time-frequency resources. The method comprises receiving an orthogonal cover codes (OCC) sequence of the plurality of OCC sequences. The plurality of OCC sequences are assigned to respective ones of the plurality of UEs. The method further comprises transmitting, through a narrowband physical uplink shared channel (NPUSCH) format 1, to the network node on the same time-frequency resources shared by other UEs of the plurality of UEs. The plurality of UEs concurrently transmitting through the narrowband physical uplink for a single-tone or multi-tone transmission having a first subcarrier spacing (SCS). Appliance of the plurality of OCC sequences is with respect to one or more OFDM symbols, one or more time-domain slots, or a time-domain resource unit.

The invention discloses a test case obtaining method and device, equipment and a medium. The method comprises the following steps: generating a test case feature vector and a code branch condition coverage feature vector according to a historically generated code coverage report, and splicing the test case feature vector and the code branch condition coverage feature vector to generate a transaction set; generating a plurality of multi-item sets according to a preset support degree and the transaction set; generating a first result set and a second result set according to a preset confidence coefficient and each multi-item set; and when the incremental code coverage report is generated each time, determining a plurality of target test case feature vectors in the first result set or the second result set according to the incremental code coverage report, and obtaining a test case according to the target test case feature vectors. By adopting the technical scheme, the supplementary test case can be intelligently and accurately provided for the uncovered code, the test efficiency and quality are improved, and the cost is saved.

Methods, systems, and devices for wireless communications are described. A user equipment (UE) may use cover coding for sounding reference signal (SRS) resources for performing antenna switching. The UE may receive a configuration for a reference signal resource set for transmitting a reference signal for antenna switching, the configuration including an indication of a type of time division cover coding for repetitions of the reference signal and an indication of a type of frequency hopping. The UE may determine a reference signal resource for transmission of the reference signal based on the configuration and the type of frequency hopping. The UE may then transmit a set of repetitions of the reference signal over the determined reference signal resource according to the type of time division cover coding.

A sending device sends, by using a first resource and a second resource, a reference signal corresponding to a first port. The first resource and the second resource are respectively on a first OFDM symbol and a second OFDM symbol that are not adjacent to each other. The first port belongs to a first port set or a second port set, a reference signal corresponding to a port in the first port set corresponds to a first cover code on the first resource and the second resource, a reference signal corresponding to a port in the second port set corresponds to a second cover code on the first resource and the second resource, and the first cover code is different from the second cover code.

A demodulation reference signal transmission method includes receiving, by a first communication device, a target demodulation reference signal from a second communication device; and performing, by the first communication device, channel estimation on the target demodulation reference signal, where the target demodulation reference signal is generated based on N frequency division cover code sequences, the N frequency division cover code sequences are generated based on a subsequence with a target length as a basic unit and according to a resource mapping rule corresponding to the subsequence with the target length, the frequency division cover code sequence is used for code division multiplexing of a port of the target demodulation reference signal, and N is a positive integer.