Exemplo n.º 1
0
        public virtual void DirectedTests()
        {
            QueryModel  model  = new QueryModel(_workspace, SerializationFormatKind.Atom, null);
            ModelEngine engine = new ModelEngine(model);

            engine.Options.WeightScheme = WeightScheme.Custom;
            engine.Options.Timeout      = 100;

            engine.RunUntil(delegate()
            {
                return(engine.Models.Actions.AllCovered);
            });

            //engine.RunScenario(model.Actions.Find("From", "Where", " Navigation","Select","Expand"));
            //engine.RunUntil(delegate()
            //{
            //    return model.Actions.Accessed > 4;
            //});

            _query     = model.QueryResult;
            _container = model.ResContainer;
            _pType     = model.ResultType;

            if (_query != null || _pType != null)
            {
                VerifyClient(model);
            }
        }
Exemplo n.º 2
0
        public virtual void RunModel()
        {
            QueryModel  model  = new QueryModel(_workspace, _kind, null);
            ModelEngine engine = new ModelEngine(model);

            engine.Options.WeightScheme = WeightScheme.Custom;
            engine.Options.Timeout      = 100;

            engine.RunUntil(delegate()
            {
                return(model.Actions.Accessed > 5);
            });


            _query     = model.QueryResult;
            _container = model.ResContainer;
            _pType     = model.ResultType;

            if (_query != null || _pType != null)
            {
                switch (_queryType)
                {
                case "server":
                    VerifyServer(_query);
                    break;

                case "client":
                    VerifyClient(model);
                    break;

                case "linq":
                    VerifyClientLinq(model);
                    break;
                }
            }
        }