Seu website está rápido o bastante ou os seus visitantes vão envelhecer enquanto esperam sua página carregar? Encontre uma resposta prática neste site.
UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates.
O. Firman, P. Kindermann, A. Ravsky, A. Wolff, and J. Zink. Proc. 27th Int. Symp. Graph Drawing & Network Vis. (GD'19), volume 11904 of Lecture Notes in Computer Science, page 203--215. Springer-Verlag, (2019)