Test Case Identifier
constructor
Test Items
The purpose of the test is to verify that the singleGraph constructor is working properly i.e. it set's up the instance of the graph correctly. The methods to be used are: public SingleGraph(java.lang.String id, boolean strictChecking, boolean autoCreate, int initialNodeCapacity, int initialEdgeCapacity), public SingleGraph(java.lang.String id, boolean strictChecking, boolean autoCreate), public SingleGraph(java.lang.String id).
Input Specification

The possible values of the different categories for the method's inputs and environment are defined in the first text file. We used the other text files to test other constructor methods which required less parameters.
  • Categories definition 1
  • Categories definition 2
  • Categories definition 3

  • The combinations of the category values (generated with genpairs) to be used as input for the test cases to be generated are presented in the following csv files:
  • Categories' values 1
  • Categories' values 2
  • Categories' values 1
  • Output Specification
    Assert that the graph has been correctly initialized depending on the given input.