منابع مشابه
On-the-fly Testing Using UPPAAL
The goal of the project is to provide a test toolbox T-UPPAAL together with a sample random-ized test algorithm for real time systems. A real time system model checker UPPAAL is an efficient symbolic state estimator and is chosen to be the base platform for the testing extensions. The test setup idea is inspired by the un-timed system testing tool TORX. T-UPPAAL allows different environments to...
متن کاملthe impact of using inspirational quotes on abstract vocabulary recall
the present study is an attempt to investigate the potential impact of inspirational quotes on improving english abstract vocabulary recall. to achieve this goal, a multiple choice language proficiency test of 60 items including vocabulary and grammar component was administered to a sample of 63 second-semester male and female students whose age ranged between 17 to 22 and they were studying en...
15 صفحه اولConformance Testing for Statecharts
We describe an approach to automatically generate test cases from object-oriented statecharts as they are used in the UML and supported by development tools such as I-Logics Rhapsody. Applying Tretmans’ approach to generate test cases for I/O automata from labeled transition systems, we consider a statechart as a specification of a system under test. Test cases generated from such a specificati...
متن کاملSynchronizing Asynchronous Conformance Testing
We present several theorems and their proofs which enable using synchronous testing techniques such as input output conformance testing (ioco) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test-cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer (STTT)
سال: 2000
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s100090050044