Skip to Main Content
Large embedded software systems have three important characteristics: numerous and complicated functions, a great number of function interactions, and stringent quality requirements. This paper consists of two parts. Part 1 proposes a framework for thinking about software test analysis and test design that combines the thoughts of MBT (model based testing) and Torbjorn Ryber's 4-step test design method, MFQ. Part 2 presents a new technique - PPDCS - for choosing a suitable test specification technique to build a model.