China 
Africa 
Explore chapters and articles related to this topic
Design and Development (A4): SDL Activities and Best Practices
Published in James F. Ransome, Anmol, Mark S. Merkow, Practical Core Software Security, 2023
James F. Ransome, Anmol, Mark S. Merkow
Static program analysis is the analysis of computer software that is performed without actually executing programs. It is used predominantly to perform analysis on a version of the source code; it is also performed on object code. In contrast, dynamic analysis is performed by actually executing the software programs. Static analysis is performed by an automated software tool and should not be confused with human analysis or software security architectural reviews, which involve manual human code reviews, including program understanding and comprehension. When static analysis tools are used properly, they have a distinct advantage over human static analysis in that the analysis can be performed much more frequently and with security knowledge superior to that of many software developers. It thus allows for expert software security architects or engineers to be brought in only when absolutely necessary.
Testing and Debugging Sensor Network Applications
Published in S. Sitharama Iyengar, Richard R. Brooks, Distributed Sensor Networks, 2016
Sally K. Wahba, Jason O. Hallstrom, Nigamanth Sridhar
In addition to the debugging techniques discussed so far, there are other techniques and tools that have been proposed that allow a developer to include checks to safeguard against certain kinds of failures. These techniques use some form of static program analysis in order to identify and/or safeguard portions of the source code that have the potential to fail.
Synthesis of NaHS zeolite using microwave assisted alkali activation of coal fly ash: preparation, mechanism, application
Published in Energy Sources, Part A: Recovery, Utilization, and Environmental Effects, 2022
Tengteng Zhou, Yixuan Liu, Xinxin Xiao, Xiuli Xu, Jinxiao Dou
CO2 adsorption and desorption experimental equipment in the modified Kubo X1000 surface area analyzer. Firstly, 0.1 g sample was degassed at 250°C in vacuum for 3 h, and after cooling, the remaining mass of the sample was weighed after activation and recorded in BET program analysis software, then filling the James Dewar bottle with 0°C of ice water or no treatment (the room temperature should be kept at 25°C), open the helium cylinder pressure-relief valve to regulate the gas flow to 30 ml per minute, while opening the pressure-relief valve for the CO2 or N2 cylinders, the flowmeter was adjusted to the gas flow rate of 40 ml/min, and the absorption time was about 8 h, the pressure swing adsorption curve and adsorption capacity of CO2 was obtained at different temperatures (0°C or 25°C) by software analysis when the reaction of the sample to be finished.
The research of endless loop detection method based on the basic path
Published in International Journal of Computers and Applications, 2020
Xuexin Gao, Yongmin Mu, Meie Shen
Basic path testing is a white box testing technique, and this method is mainly based on the control flow graph of the program. It analyses the ring complexity of the control structure, and extracts the basic path set, and designs the corresponding test cases [2,3]. Endless loop error is a fatal error of software. It is hard to be found through limited test cases. Automatically checking this error can effectively improve the efficiency and quality of software development. At present, the research on the theoretical analysis of abstract programs, but the practical automation techniques for the real code is few. On the other hand, the program analysis technology has been widely applied to program testing and correctness verification in formal methods and software engineering fields [4,5].