160 search results - page 7 / 32 » Test Case Design for the Validation of Component-Based Embed... |
SOQUA
2004
13 years 10 months ago
2004
: The difficulties to assess reliability of systems that use COTS components are sometimes compounded by the inaccessibility of some COTS codes. This paper develops an approach of ...
ITC
1998
IEEE
14 years 24 days ago
1998
IEEE
Advances in semiconductor process and design technology enable the design of complex system chips. Traditional IC design, in which every circuit is designed from scratch and reuse...
DATE
2004
IEEE
14 years 8 days ago
2004
IEEE
Performance analysis has many advantages in theory compared to simulation for the validation of complex embedded systems, but is rarely used in practice. To make analysis more att...
GECCO
2009
Springer
14 years 1 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
ECRTS
1998
IEEE
14 years 24 days ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...