The Prelude from Suite for solo Piano Le Tombeau de Couperin by Maurice Ravel: compositional and interpretive considerations

This article, part of a doctoral research conducted at the Department of Music of the ECA/USP/FAPESP aims to elucidate compositional and technical procedures in the Prelude from the suite Le Tombeau de Couperin (1914-1917) by french composer Maurice Ravel. Such procedures are traced back to French barroque composer Francois Couperin (1668-1733) harpsichord pieces, and are translated by Ravel to the modern piano. Thus, by studying the works for harpsichord by Couperin it was possible to see a kind of fusion of two languages and two instrumental techniques apart in time. This fusion of languages poses several interpretive questions.

MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.