搜索结果: 1-2 共查到“计算机科学技术基础学科 Static analysis”相关记录2条 . 查询时间(0.062 秒)
Static program analysis techniques cannot know certain values,such as the value of user input or network state, at analysis time. While such unknown values need to be treated as non-deterministic choi...
Improving Processes Using Static Analysis Techniques
Fault tree analysis Finite state verification Process improvement
2014/12/18
Real-world processes often undergo improvements to meet certain goals, such as coping with changed requirements, eliminating defects, improving the quality of the products, and reducing costs. Identif...