uppaal tron在线测试实时系统的工具.zip

【实例简介】
Uppaal TRON 是一种基于Uppaal engine的在线测试工具, 它适用于对实时系统（主要是对实时嵌入式软件）的黑盒一致性测试，。本文介绍了Uppaal TRON的构成、特征以及优缺点,语法, 语义和语用, 列举了它的几种扩展形式, 并归纳了其应用及研究现状.
【实例截图】
【核心代码】
lijuan_guo-2255885-uppaal-tron-1[1].4b5-win32.zip
└── uppaal-tron-1.4b5-win32
├── compressor
│   ├── emulateCompressor.trc
│   ├── monitorCompressor.trc
│   ├── simpleCompressor.trc
│   ├── simpleCompressor.trn
│   ├── simpleCompressor.xml
│   ├── swapCompressor.trc
│   └── swapCompressor.trn
├── include
│   ├── console.h
│   ├── dialog.h
│   ├── sampleadapter.h
│   ├── tcpcomm.h
│   ├── tron
│   │   ├── adapter.h
│   │   ├── Executable.h
│   │   ├── sockets.h
│   │   ├── timeutil.h
│   │   └── timing.h
│   └── troncodec.h
├── java
│   ├── autoOffLight.xml
│   ├── doc
│   │   ├── allclasses-frame.html
│   │   ├── allclasses-noframe.html
│   │   ├── constant-values.html
│   │   ├── deprecated-list.html
│   │   ├── help-doc.html
│   │   ├── index-all.html
│   │   ├── index.html
│   │   ├── overview-frame.html
│   │   ├── overview-summary.html
│   │   ├── overview-tree.html
│   │   ├── package-list
│   │   ├── resources
│   │   │   └── inherit.gif
│   │   ├── serialized-form.html
│   │   ├── smartlamp
│   │   │   ├── AutoOffLightController.html
│   │   │   ├── Dimmer.html
│   │   │   ├── LevelBar.html
│   │   │   ├── LevelHistory.html
│   │   │   ├── LevelLamp.html
│   │   │   ├── LevelListener.html
│   │   │   ├── LightController.html
│   │   │   ├── package-frame.html
│   │   │   ├── package-summary.html
│   │   │   └── package-tree.html
│   │   ├── stylesheet.css
│   │   └── tron
│   │   ├── Adapter.html
│   │   ├── package-frame.html
│   │   ├── package-summary.html
│   │   ├── package-tree.html
│   │   ├── Reporter.html
│   │   ├── TronException.html
│   │   ├── VirtualCondition.html
│   │   ├── VirtualLock.html
│   │   └── VirtualThread.html
│   ├── LightContr2.trc
│   ├── LightContr2.trn
│   ├── LightContr4.xml
│   ├── LightContr.trn
│   ├── LightContr.xml
│   ├── light.log
│   ├── loop-light.bat
│   ├── loop-tron.bat
│   ├── loop-tron.sh
│   ├── Makefile
│   ├── README.TXT
│   ├── signalflow.dot
│   ├── signalflow.png
│   ├── smartlamp
│   │   ├── AutoOffLightController$1.class
│   │   ├── AutoOffLightController$Loc.class
│   │   ├── AutoOffLightController$TestInputHandler.class
│   │   ├── AutoOffLightController.class
│   │   ├── AutoOffLightController.java
│   │   ├── bigbulb.png
│   │   ├── bulb.png
│   │   ├── Dimmer$1.class
│   │   ├── Dimmer$Loc.class
│   │   ├── Dimmer.class
│   │   ├── Dimmer.java
│   │   ├── LevelBar.class
│   │   ├── LevelBar.java
│   │   ├── LevelHistory.class
│   │   ├── LevelHistory.java
│   │   ├── LevelLamp.class
│   │   ├── LevelLamp.java
│   │   ├── LevelListener.class
│   │   ├── LevelListener.java
│   │   ├── LightController$1.class
│   │   ├── LightController$Loc.class
│   │   ├── LightController$TestInputHandler.class
│   │   ├── LightController.class
│   │   ├── LightController.java
│   │   └── package.html
│   ├── start-light.bat
│   ├── start-light-v.bat
│   ├── start-test.bat
│   ├── start-test.sh
│   ├── start-test-v.bat
│   ├── start-tron.bat
│   ├── start-tron.bat.old
│   ├── start-tron-v.bat
│   └── tron
│   ├── Adapter.class
│   ├── Adapter.java
│   ├── package.html
│   ├── Reporter.class
│   ├── Reporter.java
│   ├── TronException.class
│   ├── TronException.java
│   ├── VirtualCondition.class
│   ├── VirtualCondition.java
│   ├── VirtualLock.class
│   ├── VirtualLock.java
│   ├── VirtualThread$1.class
│   ├── VirtualThread.class
│   └── VirtualThread.java
├── latency
│   ├── Makefile
│   ├── pingpong.cpp
│   ├── pingpong.h
│   ├── pingpong.xml
│   ├── ping.R
│   ├── test_ticking.cpp
│   ├── ticking.cpp
│   ├── ticking.h
│   ├── ticking.R
│   └── ticking.xml
├── Makefile
├── MSVC
│   └── button
│   ├── adapter.h
│   ├── button.cpp
│   ├── button.dsp
│   ├── button.dsw
│   ├── button.h
│   ├── button.ncb
│   ├── button.opt
│   ├── button.xml
│   ├── StdAfx.cpp
│   └── StdAfx.h
├── pthreadGCE2.dll
├── README-linux.txt
├── README-win32.txt
├── testvalue
│   ├── adapter.log
│   ├── button
│   ├── button.cpp
│   ├── button.dot
│   ├── button-free.xml
│   ├── button.h
│   ├── button.png
│   ├── button.xml
│   ├── driver.log
│   ├── Makefile
│   ├── mouse.cpp
│   └── mouse.h
├── tracer
│   ├── bounds.trc
│   ├── fork.trc
│   ├── guards.trc
│   ├── instant.trc
│   ├── Makefile
│   ├── one2many.trc
│   ├── repeater
│   ├── response.trc
│   ├── runner
│   ├── simpleStep.trc
│   ├── simple.trc
│   ├── test
│   ├── test.dot
│   ├── test.eps
│   ├── testsuite.log
│   ├── testsuite.trn
│   ├── testsuite.xml
│   ├── test.trn
│   ├── transfer.trc
│   └── triggers.trc
└── tron.exe

16 directories, 168 files