MFQ & PPDCS - Test Analysis and Test Design for Large Embedded Software Systems

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.