TTCN-3初探

分享一下我老师大神的人工智能教程！零基础，通俗易懂！http://blog.youkuaiyun.com/jiangjunshow

也欢迎大家转载本篇文章。分享知识，造福人民，实现我们中华民族伟大复兴！

               

TTCN-3初探

 

印象中TTCN多用于电信系统的测试。其实TTCN全称是 Testing and Test Control Notation ，是一种用于协议与软件测试的标准化测试语言，目前最新版本是3.0。

 

如果我现在去读研究生，想必会在这个领域研究一把。因为很明显，它在软件测试标准化、测试自动化等方面具备很大的挖掘潜力。

 

Formal conformance testing with the Testing and Test Control Notation (TTCN-3) is gaining popularity both inside and outside the traditional telecoms domain. This renewed interest is partly because TTCN-3 is the only international standardized test specification and implementation language defined by ETSI and ITU-T. TTCN-3 guarantees highest flexibility in designing and maintaining test software on a standards level.

 

Telelogic的TTCN Suite和Telelogic Tester就是基于TTCN的测试工具：

 

Telelogic TTCN Suite?, the de facto standard environment for compliance testing of communicating systems, is used worldwide to test telecom and datacom equipment ranging from built-in communication chips to huge switches and intelligent network services. The test script language of Telelogic TTCN Suite, TTCN-2, is a widespread, dedicated test programming language for compliance testing and is standardized by ETSI and ISO.

 

Telelogic Tester? is a TTCN 3-based software testing solution for systems testing and integration testing of the software development lifecycle.

Because Tester provides off-the-shelf automated testing, manual error-prone processes, and in-house solutions can be eliminated - so you can dramatically increase productivity. This means that tests can be executed quickly and repeatedly so you can test early - when problems are easier and cheaper to fix - You can test often, enabling you to easily maximize application quality. Tester supports the software test lifecycle from test design through to development, analysis, execution, and debugging from a single desktop with a shared, familiar studio interface.

Telelogic Tester benefits you by:

Accelerating your test development process with packaged, editable test cases and built-in test debugging
Ensuring compliance by running tests against published standards
Enhancing test collaboration between test team members, developers, and outsourcing suppliers

TTCN-3标准化官方网站：

http://www.ttcn-3.org/home.htm

 

使用TTCN的7大理由？

1、TTCN-3 is easy to learn

2、It has been designed for testing

3、It is internationally standardized

4、Off-the-shelf tools and test systems are readily available

5、It is an extremely flexible testing technology

6、It can be used in many types of testing

7、It is has passed the test of time

TTCN-3测试语言的一个例子：

testcase TC_resolveEtsiWww() runs on DnsClient
{
 timer t_ack;
 serverPort.send(m_dnsQuestion("www.etsi.org"));
 t_ack.start(1.0);
 alt {
  [] serverPort.receive(mw_dnsAnswer("172.26.1.17")) {
     setverdict (pass);
     }
  [] serverPort.receive { // any other message
      setverdict(fail);
     }
  [] t_ack.timeout {
      setverdict(inconc);
     }
 }
 t_ack.stop; 
}

           

给我老师的人工智能教程打call！http://blog.youkuaiyun.com/jiangjunshow

你好！ 这是你第一次使用 **Markdown编辑器** 所展示的欢迎页。如果你想学习如何使用Markdown编辑器, 可以仔细阅读这篇文章，了解一下Markdown的基本语法知识。

新的改变

我们对Markdown编辑器进行了一些功能拓展与语法支持，除了标准的Markdown编辑器功能，我们增加了如下几点新功能，帮助你用它写博客：

1. 全新的界面设计 ，将会带来全新的写作体验；
2. 在创作中心设置你喜爱的代码高亮样式，Markdown 将代码片显示选择的高亮样式 进行展示；
3. 增加了 图片拖拽 功能，你可以将本地的图片直接拖拽到编辑区域直接展示；
4. 全新的 KaTeX数学公式 语法；
5. 增加了支持甘特图的mermaid语法¹ 功能；
6. 增加了 多屏幕编辑 Markdown文章功能；
7. 增加了 焦点写作模式、预览模式、简洁写作模式、左右区域同步滚轮设置 等功能，功能按钮位于编辑区域与预览区域中间；
8. 增加了 检查列表 功能。

功能快捷键

撤销：Ctrl/Command + Z
重做：Ctrl/Command + Y
加粗：Ctrl/Command + B
斜体：Ctrl/Command + I
标题：Ctrl/Command + Shift + H
无序列表：Ctrl/Command + Shift + U
有序列表：Ctrl/Command + Shift + O
检查列表：Ctrl/Command + Shift + C
插入代码：Ctrl/Command + Shift + K
插入链接：Ctrl/Command + Shift + L
插入图片：Ctrl/Command + Shift + G

合理的创建标题，有助于目录的生成

直接输入1次#，并按下space后，将生成1级标题。
输入2次#，并按下space后，将生成2级标题。
以此类推，我们支持6级标题。有助于使用TOC语法后生成一个完美的目录。

如何改变文本的样式

强调文本 强调文本

加粗文本 加粗文本

标记文本

删除文本

引用文本

H₂O is是液体。

2¹⁰ 运算结果是 1024.

插入链接与图片

链接: link.

图片:

带尺寸的图片:

当然，我们为了让用户更加便捷，我们增加了图片拖拽功能。

如何插入一段漂亮的代码片

去博客设置页面，选择一款你喜欢的代码片高亮样式，下面展示同样高亮的 代码片.

// An highlighted block var foo = 'bar'; 

生成一个适合你的列表

• 项目
  • 项目
    • 项目

1. 项目1
2. 项目2
3. 项目3

• 计划任务
• 完成任务

创建一个表格

一个简单的表格是这么创建的：

项目	Value
电脑	$1600
手机	$12
导管	$1

设定内容居中、居左、居右

使用:---------:居中
使用:----------居左
使用----------:居右

第一列	第二列	第三列
第一列文本居中	第二列文本居右	第三列文本居左

SmartyPants

SmartyPants将ASCII标点字符转换为“智能”印刷标点HTML实体。例如：

TYPE	ASCII	HTML
Single backticks	'Isn't this fun?'	‘Isn’t this fun?’
Quotes	"Isn't this fun?"	“Isn’t this fun?”
Dashes	-- is en-dash, --- is em-dash	– is en-dash, — is em-dash

创建一个自定义列表

Markdown

Text-to- HTML conversion tool

Authors

John

Luke

如何创建一个注脚

一个具有注脚的文本。²

注释也是必不可少的

Markdown将文本转换为 HTML。

KaTeX数学公式

您可以使用渲染LaTeX数学表达式 KaTeX:

Gamma公式展示 $\Gamma (n)=(n-1)!\forall n\in \mathbb{N}$ 是通过欧拉积分

$$\Gamma (z)={\int }_0^{\infty }{t}^{z-1}{e}^{-t}dt.$$

你可以找到更多关于的信息 LaTeX 数学表达式here.

新的甘特图功能，丰富你的文章

gantt
        dateFormat  YYYY-MM-DD
        title Adding GANTT diagram functionality to mermaid
        section 现有任务
        已完成               :done,    des1, 2014-01-06,2014-01-08
        进行中               :active,  des2, 2014-01-09, 3d
        计划一               :         des3, after des2, 5d
        计划二               :         des4, after des3, 5d

• 关于 甘特图 语法，参考 这儿,

UML 图表

可以使用UML图表进行渲染。 Mermaid. 例如下面产生的一个序列图：:

这将产生一个流程图。:

• 关于 Mermaid 语法，参考 这儿,

FLowchart流程图

我们依旧会支持flowchart的流程图：

• 关于 Flowchart流程图 语法，参考 这儿.

导出与导入

导出

如果你想尝试使用此编辑器, 你可以在此篇文章任意编辑。当你完成了一篇文章的写作, 在上方工具栏找到 文章导出 ，生成一个.md文件或者.html文件进行本地保存。

导入

如果你想加载一篇你写过的.md文件或者.html文件，在上方工具栏可以选择导入功能进行对应扩展名的文件导入，
继续你的创作。

---

1. mermaid语法说明 ↩︎

2. 注脚的解释 ↩︎