00000cab a22000003a 4500 UP-99796217608835301 Buklod 20231007234839.0 m |o d | ta 090518s xx d | ||r ||||| || DENGII eng Olimpiew, Erika Mir Model-based testing for applications derived from software product lines. pp. 34 This paper describes an approach for mapping the models of an SPL (Software Product Line) to tests so that functional tests can be automatically generated and selected when an application is derived from an SPL. Information relevant for testing is added to and then extracted from the SPL models. A Hotel Product line example is used to illustrate the approach. Software. Software engineering. Software / Program Verification. Design. Documentation. Reliability. Theory. Verification. UML. Feature. Model. Product line. Test. Test order. Software engineering notes. 30, 5 (2005). FO UPD DENG-II Article