// generate the set of test request messages.
 public Vector<String> genTestParasSet(String sig, String entry, RequestMessage seed) {
   HashMap<String, String> parameters = _parser.parseInputParameters(seed.getInputParas());
   HashMap<String, String> sessionVars = _parser.parseSession(seed.getSessionVars());
   Vector<String> testParas =
       testProfiles.get(sig).getEntries().get(entry).genViolatedParas(parameters, sessionVars);
   return testParas;
 }
 public boolean checkEqualityConstViolated(
     String sig, String entry, String inputParas, String session) {
   HashMap<String, String> parameters = _parser.parseInputParameters(inputParas);
   HashMap<String, String> sessionVars = _parser.parseSession(session);
   return (!testProfiles
       .get(sig)
       .getEntries()
       .get(entry)
       .checkEqualityConst(parameters, sessionVars));
 }
 public boolean checkSessionConstViolated(String sig, String entry, String session) {
   HashMap<String, String> sessionVars = _parser.parseSession(session);
   return (!testProfiles.get(sig).getEntries().get(entry).checkSessionConst(sessionVars));
 }