@techreport{TR-IC-09-38,
   number = {IC-09-38},
   author = {Adilson Luiz Bonif\'acio and Arnaldo Vieira Moura},
   title  =  {Generating  Test  Suites  for Timed Systems with Context
                   Variables},
   month = {October},
   year = {2009},
   institution = {Institute of Computing, University of Campinas},
   note = {In English, 41 pages.
    \par\selectlanguage{english}\textbf{Abstract}
       Model-based  testing  has been widely used for testing critical
       and  reactive  systems.  Some  aspects  of reactive systems are
       treated  by  extended  models  that captures the notion of data
       flow  on  the  system  as  well  as  its  interactions with the
       environment.  Other  aspects are captured by conventional timed
       models   that  allow  for  the  continuous  evolution  of  time 
       variables.  Devising  formal  methods to automatically generate
       test suites for systems that comprise both these has remained a
       challenge. In this work we use a new Timed Input/Output Context
       Automata  (TIOCA)  as  a  formal  model  for timed systems with
       context  variables.  We  propose and prove the correctness of a
       new strategy to discretize TIOCA models, thus obtaining related
       grid automata. Grid automata allow us to automatically generate
       test  cases  based  on  test purposes, the latter being special
       TIOCA  that  specifically  model  those system properties to be
       tested.  We  also  discuss  how to extract test suites from the
       synchronous  product of a TIOCA and an associated test purpose.
       Further,   we   show  how  to  use  test  suites  in  order  to 
       automatically  verify  whether given implementations conform to
       the specification and, also, reflect the desired properties.
  }
}