, Listing 1.1: Execution trace produced by an erroneous implementation 1 TRACE log policy : filter.logger (raw in pe) entering push 2 TRACE log policy : filter.logger (norm out pe) calling push 3 TRACE log policy : filter.logger (norm out pe) returning from push 4 TRACE log policy : filter.logger (raw out pe) calling push 5 TRACE log policy : filter.logger (raw out pe) returning from push 6 TRACE log policy : filter.logger (deviation pe) calling push 7 TRACE log policy : filter.logger (deviation pe) returning from push 8 TRACE log policy : filter.logger (raw in pe) exiting push References 1. Eclipse format modeling project
, The agile manifesto, 2001.
, Unified Modeling Language, version 2.5, vol.1, 2017.
, Unified Component Model for Distributed, Real-Time And Embedded Systems
, Log for c++ project
Off-line test case generation for timed symbolic model-based conformance testing, Testing Software and Systems. ICTSS 2012, p.7641, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01482398
A classification framework for software component models, IEEE Trans. Software Eng, vol.37, issue.5, pp.593-615, 2011. ,
Component software -beyond objectoriented programming, 2002. ,
,
Recent advances in model-based testing, Advances in Computers, vol.101, pp.53-120, 2016. ,