Automating Functional Testing of Components from UML Specifications.
Daniel L. BarbosaHelton S. LimaPatrícia D. L. MachadoJorge C. A. de FigueiredoMakelli A. JucáWilkerson de L. AndradePublished in: Int. J. Softw. Eng. Knowl. Eng. (2007)
Keyphrases
- specification language
- testing process
- class diagram
- model based testing
- software development
- test cases
- modeling language
- conceptual models
- tool support
- class diagrams
- object oriented
- regression testing
- software systems
- database design
- software components
- uml class diagrams
- conceptual modeling
- formal verification
- object oriented modeling
- uml profile
- database
- software testing
- formal specification
- software engineering
- artificial intelligence