Applying black-box testing to UML/OCL database models

摘要: Most Unified Modeling Language (UML) computer-aided software engineering tools have been insufficient in the development process because they provide little support for conceptual model testing. Model testing aims to ensure correctness of a UML/OCL class diagram, or, other words, that given diagram can perfectly meet user's requirements. This study proposes validation diagrams with black-box testing, technique used test without focusing on software's implementation or structure. An approach is proposed automatic transformation constraints into cases. Following creation cases, are executed JUnit and results produced shown tester. To demonstrate applicability this approach, an effectiveness evaluation efficiency performed here. Evaluation studies show all faults included detected within efficient time.