SysML

org.topcased.sysml.tools.operations
Class TestCaseCoverOperations

java.lang.Object
  extended by org.topcased.sysml.tools.operations.TestCaseCoverOperations

public class TestCaseCoverOperations
extends java.lang.Object

The Class TestCaseCoverOperations.


Constructor Summary
TestCaseCoverOperations()
           
 
Method Summary
static Verify addCoveringTestCase(Requirement requirement, TestCase testcase)
          Add a test case to the test cases verifying a requirement (i.e add a verify link between the test case and the requirement)
static java.util.List getAvailableTestCases(Requirement requirement)
          Return the list of test cases that can verify a requirement A query based on the following OCL expression TestCase.allInstances()
static java.util.List<?> getCoveringTestCases(Requirement requirement)
          Return the list of test cases that verify a requirement A query based on the following OCL expression Verify.allInstances()->select(supplier->includes(self)).client->select(oclIsTypeOf(TestCase))->asSet()
static java.util.List<?> getVerifyLinks(Requirement requirement, TestCase testcase)
          Returns all the verify links that match a test case to a requirement.
static void removeCoveringTestCase(Requirement requirement, TestCase testcase)
          Remove a test case from the test cases verifying a requirement (i.e remove the verify links between the test case and the requirement)
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TestCaseCoverOperations

public TestCaseCoverOperations()
Method Detail

getAvailableTestCases

public static java.util.List getAvailableTestCases(Requirement requirement)
Return the list of test cases that can verify a requirement A query based on the following OCL expression TestCase.allInstances()

Parameters:
requirement - the requirement
Returns:
the list of test cases

getCoveringTestCases

public static java.util.List<?> getCoveringTestCases(Requirement requirement)
Return the list of test cases that verify a requirement A query based on the following OCL expression Verify.allInstances()->select(supplier->includes(self)).client->select(oclIsTypeOf(TestCase))->asSet()

Parameters:
requirement - the requirement
Returns:
the list of test cases

removeCoveringTestCase

public static void removeCoveringTestCase(Requirement requirement,
                                          TestCase testcase)
Remove a test case from the test cases verifying a requirement (i.e remove the verify links between the test case and the requirement)

Parameters:
requirement - the requirement
testcase - the test case to remove from the test cases verifying the requirement

addCoveringTestCase

public static Verify addCoveringTestCase(Requirement requirement,
                                         TestCase testcase)
Add a test case to the test cases verifying a requirement (i.e add a verify link between the test case and the requirement)

Parameters:
requirement - the requirement
testcase - the test case to add to the test cases verifying the requirement
Returns:
the created verify link

getVerifyLinks

public static java.util.List<?> getVerifyLinks(Requirement requirement,
                                               TestCase testcase)
Returns all the verify links that match a test case to a requirement.

Parameters:
requirement - the requirement
testcase - the test case
Returns:
result return a list of result

SysML

Copyright (c) 2005 TOPCASED Contributors 2005 - 2007. All rights reserved.