public override void Compute()
{
string traceID = (string)Workspace.Load("TraceID");
TLArtifactsCollection artifacts = (TLArtifactsCollection)Workspace.Load("Artifacts");
BiGramCollection bigrams = JPDA.GenerateBiGrams(Path.Combine(_config.TraceDirectory, traceID), new HashSet <string>(artifacts.Keys));
PDG pdg = PDG.Convert(bigrams);
ISet <string> unique = JPDA.GenerateUniqueMethods(Path.Combine(_config.TraceDirectory, traceID));
Workspace.Store("PDG", pdg);
Workspace.Store("UniqueMethods", unique);
}
public void GenerateUniqueMethods()
{
string dataRoot = @"../../Data/ExecutionTraces/JPDA/";
string traceFile = dataRoot + "trace.jdpa";
string oracleFile = dataRoot + "trace.unique";
ISet <string> unique = JPDA.GenerateUniqueMethods(traceFile);
IEnumerable <string> oracle = Generics.ImportStrings(oracleFile);
Assert.AreEqual(oracle.Count(), unique.Count);
foreach (string method in oracle)
{
Assert.IsTrue(unique.Contains(method));
}
}
