I'm doing some kind of scalability analysis of the SLDV on an automotive system. I start with a part of the model and add components iterative. I'm experiencing a problem now when the model gets bigger:
In test generation mode, the SLDV stops after 305 seconds, the only thing thats increasing is the number of undecided objectives. I have the maxProcessTime set to 3000 seconds and the MaxTestCaseSteps to 8000. The model right now is not really big, it has 125 transitions and 68 states. Do you know that issue? Can I do anything about it?