1.1测试原理和方法　　Session 是应用系统对浏览器客户端身份认证的属性标识，在用户退出应用系统时，应将客户端Session认证属性标识清空。如果未能清空客户端 Session 标识，在下次登录系统时，系统会重复利用该Session标识进行认证会话。攻击者可利用该漏洞生成固定Session会话，并诱骗用户利用攻击者生成的固定会话进行系统登录，从而导致用户会话认证被窃取。　　1.2测试过程　　在注销退出系统时，对当前浏览器授权 SessionID 值进行记录。再次登录系统，将本次授权 SessionID 值与上次进行比对校验。判断服务器是否使用与上次相同的 SessionID 值进行授...

　　简介　　基于模型的测试（简称MBT），是属于软件测试领域的一种测试方法。　　与常规的设计测试用例，然后运行测试用例，验证运行结果与用例期望值是否一致的测试方法不同。MBT首先对被测软件系统进行建模，制定行为和行为之间的关系以及行为和系统的关系（有限状态机）。　　其次，使用建模模型根据被测系统的状态、之前设置的限制条件和策略来生成很多用例，测试结果受一系列操作的影响。MBT可以产生更多不确定性的用例，更能发现一些意料之外的软件缺陷。　　MBT主要包括：分析被测系统、选择测试模型、构建测试模型、生成和执行测试用例、收集和分析测试结果几个步骤。　　其中最重要也是最难的几点就是选择测试模型、构建测...

 在《漫谈软件缺陷管理的价值》一文中，文章分享了软件缺陷管理的过程价值和结果价值，并介绍了有哪些实践可以发挥这些价值。那么，这些实践落地到实际工作中可以是什么样子的呢？一、缺陷管理的实践如图1-1所示，图片展示的是钉钉App的消息机器人推送的缺陷过程数据。该信息展示的信息包括：当前时间、版本交付倒计时时间、版本Bug总数、待修复Bug数、已修复待验证Bug数和查看详情的链接入口。为什么设计要推送这些内容？如推送内容的标题所写：缺陷跟踪，这个消息推送的直接目的跟踪项目Bug的处理进度，并在项目工作群中和所有项目成员及时同步。那么，这个缺陷跟踪消息的设计有哪些缘由呢？图1-1 爱测角_缺...