您可以捐助,支持我们的公益事业。

1元 10元 50元





认证码:  验证码,看不清楚?请点击刷新验证码 必填



  求知 文章 文库 Lib 视频 iPerson 课程 认证 咨询 工具 讲座 Model Center   Code  
会员   
   
 
     
   
 
 订阅
软件运行分析(2)-基于模型的白盒测试
 
 
作者:刘利、俎涛(火龙果软件工程)
 
   次浏览      
2023-6-7

1.运行分析是什么

EA 中的执行分析器中由一组和代码相关的工具组成,可以进行构建、调试、记录执行、分析、仿真以及构建验证和测试,同时保持代码与模型紧密集成。 EA 对各种流行的编译器和平台都提供了支持,尤其是 Java , .Net 和 C++ 等环境。在 EA 中可以进行白盒测试的单元测试 - 测试点测试,接下来主要介绍测试点。


2.什么是白盒测试的测试点

白盒测试中对于软件中的最小可测试单元进行检查和验证,通常进行单元测试,在 EA 中可以通过建立测试点的方式进行单元测试。

3.为什么使用测试点

在软件研发过程中,代码量通常都比较大,测试是软件研发过程中必不可少的活动。白盒测试中的测试点可以实现最小单位测试,例如:测试一个类中的函数。测试点测试代码可以实现敏捷开发、提高代码质量、消除未知隐患, 顺利完成开发任务降低维护成本。

4.测试点有什么

测试点窗口信息介绍

名称

描述

Tests

显示选定的名称 测试点 对象及其下对象的层次结构。
所选对象可以是:
  • Class
  • Operation
  • Test Cut
  • Test Set
  • Test Suite
  • Id

    对于 Operation ,此列显示 测试点 标记图标 ( ) 当分析器在目标应用程序中成功绑定了该操作时。如果没有这个图标出现,那么它表明模型和代码库可能没有同步。
    对于一个测试点,这个列显示了一个生成的 id 号。该 id 号在跟踪输出中用于指示引用了哪个约束。

    Constraints

    铅笔图标 ( ) 表示为此类或操作定义了一个或多个约束。

    Status

    在测试运行期间,指示这些可能的状态 :
  • ( ) 失败 - 约束一次或多次被评估为 false 。
  • ( ) 无效语句 - 由于语法无效,约束无法解析。
  • ( ) 变量未找到 - 在计算约束的位置未找到引用的变量名。
  • 如果约束已通过,则不会显示图标。
    Evals

    在测试运行期间,指示执行分析器评估此约束的次数。

    Passes

    在测试运行期间,指示测试通过的次数。

    Fails

    在测试运行期间,指示测试失败的次数。

    Last Run By

    显示运行该测试的最后一个人的用户名。

    Last Run Date

    显示上次评估该测试的日期和时间。

    Last Run Result

    显示上次测试运行的结果。

    Parent Collections Pane

    列出在设计中包含选定对象的所有父集合。
    双击此集合,使其成为左窗格中的选定对象。

    5.如何使用测试点

    5.1 测试点

    打开测试点窗口: Execute > Tools > Tester > Show Testpoint Window

    当选择一个测试片断、测试集或测试套件时, Testpoints 窗口显示整个域结构,包括组成该域的所有类。

    通过双击方法,可以添加或编辑现有的前置或后置条件。

    双击一个测试点将会自动显示源代码。

    最好使用代码编辑器的快捷菜单从代码编辑器中添加行条件。

    该图像是测试域中的前置条件。

    5.2 测试点跟踪语句

    每个测试点可以有自己的 Trace 语句。 Trace 语句是一个动态消息,可以引用其对象或局部范围内的变量。它们是在测试评估期间输出的。可以将它们配置为在每次评估约束时输出,或者更常见的是在测试失败时输出。跟踪语句可以被定向到测试点选项卡系统输出窗口,或者保存到外部文件。您可以在任何 Analyzer 脚本中对此进行配置。

    5.3 测试域组成

    测试域是 测试点 组装起来测试用例。测试域图中的用例以三种不同的原型提供:测试片段、测试集和测试套件。域的管理就像在任何图上建模一样简单。工具箱和快捷菜单提供了对任何测试域工件的访问。简而言之,来自多个类的测试点被聚集成测试集。然后,测试集被链接以形成测试套件。测试用例集和测试用例集都是可重用的资产。将同一个测试集链接到一个或多个测试套件是一个绘制连接器的问题。

    5.4 测试域和类模型

    一个用例很少会包含一个类的所有方法,一般是使用协作类中的各种方法来实现。我们称这个方法子集为 “ 片段 ” ,测试片段工件是我们用来测试的工具。此图显示了选择测试片段时的测试点窗口。请注意复选框,它们仅对测试片段可见。它们表示对测试集有贡献的方法 ( 测试用例 ) 。在这个例子中,测试域是由执行分析器生成的,它为我们做了方法识别工作。

    5.5 操作

    1.创建测试点

    新建测试点图

    建立关系

    选择测试的函数

    选择函数,右键添加测试点

    设置条件


    点击执行测试点

     

    运行分析 Execution Analysis系列

    后记

    希望您读了此文后有所受益。

    如果您有经验乐于分享,欢迎投稿给我们。

    如果您对我们的培训、咨询和工具感兴趣:

    课程:

    工具:

    咨询方案:

     

    如果您希望了解更多信息:

     

     

       
    次浏览       
     
    相关文章

    用户手册:EA Helper
    自然语言自动化生成图
    使用iSpace进行多人协作建模
    基于模型的软件复用(MBSR)
     
    相关文档

    AUTOSAR_TR_BSW UML模型建模指南
    UML时间图建模(基于EA)
    UML 模型框架(基于EA)
    UML序列图编写规范
     
    相关课程

    UML+EA+面向对象分析设计
    UML + 嵌入式系统分析设计
    业务建模与业务分析
    基于UML和EA进行系统分析设计

    工具新闻
    2024年6月 EA v17.0 Beta版发布
    2022年11月 EA v16.1的发布说明
    2022年11月 EA v16.1正式版介绍
    2022年7月 EA v16.05的发布说明
    2022年4月 EA16.0 正式版发布
     
    最新文章
    在EA中内嵌文档- Artifact
    EA中模型视图
    EA中的实体关系图
    使用EA进行风险建模
    EA中的项目词汇表
    EA的模型导出或导入csv文件
    自定义表格(Custom Table)在EA中的使用
    Gap Analysis Matrix(差距分析矩阵)
    更多...   
    MBSE工具
    MBSE平台
    建模工具 EA
    模型库-Model Center
    需求管理-ReqManager
    自动建模-Modeler
    多级仿真-Sys Simulator
    代码工程-Code Engineer
    文档生成器-DocGenerator
    更多...   
    成功案例
    广汽研究院 SysML+EA+软件分析设计
    高合汽车研发部门 建模工具EA、WebEA、学习视频
    国汽智联 建模工具EA、模型库、WebEA和iSpace
    亿咖通 MBSE工程体系与工具链咨询
    中航无人机 MBSE工具链
    吉利汽车 购买EA工具
    华科汽车零部件 购买EA工具
    东风岚图汽车 购买EA工具 以及EA定制开发
    更多...