Sciweavers

44 search results - page 1 / 9
» TTCN-3 for Distributed Testing Embedded Software
Sort
View
ERSHOV
2006
Springer
14 years 2 months ago
TTCN-3 for Distributed Testing Embedded Software
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
Stefan Blom, Thomas Deiß, Natalia Ioustinova...
FATES
2005
Springer
14 years 4 months ago
Simulated Time for Testing Railway Interlockings with TTCN-3
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
Stefan Blom, Natalia Ioustinova, Jaco van de Pol, ...
SEFM
2008
IEEE
14 years 5 months ago
Tagging Make Local Testing of Message-Passing Systems Feasible
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
Puneet Bhateja, Madhavan Mukund
CEJCS
2011
80views more  CEJCS 2011»
12 years 11 months ago
Evaluating distributed real-time and embedded system test correctness using system execution traces
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
James H. Hill, Pooja Varshneya, Douglas C. Schmidt
WISES
2003
14 years 7 days ago
Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Ap
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
Stefan Pitzek, Peter P. Puschner