1. 痕迹特性认证 Property verification on traces
PROESTO项目（http://www.presto-embedded.eu/）旨在改进工业级实时嵌入式软件的开发进程，在开发早期认证功能和非功能特性。痕迹(Traces)特性认证是这个工程的重点。TTCN-3这个项目中被应用与Traces生成。
| 下载信息 [文件大小：1.37 MB 下载次数： 次] |
 点击下载文件:S2P1_Property_Verification_on_Traces_Gaudin |
2. 采用基于模型的测试进行鲁棒性测试 Using Model Based Testing for Robustness Tests
Ericsson测试一个系统的平台部分，包含了硬件和软件。测试过程中生成优化的测试套用来在开发中的鲁棒性测试Robustness testing以及未来项目中的衰退性Regression Testing.
在复杂系统(包含了硬件和软件)系统开发中，采用TTCN-3 Model-based tool建模工具来进行鲁棒性测试，在未来还要采用这个模式进行衰退regression测试。这个项目中鲁棒性典型方面：系统处理一个boards或多个boards的重启，重新启动后再次投入稳定运行。
| 下载信息 [文件大小：583.41 KB 下载次数： 次] |
| 点击下载文件:S2P2_UsingMbtForRobustnessTesting |
3. 基于模型测试方式进行游戏引擎测试 Model Based Testing of a Game Engine
游戏引擎软件需要高级别的功能和集成测试，但是游戏软件的测试又是非常复杂的！：
l Thousands of game objects in a virtual environment ...
l Reacting to input from a system of interacting sub-engines ...
l Through interfaces called Components ...
² Embedded Mono scripting framework interface
l Executed in fame-based fashion in real-time
Unity采用TTCN-3 Model-Based方式来进行游戏软件的鲁棒性测试，好方法供大家学习参考。
| 下载信息 [文件大小：2.57 MB 下载次数： 次] |
| 点击下载文件:S2P3_Model_Based_Testing_of_a_Game_Engine_using_a_Mono_NET_port_of_GraphWalker_M_Turski |
