安全测试是在IT软件产品的生命周期中,特别是产品开发基本完成到发布阶段,对产品进行检验以验证产品符合安全需求定义和产品质量标准的过程 。
1.模式匹配方法:将程序看作字符串
2.状态机模型:将程序看作状态机
3.黑盒模型:将程序看作黑盒子
4.白盒模型:将程序看作路径的组合