The Compliance Testing of Software Tools with Respect to the UML Standards Specification - The ArgoUML Case Study.
Panuchart BunyakiatiAnthony FinkelsteinPublished in: AST (2009)
Keyphrases
- software tools
- tool support
- case study
- software development
- formal methods
- specification language
- state machine
- ims qti
- testing process
- formal verification
- test case generation
- uml diagrams
- sequence diagrams
- software testing
- model based testing
- requirements specification
- high level
- regression testing
- conceptual modeling
- learning environment
- development process
- information systems
- software design
- test suite
- formal specification
- business process
- test cases
- class diagrams
- design process
- software engineering