Algorithm 1.
ExSTraCS 2.0 Covering
| Require: inst |
| ASpec ← random(1, RSL) |
| if useEK then |
| i = 0 |
| while i < A_Spec do |
| targetAtt = EK_RankedAttList[i] |
| Add targetAtt to attReference |
| if targetAtt is discrete then |
| Add inst[targetAtt] to ruleCondition |
| else |
| Add newRange(inst[targetAtt]) to ruleCondition |
| end if |
| end while |
| else |
| i = 0 |
| while i < ASpec do |
| targetAtt =random(Att) |
| Add targetAtt to attReference |
| if targetAtt is discrete then |
| Add newRange(inst[targetAtt]) to ruleCondition |
| end if |
| end while |
| end if |
| ruleClass ← instanceClass |
| return rule |