Package net.sf.parteg.core.testcase

Examples of net.sf.parteg.core.testcase.TestCaseValidValue

144
145
146
147
148
149
150
151
152
153
154
        TestCaseValueDomainBorderSelector oTmpSelector =
          new TestCaseValueDomainBorderSelector(true, true);
        boolean bValidValueFound = false; // local search for valid values
        for(TestCaseValidValue oValue : oTmpSelector.selectValues(oTmpVTR)) {
          // save old value
          TestCaseValidValue oOldValue = in_colTestValues.get(oExpAtom);
          in_colTestValues.put(oExpAtom, oValue);
          if(isValidExpressionConjunction(colTmpExpressions, in_colTestValues)) {
            bValidValueFound = true;
          }
          if(oOldValue == null)
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
        if(oValueRange.getMinValue().compareTo(oValueRange.getMaxValue()) == 0)
        {
          // both values must include the value -> else no concrete value is possible 
          if((oValueRange.isMinIncluded() == true) &&
            (oValueRange.isMaxIncluded() == true)) {
            out_colValues.add(new TestCaseValidValue(oValueRange.getMinValue().toString()));
          }
        }
        // distance between boundaries too small?
        else if(oValueRange.getMinValue().getUpperValueMinDistance().equals(oValueRange.getMaxValue()))
        {
          if(oValueRange.isMinIncluded()) {
            out_colValues.add(new TestCaseValidValue(oValueRange.getMinValue().toString()));
          }
          if(oValueRange.isMaxIncluded()) {
            out_colValues.add(new TestCaseValidValue(oValueRange.getMaxValue().toString()));
          }
        }
        // distance between boundaries too small?
        else if(oValueRange.getMinValue().getUpperValueMinDistance().equals(
            oValueRange.getMaxValue().getLowerValueMinDistance()))
        {
          if(oValueRange.isMinIncluded()) {
            out_colValues.add(new TestCaseValidValue(oValueRange.getMinValue().toString()));
          }
          if(oValueRange.isMaxIncluded()) {
            out_colValues.add(new TestCaseValidValue(oValueRange.getMaxValue().toString()));
          }
          if(!oValueRange.isMinIncluded() && !oValueRange.isMaxIncluded()) {
            out_colValues.add(new TestCaseValidValue(
                oValueRange.getMaxValue().getLowerValueMinDistance().toString()));
          }
        }
        // standard behavior
        else
        {
          selectValuesForValidDomain(out_colValues, oValueRange);
        }
      }
    }
    else if(in_oValueRange instanceof EnumerableValueTypeRange) {
      EnumerableValueTypeRange<?> oEnumerableVTR = (EnumerableValueTypeRange<?>)in_oValueRange;
      out_colValues.add(new TestCaseValidValue(
          oEnumerableVTR.getValidRandomValue().toString()));
    }
    return out_colValues;
  }
View Full Code Here
117
118
119
120
121
122
123
  public static void addRandomValuesForValidDomain(
      ArrayList<TestCaseValidValue> io_colValues,
      ValueTypeRange in_oValueRange)
  {
    ValueType oValue = in_oValueRange.getValidRandomValue();
    io_colValues.add(new TestCaseValidValue(oValue.toString()));   
  }
View Full Code Here
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
      // if only boundary values are of interest but there are no boundaries -> one random value
      if(m_bSelectValuesOnlyAtBoundaries &&
          (oVTRange.getMinValue().isMinimum() && oVTRange.isMinIncluded() &&
          (oVTRange.getMaxValue().isMaximum() && oVTRange.isMaxIncluded()))) {
        ValueType oRndValue = oVTRange.getValidRandomValue();       
        io_colValues.add(new TestCaseValidValue(oRndValue.toString()));       
      }
      // random values: only if random values are allowed or no boundary exists
      else if(!m_bSelectValuesOnlyAtBoundaries ||
          (oVTRange.getMinValue().isMinimum() && oVTRange.isMinIncluded() &&
              (oVTRange.getMaxValue().isMaximum() && oVTRange.isMaxIncluded()))) {
        for(int i = 0; i < Configuration.getNumberOfRandomElementsPerDomain(); ++i) {
          ValueType oRndValue = oVTRange.getValidRandomValue();       
          io_colValues.add(new TestCaseValidValue(oRndValue.toString()));
        }
      }
     
      if(!(oVTRange.getMinValue().isMinimum() && oVTRange.isMinIncluded() &&
          (oVTRange.getMaxValue().isMaximum() && oVTRange.isMaxIncluded()))) {
        // add value for lower boundary (only if it is not the absolute minimum)
        if(m_bSelectValuesAlsoAtAbsoluteBoundaries ||
            !(oVTRange.getMinValue().isMinimum() && oVTRange.isMinIncluded())) {
          if(oVTRange.isMinIncluded())
          {
            io_colValues.add(
              new TestCaseValidValue(
                oVTRange.getMinValue().toString()));
          }
          else
          {
            OrderedValueType oTmp = oVTRange.getMinValue().getUpperValueMinDistance();
            io_colValues.add(new TestCaseValidValue(oTmp.toString()));
          }
//          if(!m_bSelectValuesOnlyAtBoundaries &&
//              oVTRange.getMaxValue().isMaximum()) {
//            ValueType oTmp = oVTRange.getValidRandomValue();       
//            io_colValues.add(new TestCaseValidValue(oTmp.toString()));
//          }
        }       
       
        // add value for upper boundary (only if it is not the absolute maximum)
        if(m_bSelectValuesAlsoAtAbsoluteBoundaries ||
            !(oVTRange.getMaxValue().isMaximum() && oVTRange.isMaxIncluded())) {
          if(oVTRange.isMaxIncluded())
          {
            io_colValues.add(new TestCaseValidValue(oVTRange.getMaxValue().toString()));
          }
          else
          {
            OrderedValueType oTmp = oVTRange.getMaxValue().getLowerValueMinDistance();
            io_colValues.add(new TestCaseValidValue(oTmp.toString()));
          }
//          if(!m_bSelectValuesOnlyAtBoundaries &&
//              oVTRange.getMinValue().isMinimum()) {
//            ValueType oTmp = oVTRange.getValidRandomValue();       
//            io_colValues.add(new TestCaseValidValue(oTmp.toString()));
View Full Code Here
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
  protected void printParameterValue(
      Map<EventParameterInstance, TestCaseValidValue> in_colParameters,
      EventParameterInstance in_oParameter)
  {
    if(!in_oParameter.isReturnParameter()) {
      TestCaseValidValue oValue = in_colParameters.get(in_oParameter);
      String sValue = null;
      if(oValue != null) {
        if(in_oParameter.getParameter().getValueType() instanceof org.eclipse.uml2.uml.Enumeration)
          sValue = getClassName(in_oParameter.getParameter().getValueType()) + "." + oValue.getValue();
        else
          sValue = oValue.getValue();
 
        m_oFormattedOutput.appendln(
            "name =\"" + TCGParameterHelperClass.getFullParameterInstanceAttributeName(in_oParameter) +
            "\" type=\"" + getClassName(in_oParameter.getParameter().getValueType()) +
            "\" value=\"" + sValue +
View Full Code Here
25
26
27
28
29
30
31
32
33
34
35
36
37
38
      Map<EventParameterInstance, TestCaseValidValue> in_colParameters,
      EventParameterInstance in_oParameter,
      FormattedOutput in_oFormattedOutput)
  {
    if(!in_oParameter.isReturnParameter()) {
      TestCaseValidValue oValue = in_colParameters.get(in_oParameter);
      String sValue = null;
      if(oValue != null)
        sValue = oValue.getValue();
      else
        sValue = getClassName(in_oParameter.getParameter().getValueType()) + " ()";
     
      in_oFormattedOutput.appendln(
          TCGParameterHelperClass.getFullParameterInstanceAttributeName(in_oParameter)
View Full Code Here
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
      Map<EventParameterInstance, TestCaseValidValue> in_colParameters,
      EventParameterInstance in_oParameter,
      boolean in_bDefine)
  {
    if(!in_oParameter.isReturnParameter()) {
      TestCaseValidValue oValue = in_colParameters.get(in_oParameter);
      String sValue = "";
      if(oValue != null) {
        if(in_oParameter.getParameter().getValueType() instanceof org.eclipse.uml2.uml.Enumeration)
          sValue = getClassName(in_oParameter.getParameter().getValueType()) + "." + oValue.getValue();
        else
          sValue = oValue.getValue();
      }
     
      Variable oVar = TestsuiteexportFactory.eINSTANCE.createVariable();
      oVar.setName(TCGParameterHelperClass.getFullParameterInstanceAttributeName(in_oParameter));
      oVar.setType(getClassName(in_oParameter.getParameter().getValueType()));
View Full Code Here
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
  protected void printParameterValue(
      Map<EventParameterInstance, TestCaseValidValue> in_colParameters,
      EventParameterInstance in_oParameter)
  {
    if(!in_oParameter.isReturnParameter()) {
      TestCaseValidValue oValue = in_colParameters.get(in_oParameter);
      String sValue = null;
      if(oValue != null) {
        if(in_oParameter.getParameter().getValueType() instanceof org.eclipse.uml2.uml.Enumeration)
          sValue = getClassName(in_oParameter.getParameter().getValueType()) + "." + oValue.getValue();
        else
          sValue = oValue.getValue();
      }
      else
        sValue = "new " + getClassName(in_oParameter.getParameter().getValueType()) + " ()";
     
      m_oFormattedOutput.appendln(
View Full Code Here
TOP

Related Classes of net.sf.parteg.core.testcase.TestCaseValidValue

  • net.sf.parteg.base.testcasegraph.testgeneration.TestCaseGeneratorRunner
  • net.sf.parteg.base.testcasegraph.valueselection.TestCaseValueSelector
  • net.sf.parteg.output.testgraph.languages.TestCaseGraphOutputCpp
  • net.sf.parteg.output.testgraph.languages.TestCaseGraphOutputJava
  • net.sf.parteg.output.testgraph.languages.TestCaseGraphOutputXMLEMFReduced
  • net.sf.parteg.output.testgraph.languages.TestCaseGraphOutputXMLManualReduced
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.