Within the XIVT project, a method and toolchain will be defined for testing highly configurable, variant-rich embedded systems in the automotive, rail, telecommunication and industrial production domains. This will enable a highly effective, cost-efficient quality assurance, allowing the shift to autonomous, flexible and adaptive applications. The method is founded on a knowledge-based analysis of requirements formulated in natural language, and a model-based test generation at product-line level. It is expected that XIVT methods will result in higher test coverage, more flexible processes of higher quality and better products.
LASIGE is supported by FCT, project UID/CEC/00408/2013