Java source code defect detecting method and system based on Eclipse plugin

The invention relates to a Java source code defect detecting method and system based on an Eclipse plugin. The Java source code defect detecting method based on the Eclipse plugin comprises the steps that S1, the detecting plugin is placed in an Eclipse platform; S2, a preset defect mode and a preset storage path are selected from a mode database of the detecting plugin; S3, a java file to be tested and/or a project to be tested in the Eclipse platform is selected according to the defect mode and the storage path and detection is conducted; S4, a detection result is analyzed and processed. By the adoption of the Java source code defect detecting method based on the Eclipse plugin, detection of source code defects can be conducted directly in the Java development environment, and thus the efficiency of testing for software development is improved.

Power supply control method, device and system, vehicle and readable storage medium

The invention discloses a power supply control method, device and system, a vehicle and a readable storage medium, relates to the technical field of vehicles, and aims to realize safety control of an external power supply interface and an internal power supply interface. A controller applied to a power supply control system of a vehicle; the power supply control system further comprises an out-vehicle relay, an out-vehicle power supply interface, an in-vehicle relay, an in-vehicle power supply interface and an electric drive assembly EDS. The method comprises the steps of determining that an in-vehicle power supply interface has a power demand; when the power supply interface outside the vehicle is in the charging state, the relay in the vehicle is controlled to be in a disconnected state; under the condition that the power supply interface outside the vehicle is in a discharging state, the relay in the vehicle and the relay outside the vehicle are controlled to be in a conducting state ...

Automatic fault injection and fault detecting method and system

The invention relates to an automatic fault injection and fault detecting method and system. The method includes the steps of S1, performing automatic fault injection on a to-be-detected file, and analyzing and generating multiple fault files; S2, respectively processing the fault files to generate multiple executable files; S3, selecting specific case library according to the to-be-detected file, operating the cases in the case library one by one on each executable file to perform fault detection, and calculating fault detecting rate. The method has the advantages that source code fault injection is used, error occurrence can be accelerated, whether faults exists in software or not can be judged, high fault detection capacity is achieved, and good detecting effect of small-probability errors is achieved.

Water-cooling conductor rotor, permanent magnet eddy-current speed controller and permanent magnet eddy-current coupler

The invention provides a water-cooling conductor rotor, a permanent magnet eddy-current speed controller and a permanent magnet eddy-current coupler. The water-cooling conductor rotor comprises a shell (4) and a hollow shaft (3). The shell (4) and the hollow shaft (3) are coaxial, and the shell (4) is fixedly connected with one end of the hollow shaft (3). A cooling water main pipeline (31) is arranged in the hollow shaft (3). A water inlet (32) is formed in the hollow shaft (3). A cooling water branch pipeline (41) is arranged inside the side wall of the shell (4). A plurality of water jetting orifices (42) are sequentially formed in the shell (4) in the radial direction of the conductor rotor. The water inlet (32) is communicated with the water jetting orifices (42) through the cooling water main pipeline (31) and the cooling water branch pipeline (41) in sequence. The permanent magnet eddy-current speed controller with the water-cooling conductor rotor and the permanent magnet eddy-current ...

Method for generating function summary information related to temporal security attribute defect modes

The invention relates to a method for generating function summary information related to temporal security attribute defect modes. The method includes judging the temporal security attribute defect modes of detected programs and generating description files of the temporal security attribute defect modes; acquiring finite automatic state machines of the temporal security attribute defect modes according to the description files; generating the function summary information for functions in the detected programs according the finite automatic state machines. The method has the advantages that the function summary information can be generated for the functions in the detected programs according to the finite automatic state machines for describing the temporal security attribute defect modes, static tests can be carried out on software by the aid of the function summary information, and accordingly the software static defect detection efficiency can be improved.

Method for completely recognizing pointer quotation detection object

The invention relates to a method for completely recognizing a pointer quotation detection object. The method includes: subjecting an analyzed function to lexical analysis and syntactic analysis to generate an abstract syntax tree of the analyzed function; recognizing a pointer quotation expression in the analyzed function from the abstract syntax tree, recognizing a quoted pointer according to the pointer quotation expression, and adding the quoted pointer to a quoted pointer set; recognizing functional call in the analyzed function from the abstract syntax tree, recognizing a quoted pointer at a calling point according to null pointer quotation preposition constraint of a function abstract of a called function, and adding the quoted pointer into the quoted pointer set; if whether the pointer is the pointer quotation detection object or not is not judged, recognizing a quoted external pointer, and adding the external pointer to the null pointer quotation preposition constraint of the function ...

Remote precise diagnosis and maintenance system and method of industrial devices

The invention discloses a remote precise diagnosis and maintenance system and method of industrial devices. According to the remote precise diagnosis and maintenance system, the fault diagnosis and maintenance on the industrial devices is implemented through comprehensive measures in a three-dimensional crossing mode, integration treatment is performed on diagnosis ways of the various industrial devices, remote consultation of experts can be implemented, remote diagnosis results can be obtained, and accordingly the operation maintenance cost of the industrial devices of factories can be reduced and the production safety can be improved.

Anti-collision device for large steel transport vehicle

The utility model discloses an anti-collision device for a large steel transport vehicle, the transport vehicle comprises a cab and a container connected with the cab, steel is arranged in the container, the container is provided with a front baffle close to the cab, and the anti-collision device comprises a fixed part connected with the front baffle and a free part connected with the fixed part. The steel can drive the free part to move towards the fixed part and drive the free part to generate buffering force opposite to the moving direction of the free part. The steel is placed in the container, rolling of the steel is avoided, the fixing part is connected with the front baffle, stability is good, when the steel is not fixed, the steel can move relatively under the inertia effect, at the moment, the steel can drive the free part to move towards the fixing part, the free part can generate buffering force in the moving process, and the buffering force is opposite to the moving direction ...

Ginseng-radix bupleuri particles for hepatitis and hepatitis complications and preparation method of ginseng-radix bupleuri particles

The invention provides a ginseng-radix bupleuri particle for hepatitis and hepatitis complications and a preparation method of the ginseng-radix bupleuri particles. The ginseng-radix bupleuri particles are prepared from the following raw materials in parts by weight: 800 parts of radix bupleuri, 343 parts of baikal skullcap root, 571 parts of ternate pinellia or ginger processed pinellia, 343 parts of ginseng, 343 parts of Chinese-date, 114 parts of ginger, 229 parts of liquorice root and 500 parts of dextrin. The ginseng-radix bupleuri particles are capable of curing hepatitis and hepatitis complications, and the preparation method of the ginseng-radix bupleuri particles is simple and stable in process parameters; the baikal skullcap root is added after being boiled so that the content of baicalin cannot be damaged; the product quality is stable and controllable.

Fault confirmation method and system thereof

The invention relates to a fault confirmation method and a system thereof. The fault confirmation method comprises the following steps: S1, matching doubt fault points in the static analysis process by using a preset fault mode, screening the doubt fault points, and marking the doubt fault points in a control flow diagram of a tested program; S2, adding fault triggering conditions at the doubt fault points to form fault nodes, establishing a fault route, and adding newly generated fault nodes into the control flow diagram, and marking; S3, calculating the weight of each doubt fault point at each node according to preset route selection strategy; S4, traversing the control flow diagram, selecting a fault route according to the weight of each fault point at a present node, extracting a constraint of each node of the selected route to instruct dynamically executed valuing, and confirming each doubt fault point. According to the method, the route selection strategy and a dynamic symbol execution ...

System and method for improving heat efficiency of boiler and removing scale and oxide skin of boiler

The invention discloses a system and method for improving the heat efficiency of a boiler and removing scale and oxide skin of the boiler, and relates to the field of scale removal of boilers. The system for improving the heat efficiency of the boiler and removing scale and oxide skin of the boiler comprises a feeding chamber. The feeding chamber is connected with a second pipeline, and a pump is arranged on the second pipeline. The second pipeline communicates with a first pipeline, and the first pipeline is connected with the boiler. The boiler is connected with a steam pocket, and the steam pocket is connected with a down pipe. The first pipeline is used for adding boiler water, and the feeding chamber is used for adding inert solid particles. According to the system and method for improving the heat efficiency of the boiler and removing scale and oxide skin of the boiler, the inert solid particles are added into the boiler water, online scale prevention and removal of scale and oxide ...

Energy-saving antiscale condenser device

The invention discloses an energy-saving antiscale condenser device. The energy-saving antiscale condenser device comprises a condenser, a water source, a feeding chamber and a solid-liquid separator. The condenser comprises a tube pass and a shell pass. An inlet of the tube pass is connected with the water source through a water inlet pipe. The inlet of the tube pass is further connected with the feeding chamber through a first feeding pipe, wherein the feeding chamber is used for providing inert solid particles. An outlet of the tube pass is connected with the solid-liquid separator through a water outlet pipe. The shell pass is connected with a cooling steam pipe, so that cooling steam enters the shell pass. The solid-liquid separator is further provided with a circulating water outlet and a solid particle outlet. The circulating water outlet is connected with the water source, and the solid particle outlet is connected with the feeding chamber. According to the energy-saving antiscale ...

Method for non-invasive, high-resolution and modularized observation of three-dimensional configuration of plant root system

The invention relates to a non-invasive, high-resolution and modularized method for observing a three-dimensional configuration of a plant root system, a key culture medium for observing the three-dimensional configuration of the plant root system, and a material with similar physicochemical properties for observing the three-dimensional configuration of the plant root system due to the particularity of plastic equivalent to a transparent material under X-rays. All the components belong to the protection range (non-intrusive, high-resolution and modularized), and the physicochemical property consistency refers to foamed plastic materials. In view of the importance of root system configuration on plant growth and development, previous people have developed part of researches on a method for observing plant root systems. A classical agar plate or root canal method for researching the plant root system configuration on a two-dimensional plane is mature. With the development of the technology ...

Ballast bed base prefabricated slab and application thereof

The invention relates to a ballast bed base prefabricated slab and an application thereof. The ballast bed base prefabricated slab comprises a slab body formed by prefabricating reinforced concrete materials. The size of the slab body is smaller than the design size of a base. At least three height and dip angle adjusting devices are arranged on the slab body. The ballast bed base prefabricated slab is simple in structure, capable of being processed and manufactured in the place outside a tunnel or a factory, and the processing precision and quality are more easily ensured. The ballast bed base constructed by applying the ballast bed base prefabricated slab is small in error and high in precision. The construction method for the ballast bed base constructed by applying the ballast bed base prefabricated slab is easy, convenient and rapid to operate, the flatness, cross fall and other key indexes of the base can be effectively controlled with the help of the ballast bed base prefabricated ...

Software test method based on alias analysis technology

The invention discloses a software test method based on an alias analysis technology. By carrying out special analysis on some statements involved with an alias relationship on a control flow, a spatial abstract ternary model is used to associate variable declarations, values and memory spaces, and the process it iterated until the control flow is not expanded any more; by means of the ternary model defining the alias analysis, different from the traditional binary variable-value model, the abstraction of the memory spaces is enhanced; and all variables which are aliases of others in the same abstract memory space are collected in the primary stage of a software static test process, and values of the variables are effectively associated and are applied to statement nodes on a control flow chart. Compared with the traditional test method not using the alias analysis technology, experiments prove that the software test method can effectively solve the under-reporting problem caused by asynchrony ...

Method and system for testing software by using abnormal control flow set

The invention discloses a method and a system for testing software by using an abnormal control flow set. According to the method and the system provided by the invention for treating the software, the method comprises the following steps of: describing a run-time abnormal behavior through an abnormal mode state machine to support expansion of control flow and automatic detection of faults; expanding the traditional abnormal control flow through the run-time abnormal control flow, and adding a throwing run-time abnormal edge into the abnormal control flow to support the detection of a new fault; and generating the run-time abnormal control flow set through an iterative equation by combining the conventional static test technology to realize alternated iterative execution of control flow expansion and new fault detection. The method expands the traditional analysis path and fulfills the purpose of improving the fault report rate.

3-(2-acrylate)-3'-nitroisoxazole oxoindole compound as well as preparation method and application thereof

The invention discloses a 3-(2-acrylate)-3'-nitroisoxazole oxoindole compound. In the invention, the 3-(2-acrylate)-3'-nitroisoxazole oxoindole compound is synthesized through an addition elimination reaction of differently substituted 3-(2-acrylate)-3-OBoc oxoindole and 3,5-dimethyl-4-nitroisoxazole under direct catalysis of organic base; the skeleton comprises potential bioactive isoxazole-containing groups and acrylate groups and is a kind of important medical intermediate analogue and medicine molecule analogue, can provide a compound source to bioactive screening and has an important application value in the industries of medicine screening and pharmacy; and through tumor growth inhibition activity screening of three kinds of tumor cell strains based on the derivatives, the derivatives are proved to have certain activity of inhibiting tumor cell growth and can be expectedly used as anti-tumor drugs.

Charge calculation method and device for expressway interchange toll station

The invention relates to the field of expressway interchange toll, in particular to inter-point minimum charge calculation and rate data storage and provides a charge calculation method for an expressway interchange toll station. On the premise that the real-time calculation speed is acceptable, the rate data volume required by the toll station is remarkably decreased. The minimum charge from an entrance station to a first midway node is obtained through real-time calculation, the minimum charge between every two midway nodes can be directly obtained through table look-up, and the minimum charge from the last midway node to an exist station can be directly obtained through table look-up. The method is achieved mainly by establishing a function module framework through computer programs.

Software test method based on alias analysis technology

Static defect detecting method and system thereof

The invention relates to static defect detecting method and system thereof. The method comprises the steps of S1, creating an abstract syntax tree and a control flow diagram of a program to be detected; S2, building a state machine instance of a defect mode according to the preset defect mode, and placing the state machine instance to a control flow inlet of the program to be detected; S3, traversing the control flow diagram according to the path, and calculating the block information of variable of each control flow joint during the traversing process; S4, updating the state of the state machine instance on real time according to the block value taking information of the variable of each control flow node until detecting the defect of the state machine instance or traversing the control flow nodes on all paths. The method is on the basis of symbolic block analyzing technology, and the infeasible path in the program can be comprehensively determined by the conflict variable value taking ...

Boundary value testing method and system in structure tests

The invention relates to a boundary value testing method and system in structure tests. The method includes 1, selecting special boundary covering rules according to the semantic of statements and expressions in tested files; 2, acquiring a statement boundary value and expression boundary value of the tested files according to the special boundary covering rules; 3, select corresponding feasible paths for the statement boundary value and expression boundary value; 4, generating test cases according to the feasible paths, comparing the test cases, and acquiring boundary value testing results accordingly. According to the boundary value testing method and system in the structure tests, the special boundary covering rules are selected according to different statements and expressions, the corresponding boundary values can be found rapidly, and the boundary values of the statements and expressions in the structure tests can be tested.

Flaw warning grouping method and device based on abstract interpretation technology

The invention discloses a flaw warning grouping method based on the abstract interpretation technology. The method includes the following steps that an abstract lexeme of a node on a function control flow diagram is obtained and a refined abstract lexeme of the node on the function control flow diagram is obtained; when at least two pieces of flaw warning are reported on the node, the flaw warning is grouped according to the abstract dependency relation between the flaw warning. The invention further discloses a flaw warning grouping device based on the abstract interpretation technology. By means of the technical scheme, recognition work of part of flaw warning is greatly reduced and the test working efficiency is improved.

Software test method using symbolic analysis

The invention discloses a software test method using symbolic analysis. The method comprises the following steps of: A, providing a symbolic operation system which comprises the expression, simplification and operation of a symbolic expression, and calculating a value interval of the symbolic operation; B, providing a method for mapping concrete operation among variables in a program into symbolic operation; C, providing a method for computing a limited interval of symbolic values by a program branch statement; and D, providing a computing method of the symbolic analysis on a program control flow graph. When the software test method using the symbolic analysis is used, the problem of association among variables in a software static test can be solved, the information of the variable values at various program positions can be accurately computed, and the accuracy of the software static test can be improved.

Method for refining static defect detection on basis of state partitions

The invention relates to a method for refining static defect detection on the basis of state partitions. The method includes S1, placing sets of to-be-detected defect mode property state machines in to-be-detected function control flow inlets; S2, executing programs from front locations to target locations via paths; S3, transmitting states of the property state machines along the paths of the programs, changing the states of the property state machines and enabling the property state machines to be in preset states at the target locations; S4, acquiring current control flow nodes and judging whether the current control flow nodes are final control flow nodes or not; S5, updating property state conditions and information of the sets of the property state partitions according to information of the current nodes if the current nodes are not the final control flow nodes. The method for refining static defect detection on the basis of a technology of the state partitions has the advantages ...

Static analysis method and system based on symbolic function abstracts

The invention discloses a static analysis method based on symbolic function abstracts. The method includes the steps that an RSTVL model is utilized to describe the storage state of variables of nodes of a control flow diagram of a current function; when the current node of the function is determined as a non-final node and functions which can be called exist in the current node, the function abstracts of the functions called by the current function are instantiated, and variables affected by call of the functions and in the current function are updated; when the current node of the function is determined as a final node and the current function has a function return value, a symbol expression of the function return value is acquired, the variables of which the storage state changes are found out, and symbol expressions of the variables of which the storage state changes are acquired; the symbol expressions of the function return value and the symbol expressions of external variables in ...

Method and system for testing software by using abnormal control flow set

The invention discloses a method and a system for testing software by using an abnormal control flow set. According to the method and the system provided by the invention for treating the software, the method comprises the following steps of: describing a run-time abnormal behavior through an abnormal mode state machine to support expansion of control flow and automatic detection of faults; expanding the traditional abnormal control flow through the run-time abnormal control flow, and adding a throwing run-time abnormal edge into the abnormal control flow to support the detection of a new fault; and generating the run-time abnormal control flow set through an iterative equation by combining the conventional static test technology to realize alternated iterative execution of control flow expansion and new fault detection. The method expands the traditional analysis path and fulfills the purpose of improving the fault report rate.

Method and device applied to unit testing including multiple function testing modules

The invention discloses a method and device applied to unit testing including multiple function testing modules. The method and device applied to the unit testing including the multiple function testing modules are designed for solving the problem that the test of function errors in function call statements cannot be achieved in existing unit testing. The method comprises the steps of constructing a testing module, wherein the testing module comprises more than two functions with a call relation; forming multiple paths among functions according to the logic relation of programs in the testing module and the call relation among the functions; selecting a testing case for each path among the functions to carry out a test. According to the method and device, the errors in function call can be found timely in a unit testing stage, the errors of the function call are prevented from being delayed to an integrated test, correction on the errors in the function call of software can be carried out ...

Software testing case automatic generating method and system based on iterative interval arithmetic

The invention relates to a software testing case automatic generating method and system based on iterative interval arithmetic. The method includes the steps of S1, reading the preset path of a to-be-tested program, and traversing the control flow diagram of the to-be-tested program to obtain the value interval of each variable of the preset path; S2, using the value interval of each variable to traverse the control flow diagram through the iterative interval arithmetic to obtain the initial stable variable value interval of each variable; S3, initializing the infinite variable value interval in the initial stable value interval, traversing the control flow diagram through the iterative interval arithmetic, and saving the operation result into the initial stable variable value interval; S4, sorting the variables according to a preset mechanism, and determining a current variable; S5, performing rollback operation, iterative interval arithmetic and backtrack operation on the initial stable ...

Toll station efficiency monitoring method and device

The invention relates to a toll station efficiency monitoring method and device. Acquiring real-time data of a toll station; calculating a numerical value corresponding to the traffic efficiency key factor at the current moment according to the real-time data; the traffic efficiency key factors comprise at least one of the number of idle times of lanes, transaction time, traffic flow, average traffic time of the lanes, average traffic speed of the lanes, the number of the lanes, the type of the lanes, actual vehicle passing efficiency of the lanes and vehicle queuing length; calculating a smoothness index of the toll station at the current moment according to the numerical value corresponding to the traffic efficiency key factor at the current moment; and according to the smoothness index of the toll station at the current moment, determining whether to carry out lane switching. On-site managers can conveniently and dynamically adjust lanes according to traffic flow change conditions, lane ...

Compound containing isopentene ketone group five-membered ring pyrrole spiro ring oxoindole as well as preparation method and application of compound

The invention discloses a compound containing isopentene ketone based five-membered ring pyrrole spiro ring oxoindole. The compound containing isopentene ketone group five-membered ring pyrrole spiro ring oxoindole is obtained by refluxing various substituted isatins (E)-5-methyl-3-carbonyl-1,4-hexadiene and proline or thioproline in an organic solvent, and performing 1,3-dipole 3+2 ring addition reaction, wherein the framework contains a potential bioactivity isopentene ketone group which can provide a compound source for biological activity screening and has an important application value for medicament screening and the pharmaceutical industry. According to the compound disclosed by the invention, the operation is simple and feasible, raw materials are cheap to synthesize and are easily available, the preparation can be carried out in various organic solvents, and the compound has relatively good air stability, wide applicability and very good compatibility for various substituent groups ...

Software test method using symbolic analysis

The invention discloses a software test method using symbolic analysis. The method comprises the following steps of: A, providing a symbolic operation system which comprises the expression, simplification and operation of a symbolic expression, and calculating a value interval of the symbolic operation; B, providing a method for mapping concrete operation among variables in a program into symbolic operation; C, providing a method for computing a limited interval of symbolic values by a program branch statement; and D, providing a computing method of the symbolic analysis on a program control flow graph. When the software test method using the symbolic analysis is used, the problem of association among variables in a software static test can be solved, the information of the variable values at various program positions can be accurately computed, and the accuracy of the software static test can be improved.

Equivalent transformation method of complex symbol operation

The invention relates to an equivalent transformation method of complex symbol operation. The equivalent transformation method includes S1, defining simple operation and complex operation, wherein the simple operation refers to adding, subtracting and multiplying, and the complex operation refers to all other operation apart from the simple operation; S2, performing transformation and processing according to preset transformation rules. By the method, the complex operation in a symbol expression can be processed; the complex operation can be transformed into the simple operation logistically, so that the equivalent transformation method is provided to transform the complex operation into the logistically-equivalent simple operation. In other words, as long as the simple operation can be processed, the complex operation can be processed, so that processing difficulty of the symbol expression is greatly lowered; simple symbol operation is further processed, and the equivalent transformation ...

Defect processing method and defect processor

The invention discloses a defect processing method which includes the steps: generating a grammatical defect pattern by the aid of SDDL-EXP; searching a detection point in detected codes according to the grammatical defect pattern, and instantiating defect generating conditions in the grammatical defect pattern; converting variables and expressions in the detected codes according to a preset standardization strategy; performing backward data flow analysis for the converted detected codes, and verifying whether defects exist at the detection point or not according to the instantiated conditions. The SDDL-EXP is related defect pattern language of a preset value. The invention further discloses a defect processor. By the aid of the technical scheme, the defect pattern related to a user can be conveniently and rapidly expanded, the defects are effectively detected by the aid of the defect pattern, and user experience is improved.

Code static analysis-based data race detecting method and system thereof

The invention discloses a code static analysis-based data race detecting method and a system of the detecting method. The method comprises the following steps of: reading software to be detected, statically analyzing a source program of the software to be detected, and generating an abstract syntax tree, a control flow graph and a global function call graph of the software to be detected; on thatbasis, computing alias information in each function, outlet alias information among functions, lock assembly information, an access link of an access escapable variable quantity in each function and a thread building relational graph; computing a plurality of initialized sentence pair sets of a plurality of access nodes in every two threads; and gradually eliminating the sets according to the alias information, the lock assembly information and a concurrency relation to obtain a sentence pair which can finally have the data race. The detecting method and the detecting system can effectively detect ...

Under-test program modification method and system for use in structural testing

The invention relates to an under-test program modification method and system for use in structural testing. The method includes;S1, generating an abstract syntax tree and a control flow diagram according to the structure of an under-test program to obtain input/output function information of the under-test program; S2, modifying the under-test program and constructing a drive function, a stub function and a probe function in the under-test program; S3, executing the under-test program to obtain a stub insertion returned information of the probe function, and analyzing path coverage of the under-test program according to the stub insertion returned information and the control flow diagram. The method and the system have the advantages that the drive function, the stub function and the probe function are constructed by modifying an under-test function unit, the under-test program can be executed independently, and automation level of structural testing is greatly increased.

Data processing method, server and monitoring system for campus users based on WiFi

The invention discloses a data processing method, a server and a monitoring system for campus users based on WiFi. The data processing method comprises the following steps: obtaining original user data records including MAC addresses of network cards, signal strength, time stamps and the geographical location of a WiFi probe through the WiFi probe arranged at a monitoring region; preprocessing original user data records, removing invalid user data and then obtaining valid user data records; forming real-time visiting records of a monitoring place on the basis of the valid user data records, wherein the real-time visiting records include visit starting time and visit ending time which are generated by the time stamps; counting the frequency of users entering and/or leaving the monitoring region according to the geographical location of the WiFi probe and the visit starting time in the real-time visiting records of the monitoring place. According to the data processing method disclosed by ...

Static detection method for privacy information disclosure in mobile applications

The invention discloses a static detection method for privacy information disclosure in mobile applications. The method comprises the steps as follows: firstly, the completeness of codes is checked, if the codes are incomplete, preparatory work is performed on source codes, state machine description files corresponding to the privacy disclosure are loaded, related state machine information is obtained, the source codes are compiled to obtain detailed information of classes, functions and the like, pre-analysis is performed on the source codes, basic data structures such as abstract syntax trees and the like are generated, and call relations among the functions are obtained; and then detection and analysis is performed in units of the functions, state machine instances are created for all state machines with associated methods in the state machines, state machine instance iteration is performed on control flow diagrams corresponding to the functions, when the state machine instances are ...

Combined permanent magnet eddy current speed governor

The invention provides a combined permanent magnet eddy current speed governor which comprises a conductor rotor and a permanent magnet rotor, wherein the conductor rotor comprises a circumferential fixing sleeve, a first conductor supporting disk (1) and a second conductor supporting disk (15), wherein a first end face conductor (2) is arranged on the inner surface of the first conductor supporting disk (1), and a second end face conductor (14) is arranged on the inner surface of the second conductor supporting disk (15); a radial conductor is arranged on the inner surface of the circumferential fixing sleeve; the permanent magnet rotor comprises a first magnet mounting disk (4) and a second magnet mounting disk (12) which are parallel to each other; end face permanent magnets and radial permanent magnets are arranged on both the first magnet mounting disk (4) and the second magnet mounting disk (12). The combined permanent magnet eddy current speed governor combines a cylinder type structure ...

Software testing method and system

The invention provides a software testing method and system. The method includes: determining an abstract syntax tree of to-be-tested program; traversing and analyzing the abstract syntax tree to acquire a corresponding symbol table and a control flow diagram; according to the symbol table, determining the input variable and the global variable of the to-be-tested program and respectively endowing initial value ranges to the input variable and the global variable, wherein the value ranges of the input variable and the global variable are represented by a value interval form; converting the value interval form of the input variable and the global variable into an affine representation form; determining a path set according to the control flow diagram, subjecting paths in the path set to node-by-node variable affine form calculation, and outputting the variables and the variable value ranges corresponding to the paths; performing valuing in the value ranges of the variables corresponding ...

Path generation method based on contradiction fragment mode

The invention discloses a path generation method based on a contradiction fragment mode. The method comprises the following steps: A, selecting a starting point from which the current path is generated from a control flow graph, and then carrying out step B; B, selecting a subsequent point, and then carrying out step C; C, after selecting the subsequent point successfully, carrying out step G, otherwise carrying out step D; D, carrying out step E after a previous point is found out by checking, otherwise carrying out step F; E, setting the previous point as the current point, and then carrying out step B; F, failing to generate the path because of returning to the starting point; G, successfully generating the path after checking that the subsequent point is the end point of the path, otherwise, carrying out step H; H, setting the subsequent point as the current point, and then carrying out step B. With the adoption of the method, that the current path fragment is the unreachable path can ...

Track structure state detection method, computer equipment and medium

The invention provides a track structure state detection method, computer equipment and a medium, the track structure state detection method comprises a detection device arranged based on track characteristics of a to-be-detected track, and the method comprises the following steps: collecting to-be-detected current track data based on the detection device; inputting the track data into a pre-trained multi-level network model, and determining a track structure state of the current track based on the multi-level network model; wherein the multi-level network model is obtained based on a single-level network model, the single-level network model is used for identifying one type of track structure state, and the multi-level network model is used for identifying one or more types of track structure states. Through the method provided by the invention, track structure diseases in various types and states can be identified and detected.

ETC and V2X fusion system and vehicle

The invention relates to an ETC and V2X fusion system and a vehicle. The ETC and V2X fusion system comprises an ETC and V2X integrated antenna, an ETC and V2X integrated controller and a gateway. And the ETC and V2X integrated controller comprises an amplification module, a 5.8 G Hz radio frequency chip, a 5.9 G Hz radio frequency chip, an MCU (Microprogrammed Control Unit) and a CAN (Controller Area Network) chip. The ETC and V2X integrated antenna receives 5.8 G Hz and 5.9 G Hz radio frequency signals and sends the signals to the amplification module of the ETC and V2X integrated controller, the amplification module amplifies the radio frequency signals and sends the signals to the 5.8 G Hz and 5.9 G Hz radio frequency chips, the two radio frequency chips recognize signals of corresponding frequencies, extract the corresponding radio frequency signals, convert the radio frequency signals into IIC signals and send the IIC signals to the MCU, the MCU converts the IIC signals into CAN protocol ...