软件测试基础 一、概述 二、软件测试的目的 三、软件测试的基本方法 四、软件测试的复杂性与经济性 五、软件测试的心理学问题 六、好的测试工程师应具备的素质 七、参考文献 　 一、概述 信息技术的飞速发展，使软件产品应用到社会的各个领域，软件产品的质量自然成为人们共同关注的焦点。不论软件的生产者还是软件的使用者，均生存在竞争的环境中，软件开发商为了占有市场，必须把产品质量作为企业的重要目标之一，以免在激烈的竞争中被淘汰出局。用户为了保证自己业务的顺利完成，当然希望选用优质的软件。质量 不佳的软件

本文介绍了安全协议的基本概念和安全协议的安全性； 研究了安全协议逻辑分析方法的途径和技术的发展历程；介绍了安全协议形式化分析的三种思路； AVISPA是一个用于自动验证安全协议的工具。我们介绍了高级协议规范语言和中间格式，分析了AVISPA工具的整体结构，特别深入研究了AVISPA的后台OFMC.我们用AVISPA，分析了H.530协议

一本非常全面，而且易懂的模型检测方面的书。该书 是学习形式化验证比较好的入门书。

提出了一种基于安全行为本体的员工安全行为检测方法。通过在用户无感状态下的真实手机使用行为采集，解决了安全行为的真实性问题；通过建立手机用户的静态和动态安全行为本体，对用户的通话、短信、网络与App应用等行为进行形式化描述，制定了不安全行为判定规则和行为关联规则；借鉴攻击图的概念，提出了一种基于行为关联图的不安全行为检测算法，发掘不安全行为路径。进一步，提出了信息安全能力评估的胜任力模型，实现了从员工信息安全行为的定性检测到能力的定量评估的过程。实验表明，该方法能够有效检测出用户不安全行为路径，得