uppaaltron在线测试实时系统的工具
Uppaal TRON 是一种基于Uppaal engine的在线测试工具, 它适用于对实时系统（主要是对实时嵌入式软件）的黑盒一致性测试，。本文介绍了Uppaal TRON的构成、特征以及优缺点,语法, 语义和语用, 列举了它的几种扩展形式, 并归纳了其应用及研究现状.
文件列表
uppaal tron在线测试实时系统的工具
(预估有个168文件)
button
90KB
start-light.bat
55B
Dimmer.class
5KB
AutoOffLightController$TestInputHandler.class
3KB
LightController.class
8KB
LevelLamp.class
2KB
LightController$TestInputHandler.class
3KB
LevelHistory.class
4KB
AutoOffLightController.class
7KB
start-tron-v.bat
97B
用户评论