Example #1
0
        private TestOracleSet GenerateTestOracleSet()
        {
            TaskNodeList  goalList;
            TestOracleSet oracleSet;

            //goalList = RetrieveGoalList();
            goalList  = RetrieveAllGoalNodes();
            oracleSet = new TestOracleSet();

            foreach (TaskNode n in goalList)
            {
                oracleSet.Add(GenerateTestOracleByGoal(n));
            }

            return(oracleSet);
        }
        private TestOracleSet GenerateTestOracleSet()
        {
            TaskNodeList goalList;
            TestOracleSet oracleSet;
            
            //goalList = RetrieveGoalList();
            goalList = RetrieveAllGoalNodes();
            oracleSet = new TestOracleSet();

            foreach (TaskNode n in goalList)
            {
                oracleSet.Add(GenerateTestOracleByGoal(n));
            }

            return oracleSet;
        }