Assessing real-time component contracts through built-in evolutionary testing

摘要: Real-time contracts between components, as an important aspect of quality-of-service considerations, add a new dimension to the development and validation component-based embedded systems. A real-time contract determines fulfillment component’s response time requirements when it operates in client-server relation with other components. This represents typical testing scenario which client component needs assess timely associated server according its usage profile that server. The basic model built-in technology is capable assessing correctness behavioral components this way. chapter introduces extension puts into position their deployment environment respect specifications. extended requires some additional test architecture for plus automatic case generator based on search heuristics.