<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
@techreport{BRICS-RS-03-49,
  author = 	 "Mikucionis, Marius and Larsen, Kim G. and
                  Nielsen, Brian",
  title = 	 "Online On-the-Fly Testing of Real-time
                  Systems",
  institution =  brics,
  year = 	 2003,
  type = 	 rs,
  number = 	 "RS-03-49",
  address = 	 iesd,
  month = 	 dec,
  note = 	 "14~pp",
  keywords = 	 "testing, real-time systems, embedded systems,
                  timed trace inclusion, on-the-fly, online,
                  conformance, UppAal, conformance testing,
                  automated test derivation, test generation and
                  execution, model-based testing, real-time
                  testing, adapter, symbolic constraint solving,
                  infinite state space, state-set estimation",
  abstract = 	 "In this paper we present a framework, an
                  algorithm and a new tool for online testing of
                  real-time systems based on symbolic techniques
                  used in UPPAAL model checker. We extend UPPAAL
                  timed automata network model to a test
                  specification which is used to generate test
                  primitives and to check the correctness of
                  system responses including the timing aspects.
                  We use timed trace inclusion as a conformance
                  relation between system and specification to
                  draw a test verdict. The test generation and
                  execution algorithm is implemented as an
                  extension to UPPAAL and experiments carried out
                  to examine the correctness and performance of
                  the tool. The experiment results are
                  promising",
  linkhtmlabs =  "",
  linkps = 	 "",
  linkpdf = 	 ""
}