在上一篇文章中 ，我的教练客户“ Frieda”询问了有关为审计师或监管机构编制测试用例的问题。 在快速软件测试 （RST）中，我们发现对形式化测试进行构架很有帮助。

测试是正式的，必须以特定的方式进行或验证特定的事实。 正式测试的目的通常是确认或证明有关产品的某些信息。 在RST中测试正规性是一个连续的过程。 我的版本与James Bach的版本略有不同，如下所示：

一些术语说明:检查是操作和观察产品的过程;对观察结果应用决策规则;然后报告这些规则的结果;所有的机械化,从算法上。检查可以转换为正式的脚本化流程，可以由人或机器执行。

程序脚本化的测试用例是人工检查的实例，测试人员基本上是被脚本所指示的操作所引导的。因为人不是机器，也不遵守算法，所以人们不会严格按照我们的说法进行检查。

人类收发器是指仅根据他人的眼睛，耳朵和手的行为来做事的人。

机器检查是最正式的测试模式，因为机器执行检查的方式完全特定，根据一个程序，完全集中在特定的事实。检查的动机不是来自机器，而是来自某个人。请注意，程序是正式的，但编程是一种非正式的活动。工具工程师和开发自动检查的人员自己并不遵循脚本。

形式化的程度是一种选择，基于许多上下文因素。你的环境指导着你的选择，而这两者都是随着时间的推移而演变的。

最重要的环境因素之一是你的使命。你可能处在一个受监管的环境中，监管机构和审计人员最终会希望你用一种非常正式的方式来展示有关产品和项目的具体内容。如果你在这种情况下，要让审计师和监管者满意，可能需要进行某种形式的正式测试。尽管如此，即使在这种情况下，您也必须执行大量的非正式测试，原因至少有两个。

第一个重要原因是要了解有关产品及其上下文的信息，以准备进行出色的正式测试，以经受监管机构的审查。 这与另一个上下文因素相关：您在项目生命周期中的位置以及对产品的了解。

正式测试从非正式的工作开始，非正式的工作更具有探索性和默契性，以学习为目标。 较少的脚本编写和明确的演示目的。 一路走来，尤其是在两极之间，我们正在寻找问题。正如美国食品和药物管理局(Food and Drug Administration，简称fda)强调的那样，这一点非常重要。

在探索阶段对设备进行彻底和完整的评估，可以更好地理解设备以及预期的性能。这种理解有助于确认设备的预期用途将符合赞助商的期望。它也可以帮助选择适当的关键研究设计。

第五部分:探索性研究在关键研究设计中的重要性 医疗器械关键临床研究的设计注意事项 行业指南，临床研究人员，机构审查委员会 以及食品和药物管理局的工作人员

FDA说，设备开发的关键阶段是开发人们评估产品安全性和有效性所需的知识。关键阶段通常包括一个或多个关键研究。换句话说，FDA承认发展是循环往复的;开发是一个迭代的过程。

James Bach在他的“形式测试的肮脏秘密”中强调了这一点，这是RST的重要内容。 开发是一个反复的过程，因为在任何工作周期的开始，我们都不确定所有的要求是什么。 他们是什么意思； 我们能得到什么； 以及我们如何决定我们已经掌握了它。 直到我们对产品进行测试之前，我们才真正知道这一点……并且在尝试测试产品之前，我们不知道如何测试产品！

就像开发自动化检查一样，开发正式的脚本化测试用例是一个非正式的过程。在解释规范时，您不需要遵循脚本;当你与开发者或设计师交谈时;当您在研究产品和测试空间以确定哪里的检查是有用的或重要的时候。当您认识到一种使用工具来了解产品并应用它们的新方法时，您并没有遵循脚本。当您调查您所发现的bug时，您并没有遵循脚本—无论是在非正式测试期间还是在随后的正式测试期间。

如果您试图在不测试实际产品的情况下开发正式的过程测试用例，那么它们很可能与实际产品不同步。正式测试的秘密在于，所有好的正式测试都是从非正式测试开始的。

对于程序员来说，开发一些自动化检查可能是一个非常好的主意，这些检查可以帮助他们构建干净的代码并得到快速的反馈。这对于开发人员、设计人员、测试人员和业务人员来说也是一个好主意，他们可以开发关于产品意图的清晰的想法，想象成功。在单元级别之上开发一些自动化检查并将它们应用到构建过程中可能也是一个好主意——但是不要太多，当然也不要太早。工作的开始通常是一个过度正式化的可怕时刻。

这是我们在整个项目中连续进行非正式测试的第二大原因：解决迄今为止我们的正式测试无法揭示该产品如何使客户失望的风险； 失去某人的钱； 炸掉东西 或伤害或杀死人。 在整个项目过程中，我们必须对发现以及进行支持它的测试和调查保持开放的态度，因为主显节和错误均不遵循脚本或时间表 。

测试的首要任务集中在一个问题上:“是否存在威胁到产品价值或按时、成功地完成工作的问题?”这不是一个正式测试能够单独回答的问题。专注于自动化的检查或测试用例可能会取代实验、探索、发现和学习的时间。

下次，我们将看一个在实际医疗设备项目中打破测试用例成瘾的示例 。 敬请关注。

我的个人主页：qaseven.cn

** qileilove@gmail.com ** 我的微信: 15619208923