Learn More
In this work, we deal with the problem of testing timing behavior of real-time systems. The information provided by the physical design of the software is used to perform conformance testing of the implementation with respect to this design. The approach is based on modeling the system design with SA/SD-RT, translate it to High Level Time Petri Nets and(More)
  • 1