コード例 #1
0
        public void Analyze()
        {
            this.Log.LogMessage(
                "FieldAccessObserver",
                "begin");

            int framesCount   = 0;
            int framesHandled = 0;
            int maxLevelCount = 16;

            for (int level = 0; level < maxLevelCount; level++)
            {
                FieldAccessCollector controller = new FieldAccessCollector(this, level);
                using (IEngine trackingEngine = this.PathServices.TrackingEngineFactory.CreateTrackingEngine(controller)
                       )
                {
                    IPexTrackingDriver driver = trackingEngine.GetService <IPexTrackingDriver>();
                    if (!driver.Run())
                    {
                        break;
                    }
                }
                framesCount    = SafeMath.Max(framesCount, controller.FramesCount);
                framesHandled += controller.FramesHandled;
                if (framesHandled > framesCount)
                {
                    framesHandled = framesCount;
                }
                this.Log.LogMessage(
                    "FieldAccessObserver",
                    "collecting data, {0:P} of all frames up to level {1} / {2}",
                    ((double)framesHandled / framesCount), level, maxLevelCount);
                if (controller.FramesHandled == 0 || // did we make any progress?
                    framesHandled >= framesCount)    // or have we processed all frames there are?
                {
                    break;
                }
            }

            this.Log.LogMessage(
                "FieldAccessObserver",
                "end");
        }
コード例 #2
0
        public void Analyze()
        {
            //this.Log.LogMessage(PexMeLogCategories.MethodBegin, "Begin of FieldAccessPathObserver.Analyze() method");

            if (this.explorationObserver == null)
            {
                this.explorationObserver = this.GetService <IFieldAccessExplorationObserver>();
            }

            if (this.pmd == null)
            {
                this.pmd = this.GetService <IPexMeDynamicDatabase>() as PexMeDynamicDatabase;
            }

            if (this.psd == null)
            {
                this.psd = this.GetService <IPexMeStaticDatabase>() as PexMeStaticDatabase;
            }

            int framesCount   = 0;
            int framesHandled = 0;
            int maxLevelCount = 16; //TODO: Why 16?

            pmd.LastExecutedFactoryMethodCallSequence = null;

            for (int level = 0; level < maxLevelCount; level++)
            {
                FieldAccessCollector controller = new FieldAccessCollector(this,
                                                                           this.explorationObserver, this.pmd, this.psd, level);

                this.pmd.DefectDetectingSequence = false;
                try
                {
                    using (IEngine trackingEngine = this.PathServices.TrackingEngineFactory.CreateTrackingEngine(controller))
                    {
                        IPexTrackingDriver driver = trackingEngine.GetService <IPexTrackingDriver>();
                        if (!driver.Run())
                        {
                            break;
                        }
                    }
                }
                catch (Exception ex)
                {
                    this.pmd.DefectDetectingSequence = true;
                }

                pmd.LastExecutedFactoryMethodCallSequence = controller.FactoryMethodCallSequence;
                pmd.LastExecutedCUTMethodCallSequence     = controller.CUTMethodCallSequence;

                //StringBuilder sb = new StringBuilder();
                //foreach(Method m in pmd.LastExecutedMethodCallSequence)
                //{
                //    sb.Append(m.ToString() + "\n");
                //}
                //this.pmd.Log.LogMessage("debug", "Executed method call sequence " + sb.ToString());

                framesCount    = SafeMath.Max(framesCount, controller.FramesCount);
                framesHandled += controller.FramesHandled;
                if (framesHandled > framesCount)
                {
                    framesHandled = framesCount;
                }
                //this.Log.LogMessage(
                //    "FieldAccessObserver",
                //    "collecting data, {0:P} of all frames up to level {1} / {2}",
                //    ((double)framesHandled / framesCount), level, maxLevelCount);
                if (controller.FramesHandled == 0 || // did we make any progress?
                    framesHandled >= framesCount)    // or have we processed all frames there are?
                {
                    break;
                }
            }

            //Gather the information of last visited term here to use it later in
            //InsufficientObjectFactoryObserver.LogExplorableInsufficiency



            //this.Log.LogMessage(PexMeLogCategories.MethodEnd, "End of FieldAccessPathObserver.Analyze() method");
        }