2008 · 18 citations · 5 references
ComputingComputer ScienceFormal MethodsModel-based Systems EngineeringSoftware EngineeringModel ExecutionModel TransformationModel-driven DevelopmentModel-driven Software EngineeringSoftware ModelingSoftware TestingAutomated Test GenerationModel-based TestingSpecification-based TestingTest Case DevelopmentTest Case GenerationTest Generation From ModelsUml Modeling
Abstract: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development. 1
5
Generating Tests from UML Specifications
1999 · 325 citations
Boundary Coverage Criteria for Test Generation from Formal Models
Nikolaï Kosmatov, Bruno Legeard, Fabien Peureux et al. · 2005 · 68 citations