Intelligent Testing of Traffic Light Programs: Validation in Smart Mobility Scenarios

Algorithm 3

Pseudocode of PGFM.

Input: Traffic Feature Model (tfm)

Output: Prioritized Test Suite

() TS // Initialize the test suite

() RP

()  do

() 

()  // = population

() while do

()   // = auxiliary population

()  for to () do

()   parents )

()   offspring

()   offspring

()   

()   

()   

()   end for

()   ≔

()  

()  end while // computing the best test case

() TS TS   

()  // Remove the covered pairs

() end while // computing the best test suite