Epoxy resin laminate onto which a pair of copper foil was printed was employed as test samples.The samples were placed in an artificial atmospheric chamber, which was vacuumed by a rotary pump from 100 kPa to 5 kPa.Th...Epoxy resin laminate onto which a pair of copper foil was printed was employed as test samples.The samples were placed in an artificial atmospheric chamber, which was vacuumed by a rotary pump from 100 kPa to 5 kPa.The magnetic field was produced by permanent magnets that were assembled to make E×B drift away from, into and parallel to the sample surface, respectively.Magnetic flux density was adjusted at 120 mT, 180 mT and 240 mT respectively.By applying a negative bias voltage between the electrodes, the ...展开更多
Software fault positioning is one of the most effective activities in program debugging. In this paper, we propose a model-based fault positioning method to detect the faults of embedded program without source code. T...Software fault positioning is one of the most effective activities in program debugging. In this paper, we propose a model-based fault positioning method to detect the faults of embedded program without source code. The system takes the machine code of embedded software as input and translates the code into high-level language C with the software reverse engineering program. Then, the static analysis on the high-level program is taken to obtain a control flow graph（CFG）, which is denoted as a node-tree and each node is a basic block. According to the faults found by the field testing, we construct a fault model by extracting the features of the faulty code obtained by ranking the Ochiai coefficient of basic blocks. The model can be effectively used to locate the faults of the embedded program. Our method is evaluated on ST chips of the smart meter with the corresponding source code. The experiment shows that the proposed method has an effectiveness about 87% on the fault detection.展开更多
In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flo...In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flow and data flow analysis, a lexical analysis/syntax analysis method with simplified grammar and sentence depth is designed to analyze the embedded software. The experiments use the open source code of smart meters as a case, and the artificial faults as the test objects, repeating 30 times. Compared with the popular static analyzing tools PC-Lint and Splint, the method can accurately orient 91% faults, which is between PC-Lint＇s 95% and Splint＇s 85%. The result indicates that the correct rate of our method is acceptable. Meanwhile, by removing the platform-dependent operation with simplified syntax analysis, our method is independent of development environment. It also shows that the method is applicable to the compiled C（including embedded software） program.展开更多
基金Supported by National Natural Science Foundation of China (No.50777048)
文摘Epoxy resin laminate onto which a pair of copper foil was printed was employed as test samples.The samples were placed in an artificial atmospheric chamber, which was vacuumed by a rotary pump from 100 kPa to 5 kPa.The magnetic field was produced by permanent magnets that were assembled to make E×B drift away from, into and parallel to the sample surface, respectively.Magnetic flux density was adjusted at 120 mT, 180 mT and 240 mT respectively.By applying a negative bias voltage between the electrodes, the ...
基金Supported by the National Natural Science Foundation of China(61303214)the Science and Technology Project of China State Grid Corp(KJ15-1-32)
文摘Software fault positioning is one of the most effective activities in program debugging. In this paper, we propose a model-based fault positioning method to detect the faults of embedded program without source code. The system takes the machine code of embedded software as input and translates the code into high-level language C with the software reverse engineering program. Then, the static analysis on the high-level program is taken to obtain a control flow graph（CFG）, which is denoted as a node-tree and each node is a basic block. According to the faults found by the field testing, we construct a fault model by extracting the features of the faulty code obtained by ranking the Ochiai coefficient of basic blocks. The model can be effectively used to locate the faults of the embedded program. Our method is evaluated on ST chips of the smart meter with the corresponding source code. The experiment shows that the proposed method has an effectiveness about 87% on the fault detection.
基金Supported by the National Natural Science Foundation of China(61303214)the Science and Technology Project of China State Grid Corp(KJ15-1-32)
文摘In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flow and data flow analysis, a lexical analysis/syntax analysis method with simplified grammar and sentence depth is designed to analyze the embedded software. The experiments use the open source code of smart meters as a case, and the artificial faults as the test objects, repeating 30 times. Compared with the popular static analyzing tools PC-Lint and Splint, the method can accurately orient 91% faults, which is between PC-Lint＇s 95% and Splint＇s 85%. The result indicates that the correct rate of our method is acceptable. Meanwhile, by removing the platform-dependent operation with simplified syntax analysis, our method is independent of development environment. It also shows that the method is applicable to the compiled C（including embedded software） program.
