建模工具

  • 工具套件/模型结构

此工具套件包含设计模型编辑器和代码生成器(可应用于JAVA、C ++、C、或PDU数据编解码)。设计模型编辑器是一个面向语法的编辑器,从而确保开发的设计模型的语法正确,且可以提交至代码生成器。发现错误时,该工具会建议用户更正。编辑器包括进一步支持,如编辑界面的打开和收起,辅助单词拼写及提示等功能。编辑器支持high-level design 模型,low-level design 模型,以及先进的模型概念,如功能模块化和架构模型。

模型结构还包括了一个符号调试程序,它可以让用户监视模型的执行,设置断点,逐步检查模型及其状态等。最后,设计编辑器允许用户配置代码生成器,生成代码。模型编译器随后将设计模型转换成应用程序代码。此外,提供了功能块合并,结构增强,特定领域的代码翻译和平台定位的功能。

默认情况下,实现生成的目标是POSIX兼容的Linux操作系统。可扩展模型编译,以适用于不同的平台,并且生成特定领域的或客户指定的代码。模型的生成可实现客户指定的代码规范。

  • 工具套件/测试架构

工具套件的测试架构(TA)是一个功能强大的工具集,它依据初始要求支持全周期测试场景创建。TA允许将用自然语言为蓝本的最初需求转换为使用用例图(UCM)的形式规约。通过UCM模型,TA再创建以消息序列图(MSC)的语言形式展示的测试场景。这些测试场景应保证测试的应用程序中的功能覆盖率。它们使用另一种强大的工具集,测试执行器(TE),以生成目标平台的测试套件并运行已生成的测试套件。

TA由一系列组件构成,例如UCM和元数据编辑器,元数据检查器,基本情景生成器,活动分析,跟踪生成器和跟踪分析器。

  • 工具套件/测试执行器

文本执行器是一个自动生成测试用例的工具集,它主要基于扩展的消息序列图(MSC)符号所代表的形式规约。

当带有模型结构自动编码生成器的TE时,自动编码生成器将自动配置TE,并且当运行生成的应用程序时,测试将自动进行,这也被称作被测系统。

运行环境是灵活的,不仅适用于同一台计算机上进行测试,例如SUT,也可以通过网络,在一组计算机之间进行测试。为了支持应用程序的调试,TE环境将生成测试报告,如用于分析和归档的测试日志和追踪。

你知道么?

UniqueSoft模型结构已用于部署超过3千万行的代码。