It becomes feasible to compare the new and existing test models. Our presentation will address the existing automated test case design and generation approaches along with their deficiencies. The process for automating test model updates will be explained in details. The requirements for the toolkit required supporting the framework will be addressed. In addition, some time will be spent on general SDL overview and specific features of the language, which make it attractive for system specification overall and test model in particular.
Presentation is intended for an advanced technical audience.
Deficiencies of the existing process. SDL-based specification framework. Software testing automation using SDL specifications.