断言着色

rainbow Assertion coloring 一致性测试开发涉及到确定在一个规范的说法,写一致性测试,检查连接确定的断言和测试,它测试的说法。
让我们从以下几点:
- 断言标记
- 实际的说法是很难查看规格(目前只有小的GIF断言在每个断言结束的)
- 完整的说法,只是通过阅读网页直接或寻找在每个单独的测试效果
- 断言开始是很难看到的html代码
- 提供一个可视化的方式来查看轻易断言是问题,我们正在努力解决。

主要的一点是要颜色的说法(规范文本本身)使用HTML标签。 研究了哪些HTML标签来使用。 科,跨度,表和字体标签被看着。 最好的解决办法是字体标签。 因此,与周围的文本字体标记。 字体标签的class属性对应的说法,类型。 铁如果是新的asserion它与红色,以表明,该测试需要书写,老断言色绿,表明测试已经存在。 应该有一个实用程序(脚本或Java程序)来扫描标明了规格,并自动添加着色所需的标签。文本的背景颜色将会由断言标题属性的颜色决定的。 该法实施和工程罚款。 对于可用性的目的,应该有一个机制来隐藏着色,铁一个javascript。

这一解决方案的缺点是颜色是静态的,因为它是在产权属性的基础。第二种办法是,该工具将检查中就断言身份证或断言关联为基础的测试(存在)。如测试存在,我们会做一些设置的这一说法的颜色。它可以像设置标题属性的简单。 阿该解决方案将是不利的说法着色将仍然静态的,而是当用户运行脚本的基础。

在给定的一个变化是,我们的解决方案将动态生成的覆盖面时,该规范是在浏览器中查看数据。 如果我们将确定一个考验,对一个给定的断言和色彩的说法相应的测试目录是否存在。 为此,可以通过一个JavaScript / VBScript中使用对象,允许访问文件系统。 这种方法将是动态的,应该始终拥有最新的断言覆盖状况。

下面是一些例子, JLS3章“转换及推广”和“接口”:

JLS3 colored Assertion coloring

JLS3 colored2 Assertion coloring

断言conv063,conv047,conv065,conv48,conv66和conv049从以前版本的规范,他们没有改变,并不需要更新测试 - 颜色是海蓝宝石(neurtal绿色)。 Conv155和conv156是新的,应制定新的考验,断言是明显的红色。 Conv064已更改,测试更新是必要的 - 橙色。 Annot019是一个新的,测试存在,但他们必须改变 - 鲑鱼的颜色。 Annot020是新的,但кудумфте测试存在 - 颜色浅绿色。

该规范着色的主要优点是,规范是可视化。 用户可以看到整个断言和它的标题。 一看就知道在规格,其中有与覆盖率低的部分或大量的测试,应添加或更改的区域。 基本上是有可能看到一个规范是如何好标记,以及如何以及它是经过测试。




  • 分享/书签
Print This Post 打印此职位

两种类型的断言

refrigerator Two types of assertions 有时有事实,即直接牙弓进行检查。 比方说,有一个在一个盒子冰箱,可能无法打开。 想象一下,冰箱可以是5个不同的颜色 - 白色,蓝色,红色,黑色和绿色。 手册中说,它是蓝色的。 不过,唯一可用的冰箱是黑与白的照片。 直接色彩检查测试是努力使只使用的照片(假定它是不可能的)。 但一个可以defenately说(从照片看)表示,冰箱是白色或没有。 所以测试不检查自己的颜色,它实际上测试,如果颜色是白色。

类似的情况发生的所有的时间。 这就是为什么有两种类型的断言。 第一种是直接的,当有可能的测试,检查的确切事实,这一说法表示。 第二种是间接产生的断言。 它不是写在一个规范,而是来自一个或几个的。

让我们回到冰箱和黑与白的照片,下面是一些例子: wheel Two types of assertions

  • 直接断言:
    书写规范是:“冰箱是白色的”。 简单的测试检查,如果它是白色的。
  • 衍生断言:
    在一个规范的基础断言是“冰箱是蓝色的。”
    派生可以“冰箱是白色或黑色的”。 这些测试检查是否不蓝(白/黑)。

这是不正确的,派生的断言是唯一有用的时候有没有从能力测试规范的基础断言。 在许多情况下,它们有助于提高断言深入的报道。




  • 分享/书签
Print This Post 打印此职位