1. 痕迹特性认证 Property verification on traces
PROESTO项目(http://www.presto-embedded.eu/)旨在改进工业级实时嵌入式软件的开发进程,在开发早期认证功能和非功能特性。痕迹(Traces)特性认证是这个工程的重点。TTCN-3这个项目中被应用与Traces生成。
下载信息 [文件大小:1.37 MB 下载次数: 次] |
![]() |
2. 采用基于模型的测试进行鲁棒性测试 Using Model Based Testing for Robustness Tests
Ericsson测试一个系统的平台部分,包含了硬件和软件。测试过程中生成优化的测试套用来在开发中的鲁棒性测试Robustness testing以及未来项目中的衰退性Regression Testing.
在复杂系统(包含了硬件和软件)系统开发中,采用TTCN-3 Model-based tool建模工具来进行鲁棒性测试,在未来还要采用这个模式进行衰退regression测试。这个项目中鲁棒性典型方面:系统处理一个boards或多个boards的重启,重新启动后再次投入稳定运行。
下载信息 [文件大小:583.41 KB 下载次数: 次] |
![]() |
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 下载次数: 次] |
![]() |