private void MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite2CheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
 {
     this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out False]\'");
     TestManagerHelpers.AssertAreEqual <bool>(this.Manager, false, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S5");
 }
 private void NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0SmbConnectionResponseChecker(Microsoft.Protocol.TestSuites.Smb.Platform clientPlatform, Microsoft.Protocol.TestSuites.Smb.Platform sutPlatform)
 {
     this.Manager.Comment("checking step \'event SmbConnectionResponse(Win7,Win2K8)\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocol.TestSuites.Smb.Platform>(this.Manager, Microsoft.Protocol.TestSuites.Smb.Platform.Win7, clientPlatform, "clientPlatform of SmbConnectionResponse, state S2");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocol.TestSuites.Smb.Platform>(this.Manager, Microsoft.Protocol.TestSuites.Smb.Platform.Win2K8, sutPlatform, "sutPlatform of SmbConnectionResponse, state S2");
 }
コード例 #3
0
        public void LSAT_TestScenarioS7S2()
        {
            this.Manager.BeginTest("TestScenarioS7S2");
            this.Manager.Comment("reaching state \'S2\'");
            Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ProtocolServerConfig temp10;
            this.Manager.Comment("executing step \'call Initialize(Disable,1)\'");
            temp10 = this.ILsatAdapterInstance.Initialize(((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.AnonymousAccess)(0)), 1u);
            this.Manager.AddReturn(InitializeInfo, null, temp10);
            this.Manager.Comment("reaching state \'S3\'");
            int temp19 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(TestScenarioS7.InitializeInfo, null, new InitializeDelegate1(this.TestScenarioS7S2InitializeChecker)), new ExpectedReturn(TestScenarioS7.InitializeInfo, null, new InitializeDelegate1(this.TestScenarioS7S2InitializeChecker1)));

            if ((temp19 == 0))
            {
                this.Manager.Comment("reaching state \'S6\'");
                Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle      temp11;
                Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus temp12;
                this.Manager.Comment("executing step \'call OpenPolicy(Null,8192,out _)\'");
                temp12 = this.ILsatAdapterInstance.OpenPolicy(((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.RootDirectory)(0)), 8192u, out temp11);
                this.Manager.Checkpoint("MS-LSAT_R177");
                this.Manager.Comment("reaching state \'S10\'");
                this.Manager.Comment("checking step \'return OpenPolicy/[out Null]:AccessDenied\'");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle.Null, temp11, "openPolicyHandle of OpenPolicy, state S10");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus)(0)), temp12, "return of OpenPolicy, state S10");
                this.Manager.Comment("reaching state \'S14\'");
                Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle      temp13;
                Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus temp14;
                this.Manager.Comment("executing step \'call OpenPolicy2(Null,8192,out _)\'");
                temp14 = this.ILsatAdapterInstance.OpenPolicy2(((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.RootDirectory)(0)), 8192u, out temp13);
                this.Manager.Checkpoint("MS-LSAT_R165");
                this.Manager.Comment("reaching state \'S18\'");
                this.Manager.Comment("checking step \'return OpenPolicy2/[out Null]:AccessDenied\'");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle.Null, temp13, "openPolicyHandle2 of OpenPolicy2, state S18");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus)(0)), temp14, "return of OpenPolicy2, state S18");
                TestScenarioS7S21();
                goto label1;
            }
            if ((temp19 == 1))
            {
                this.Manager.Comment("reaching state \'S7\'");
                Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle      temp15;
                Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus temp16;
                this.Manager.Comment("executing step \'call OpenPolicy(Null,8192,out _)\'");
                temp16 = this.ILsatAdapterInstance.OpenPolicy(((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.RootDirectory)(0)), 8192u, out temp15);
                this.Manager.Checkpoint("MS-LSAT_R177");
                this.Manager.Comment("reaching state \'S11\'");
                this.Manager.Comment("checking step \'return OpenPolicy/[out Null]:AccessDenied\'");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle.Null, temp15, "openPolicyHandle of OpenPolicy, state S11");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus)(0)), temp16, "return of OpenPolicy, state S11");
                this.Manager.Comment("reaching state \'S15\'");
                Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle      temp17;
                Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus temp18;
                this.Manager.Comment("executing step \'call OpenPolicy2(Null,8192,out _)\'");
                temp18 = this.ILsatAdapterInstance.OpenPolicy2(((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.RootDirectory)(0)), 8192u, out temp17);
                this.Manager.Checkpoint("MS-LSAT_R165");
                this.Manager.Comment("reaching state \'S19\'");
                this.Manager.Comment("checking step \'return OpenPolicy2/[out Null]:AccessDenied\'");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.Handle.Null, temp17, "openPolicyHandle2 of OpenPolicy2, state S19");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ErrorStatus)(0)), temp18, "return of OpenPolicy2, state S19");
                TestScenarioS7S20();
                goto label1;
            }
            throw new InvalidOperationException("never reached");
label1:
            ;
            this.Manager.EndTest();
        }
コード例 #4
0
 private void TestScenarioConfigurableSettingsDSWin2K8R2S0SearchOpResponseChecker1(SearchResp response)
 {
     this.Manager.Comment("checking step \'event SearchOpResponse(retreivalUnsuccessful)\'");
     TestManagerHelpers.AssertAreEqual <SearchResp>(this.Manager, ((SearchResp)(1)), response, "response of SearchOpResponse, state S4");
 }
コード例 #5
0
 public void LSAD_TestScenarioS30S0()
 {
     this.Manager.BeginTest("TestScenarioS30S0");
     this.Manager.Comment("reaching state \'S0\'");
     this.Manager.Comment("executing step \'call Initialize(PrimaryDomainController,Disable,Windows2k8,2,True" +
                          ")\'");
     this.ILsadManagedAdapterInstance.Initialize(Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ProtocolServerConfig.PrimaryDomainController, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.AnonymousAccess)(0)), Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Server.Windows2k8, 2, true);
     this.Manager.Comment("reaching state \'S1\'");
     this.Manager.Comment("checking step \'return Initialize\'");
     this.Manager.Comment("reaching state \'S4\'");
     Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle      temp0;
     Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus temp1;
     this.Manager.Comment("executing step \'call OpenPolicy(Null,3507,out _)\'");
     temp1 = this.ILsadManagedAdapterInstance.OpenPolicy(((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.RootDirectory)(0)), 3507u, out temp0);
     this.Manager.Comment("reaching state \'S6\'");
     this.Manager.Comment("checking step \'return OpenPolicy/[out Valid]:Success\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle)(0)), temp0, "policyHandle of OpenPolicy, state S6");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus)(0)), temp1, "return of OpenPolicy, state S6");
     this.Manager.Comment("reaching state \'S8\'");
     Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle      temp2;
     Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus temp3;
     this.Manager.Comment("executing step \'call CreateTrustedDomain(1,TRUSTED_DOMAIN_INFORMATION_EX(TrustDom" +
                          "ainName=\"Domain\",TrustDomain_Sid=\"DomainSid\",TrustDomain_NetBiosName=\"DomainNetB" +
                          "ios\",TrustType=0,TrustDir=0,TrustAttr=0),Valid,True,Valid,4061069439,out _)\'");
     temp3 = this.ILsadManagedAdapterInstance.CreateTrustedDomain(1, this.Make <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TRUSTED_DOMAIN_INFORMATION_EX>(new string[] {
         "TrustDomainName",
         "TrustDomain_Sid",
         "TrustDomain_NetBiosName",
         "TrustType",
         "TrustDir",
         "TrustAttr"
     }, new object[] {
         "Domain",
         "DomainSid",
         "DomainNetBios",
         0u,
         0u,
         0u
     }), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.DomainSid)(0)), true, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ValidString)(0)), 4061069439u, out temp2);
     this.Manager.Comment("reaching state \'S10\'");
     this.Manager.Comment("checking step \'return CreateTrustedDomain/[out Valid]:Success\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle)(0)), temp2, "trustHandle of CreateTrustedDomain, state S10");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus)(0)), temp3, "return of CreateTrustedDomain, state S10");
     this.Manager.Comment("reaching state \'S12\'");
     Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle      temp4;
     Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus temp5;
     this.Manager.Comment(@"executing step 'call CreateTrustedDomainEx(1,TRUSTED_DOMAIN_INFORMATION_EX(TrustDomainName=""Domain"",TrustDomain_Sid=""DomainSid"",TrustDomain_NetBiosName=""NetBiosName"",TrustType=2,TrustDir=2,TrustAttr=8),Valid,Valid,DS_BEHAVIOR_WIN2003,True,65663,TRUSTED_DOMAIN_AUTH_INFORMATION(IncomingAuthInfos=0,OutgoingAuthInfos=0),out _)'");
     temp5 = this.ILsadManagedAdapterInstance.CreateTrustedDomainEx(1, this.Make <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TRUSTED_DOMAIN_INFORMATION_EX>(new string[] {
         "TrustDomainName",
         "TrustDomain_Sid",
         "TrustDomain_NetBiosName",
         "TrustType",
         "TrustDir",
         "TrustAttr"
     }, new object[] {
         "Domain",
         "DomainSid",
         "NetBiosName",
         2u,
         2u,
         8u
     }), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ValidString)(0)), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.DomainSid)(0)), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ForestFunctionalLevel)(1)), true, 65663u, this.Make <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TRUSTED_DOMAIN_AUTH_INFORMATION>(new string[] {
         "IncomingAuthInfos",
         "OutgoingAuthInfos"
     }, new object[] {
         0u,
         0u
     }), out temp4);
     this.Manager.Comment("reaching state \'S14\'");
     this.Manager.Comment("checking step \'return CreateTrustedDomainEx/[out Invalid]:ObjectNameCollision\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle)(1)), temp4, "trustHandle of CreateTrustedDomainEx, state S14");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus.ObjectNameCollision, temp5, "return of CreateTrustedDomainEx, state S14");
     this.Manager.Comment("reaching state \'S16\'");
     Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle      temp6;
     Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus temp7;
     this.Manager.Comment(@"executing step 'call CreateTrustedDomainEx2(1,TRUSTED_DOMAIN_INFORMATION_EX(TrustDomainName=""Domain"",TrustDomain_Sid=""DomainSid"",TrustDomain_NetBiosName=""NetBiosName"",TrustType=2,TrustDir=2,TrustAttr=8),Valid,Valid,DS_BEHAVIOR_WIN2003,True,4061069327,out _)'");
     temp7 = this.ILsadManagedAdapterInstance.CreateTrustedDomainEx2(1, this.Make <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TRUSTED_DOMAIN_INFORMATION_EX>(new string[] {
         "TrustDomainName",
         "TrustDomain_Sid",
         "TrustDomain_NetBiosName",
         "TrustType",
         "TrustDir",
         "TrustAttr"
     }, new object[] {
         "Domain",
         "DomainSid",
         "NetBiosName",
         2u,
         2u,
         8u
     }), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ValidString)(0)), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.DomainSid)(0)), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ForestFunctionalLevel)(1)), true, 4061069327u, out temp6);
     this.Manager.Comment("reaching state \'S18\'");
     this.Manager.Comment("checking step \'return CreateTrustedDomainEx2/[out Invalid]:ObjectNameCollision\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle)(1)), temp6, "trustHandle of CreateTrustedDomainEx2, state S18");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus.ObjectNameCollision, temp7, "return of CreateTrustedDomainEx2, state S18");
     this.Manager.Comment("reaching state \'S20\'");
     Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.CollisionInfo temp8;
     Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus   temp9;
     this.Manager.Comment("executing step \'call SetForestTrustInformation(1,\"Domain\",Valid,3,1,DS_BEHAVIOR_W" +
                          "IN2003,True,out _)\'");
     temp9 = this.ILsadManagedAdapterInstance.SetForestTrustInformation(1, "Domain", ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ValidString)(0)), 3, 1, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ForestFunctionalLevel)(1)), true, out temp8);
     this.Manager.Comment("reaching state \'S22\'");
     this.Manager.Comment("checking step \'return SetForestTrustInformation/[out Invalid]:InvalidParameter\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.CollisionInfo>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.CollisionInfo)(1)), temp8, "collisionInfo of SetForestTrustInformation, state S22");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus.InvalidParameter, temp9, "return of SetForestTrustInformation, state S22");
     TestScenarioS30S24();
     this.Manager.EndTest();
 }
コード例 #6
0
        public virtual void NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0()
        {
            this.Manager.BeginTest("NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0");
            this.Manager.Comment("reaching state \'S0\'");
            this.Manager.Comment("executing step \'call SmbConnectionRequest()\'");
            this.ISmbAdapterInstance.SmbConnectionRequest();
            this.Manager.Comment("reaching state \'S1\'");
            this.Manager.Comment("checking step \'return SmbConnectionRequest\'");
            this.Manager.Comment("reaching state \'S2\'");
            if ((this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2.SmbConnectionResponseInfo, null, new SmbConnectionResponseDelegate1(this.NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0SmbConnectionResponseChecker))) != -1))
            {
                this.Manager.Comment("reaching state \'S3\'");
                this.Manager.Comment("executing step \'call ServerSetup(Fat,Disabled,True,False,False)\'");
                this.IServerSetupAdapterInstance.ServerSetup(((Microsoft.Protocol.TestSuites.Smb.FileSystemType)(1)), ((Microsoft.Protocol.TestSuites.Smb.SignState)(0)), true, false, false);
                this.Manager.Comment("reaching state \'S4\'");
                this.Manager.Comment("checking step \'return ServerSetup\'");
                this.Manager.Comment("reaching state \'S5\'");
                if ((this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2.ServerSetupResponseInfo, null, new ServerSetupResponseDelegate1(this.NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0ServerSetupResponseChecker))) != -1))
                {
                    this.Manager.Comment("reaching state \'S6\'");
                    bool temp0;
                    this.Manager.Comment("executing step \'call CreatePipeAndMailslot({\"Pipe1\"},{\"Mailslot1\"},out _)\'");
                    this.IServerSetupAdapterInstance.CreatePipeAndMailslot(new List <string> {
                        "Pipe1"
                    }, new List <string> {
                        "Mailslot1"
                    }, out temp0);
                    this.Manager.Comment("reaching state \'S7\'");
                    this.Manager.Comment("checking step \'return CreatePipeAndMailslot/[out True]\'");
                    TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, temp0, "createPipeStatus of CreatePipeAndMailslot, state S7");
                    this.Manager.Comment("reaching state \'S8\'");
                    this.Manager.Comment("executing step \'call NegotiateRequest(1,True,Disabled,[PcNet1,LanMan10,Wfw10,LanM" +
                                         "an12,LanMan21,NtLanMan])\'");
                    this.ISmbAdapterInstance.NegotiateRequest(1, true, ((Microsoft.Protocol.TestSuites.Smb.SignState)(0)), new List <Microsoft.Protocol.TestSuites.Smb.Dialect> {
                        Microsoft.Protocol.TestSuites.Smb.Dialect.PcNet1, Microsoft.Protocol.TestSuites.Smb.Dialect.LanMan10, Microsoft.Protocol.TestSuites.Smb.Dialect.Wfw10, Microsoft.Protocol.TestSuites.Smb.Dialect.LanMan12, Microsoft.Protocol.TestSuites.Smb.Dialect.LanMan21, Microsoft.Protocol.TestSuites.Smb.Dialect.NtLanMan
                    });
                    this.Manager.Comment("reaching state \'S9\'");
                    this.Manager.Comment("checking step \'return NegotiateRequest\'");
                    this.Manager.Comment("reaching state \'S10\'");
                    if ((this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2.NegotiateResponseInfo, null, new NegotiateResponseDelegate1(this.NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0NegotiateResponseChecker))) != -1))
                    {
                        this.Manager.Comment("reaching state \'S11\'");
                        this.Manager.Comment("executing step \'call SessionSetupNonUnicodeRequest(Admin,2,0,0,False,{CapNtSmbs,C" +
                                             "apExtendedSecurity},False,False,True)\'");
                        this.ISmbAdapterInstance.SessionSetupNonUnicodeRequest(((Microsoft.Protocol.TestSuites.Smb.AccountType)(0)), 2, 0, 0, false, new List <Microsoft.Protocol.TestSuites.Smb.Capabilities> {
                            Microsoft.Protocol.TestSuites.Smb.Capabilities.CapNtSmbs, Microsoft.Protocol.TestSuites.Smb.Capabilities.CapExtendedSecurity
                        }, false, false, true);
                        this.Manager.Checkpoint("MS-SMB_R8388");
                        this.Manager.Comment("reaching state \'S12\'");
                        this.Manager.Comment("checking step \'return SessionSetupNonUnicodeRequest\'");
                        this.Manager.Comment("reaching state \'S13\'");
                        int temp1 = this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2.SessionSetupResponseInfo, null, new SessionSetupResponseDelegate1(this.NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0SessionSetupResponseChecker)), new ExpectedEvent(NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2.SessionSetupResponseInfo, null, new SessionSetupResponseDelegate1(this.NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0SessionSetupResponseChecker1)));
                        if ((temp1 == 0))
                        {
                            NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S14();
                            goto label0;
                        }
                        if ((temp1 == 1))
                        {
                            NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S14();
                            goto label0;
                        }
                        this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2.SessionSetupResponseInfo, null, new SessionSetupResponseDelegate1(this.NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0SessionSetupResponseChecker)), new ExpectedEvent(NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2.SessionSetupResponseInfo, null, new SessionSetupResponseDelegate1(this.NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0SessionSetupResponseChecker1)));
label0:
                        ;
                    }
                    else
                    {
                        this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2.NegotiateResponseInfo, null, new NegotiateResponseDelegate1(this.NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0NegotiateResponseChecker)));
                    }
                }
                else
                {
                    this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2.ServerSetupResponseInfo, null, new ServerSetupResponseDelegate1(this.NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0ServerSetupResponseChecker)));
                }
            }
            else
            {
                this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2.SmbConnectionResponseInfo, null, new SmbConnectionResponseDelegate1(this.NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0SmbConnectionResponseChecker)));
            }
            this.Manager.EndTest();
        }
コード例 #7
0
 private void MSOXCTABL_S06_RestrictRop_RestrictNotSupported_TestSuite1CheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
 {
     this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out False]\'");
     TestManagerHelpers.AssertAreEqual <bool>(this.Manager, false, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S3");
 }
 private void MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuite1CheckRequirementEnabledChecker1(bool enabled)
 {
     this.Manager.Comment("checking step \'return CheckRequirementEnabled/[out True]\'");
     TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, enabled, "enabled of CheckRequirementEnabled, state S9");
 }
        public void MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuite()
        {
            this.Manager.BeginTest("MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuite");
            this.Manager.Comment("reaching state \'S0\'");
            bool temp0;

            this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
            this.IMS_OXCTABLAdapterInstance.CheckMAPIHTTPTransportSupported(out temp0);
            this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp0);
            this.Manager.Comment("reaching state \'S1\'");
            int temp7 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S07_AsyncRops_AbortNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuiteCheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S07_AsyncRops_AbortNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuiteCheckMAPIHTTPTransportSupportedChecker1)));

            if ((temp7 == 0))
            {
                this.Manager.Comment("reaching state \'S4\'");
                goto label1;
            }
            if ((temp7 == 1))
            {
                this.Manager.Comment("reaching state \'S5\'");
                bool temp1;
                this.Manager.Comment("executing step \'call CheckRequirementEnabled(791,out _)\'");
                this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(791, out temp1);
                this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp1);
                this.Manager.Comment("reaching state \'S8\'");
                int temp6 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S07_AsyncRops_AbortNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuiteCheckRequirementEnabledChecker)), new ExpectedReturn(S07_AsyncRops_AbortNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuiteCheckRequirementEnabledChecker1)));
                if ((temp6 == 0))
                {
                    this.Manager.Comment("reaching state \'S10\'");
                    this.Manager.Comment("executing step \'call InitializeTable(INVALID_TABLE)\'");
                    this.IMS_OXCTABLAdapterInstance.InitializeTable(Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType.INVALID_TABLE);
                    this.Manager.Comment("reaching state \'S14\'");
                    this.Manager.Comment("checking step \'return InitializeTable\'");
                    this.Manager.Comment("reaching state \'S18\'");
                    Microsoft.Protocols.TestSuites.Common.TableStatus temp2;
                    Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp3;
                    this.Manager.Comment("executing step \'call RopAbort(out _)\'");
                    temp3 = this.IMS_OXCTABLAdapterInstance.RopAbort(out temp2);
                    this.Manager.Checkpoint("MS-OXCTABL_R124");
                    this.Manager.Comment("reaching state \'S22\'");
                    this.Manager.Comment("checking step \'return RopAbort/[out TblstatComplete]:ecNotSupported\'");
                    TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.Common.TableStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.Common.TableStatus)(0)), temp2, "tableStatus of RopAbort, state S22");
                    TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.ecNotSupported, temp3, "return of RopAbort, state S22");
                    this.Manager.Comment("reaching state \'S26\'");
                    goto label0;
                }
                if ((temp6 == 1))
                {
                    this.Manager.Comment("reaching state \'S11\'");
                    this.Manager.Comment("executing step \'call InitializeTable(INVALID_TABLE)\'");
                    this.IMS_OXCTABLAdapterInstance.InitializeTable(Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType.INVALID_TABLE);
                    this.Manager.Comment("reaching state \'S15\'");
                    this.Manager.Comment("checking step \'return InitializeTable\'");
                    this.Manager.Comment("reaching state \'S19\'");
                    Microsoft.Protocols.TestSuites.Common.TableStatus temp4;
                    Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp5;
                    this.Manager.Comment("executing step \'call RopAbort(out _)\'");
                    temp5 = this.IMS_OXCTABLAdapterInstance.RopAbort(out temp4);
                    this.Manager.Comment("reaching state \'S23\'");
                    this.Manager.Comment("checking step \'return RopAbort/[out TblstatComplete]:NotImplemented\'");
                    TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.Common.TableStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.Common.TableStatus)(0)), temp4, "tableStatus of RopAbort, state S23");
                    TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.NotImplemented, temp5, "return of RopAbort, state S23");
                    this.Manager.Comment("reaching state \'S27\'");
                    goto label0;
                }
                throw new InvalidOperationException("never reached");
label0:
                ;
                goto label1;
            }
            throw new InvalidOperationException("never reached");
label1:
            ;
            this.Manager.EndTest();
        }
 private void MSOXCTABL_S07_AsyncRops_RestrictAsynchronous_TestSuite2CheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
 {
     this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out False]\'");
     TestManagerHelpers.AssertAreEqual <bool>(this.Manager, false, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S5");
 }
        public void MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuite1()
        {
            this.Manager.BeginTest("MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuite1");
            this.Manager.Comment("reaching state \'S2\'");
            bool temp8;

            this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
            this.IMS_OXCTABLAdapterInstance.CheckMAPIHTTPTransportSupported(out temp8);
            this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp8);
            this.Manager.Comment("reaching state \'S3\'");
            int temp15 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S07_AsyncRops_AbortNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuite1CheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S07_AsyncRops_AbortNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuite1CheckMAPIHTTPTransportSupportedChecker1)));

            if ((temp15 == 0))
            {
                this.Manager.Comment("reaching state \'S6\'");
                bool temp9;
                this.Manager.Comment("executing step \'call CheckRequirementEnabled(791,out _)\'");
                this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(791, out temp9);
                this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp9);
                this.Manager.Comment("reaching state \'S9\'");
                int temp14 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S07_AsyncRops_AbortNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuite1CheckRequirementEnabledChecker)), new ExpectedReturn(S07_AsyncRops_AbortNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S07_AsyncRops_AbortNotSupported_TestSuite1CheckRequirementEnabledChecker1)));
                if ((temp14 == 0))
                {
                    this.Manager.Comment("reaching state \'S12\'");
                    this.Manager.Comment("executing step \'call InitializeTable(ATTACHMENTS_TABLE)\'");
                    this.IMS_OXCTABLAdapterInstance.InitializeTable(Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType.ATTACHMENTS_TABLE);
                    this.Manager.Comment("reaching state \'S16\'");
                    this.Manager.Comment("checking step \'return InitializeTable\'");
                    this.Manager.Comment("reaching state \'S20\'");
                    Microsoft.Protocols.TestSuites.Common.TableStatus temp10;
                    Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp11;
                    this.Manager.Comment("executing step \'call RopAbort(out _)\'");
                    temp11 = this.IMS_OXCTABLAdapterInstance.RopAbort(out temp10);
                    this.Manager.Comment("reaching state \'S24\'");
                    this.Manager.Comment("checking step \'return RopAbort/[out TblstatComplete]:NotImplemented\'");
                    TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.Common.TableStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.Common.TableStatus)(0)), temp10, "tableStatus of RopAbort, state S24");
                    TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.NotImplemented, temp11, "return of RopAbort, state S24");
                    this.Manager.Comment("reaching state \'S28\'");
                    goto label2;
                }
                if ((temp14 == 1))
                {
                    this.Manager.Comment("reaching state \'S13\'");
                    this.Manager.Comment("executing step \'call InitializeTable(ATTACHMENTS_TABLE)\'");
                    this.IMS_OXCTABLAdapterInstance.InitializeTable(Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType.ATTACHMENTS_TABLE);
                    this.Manager.Comment("reaching state \'S17\'");
                    this.Manager.Comment("checking step \'return InitializeTable\'");
                    this.Manager.Comment("reaching state \'S21\'");
                    Microsoft.Protocols.TestSuites.Common.TableStatus temp12;
                    Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp13;
                    this.Manager.Comment("executing step \'call RopAbort(out _)\'");
                    temp13 = this.IMS_OXCTABLAdapterInstance.RopAbort(out temp12);
                    this.Manager.Checkpoint("MS-OXCTABL_R486");
                    this.Manager.Comment("reaching state \'S25\'");
                    this.Manager.Comment("checking step \'return RopAbort/[out TblstatComplete]:ecNotSupported\'");
                    TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.Common.TableStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.Common.TableStatus)(0)), temp12, "tableStatus of RopAbort, state S25");
                    TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.ecNotSupported, temp13, "return of RopAbort, state S25");
                    this.Manager.Comment("reaching state \'S29\'");
                    goto label2;
                }
                throw new InvalidOperationException("never reached");
label2:
                ;
                goto label3;
            }
            if ((temp15 == 1))
            {
                this.Manager.Comment("reaching state \'S7\'");
                goto label3;
            }
            throw new InvalidOperationException("never reached");
label3:
            ;
            this.Manager.EndTest();
        }
 private void MSOXCTABL_S03_BookmarkRops_SeekRowBookMarkNotSupported_TestSuiteCheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
 {
     this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out True]\'");
     TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S1");
 }
 private void MSOXCTABL_S01_ColumnRops_SetColumnsecInvalidParam_TestSuiteCheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
 {
     this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out True]\'");
     TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S1");
 }
        public void MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite()
        {
            this.Manager.BeginTest("MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite");
            this.Manager.Comment("reaching state \'S0\'");
            bool temp0;

            this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
            this.IMS_OXCTABLAdapterInstance.CheckMAPIHTTPTransportSupported(out temp0);
            this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp0);
            this.Manager.Comment("reaching state \'S1\'");
            int temp18 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuiteCheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuiteCheckMAPIHTTPTransportSupportedChecker1)));

            if ((temp18 == 0))
            {
                this.Manager.Comment("reaching state \'S6\'");
                goto label3;
            }
            if ((temp18 == 1))
            {
                this.Manager.Comment("reaching state \'S7\'");
                this.Manager.Comment("executing step \'call InitializeTable(CONTENT_TABLE)\'");
                this.IMS_OXCTABLAdapterInstance.InitializeTable(((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType)(0)));
                this.Manager.Comment("reaching state \'S12\'");
                this.Manager.Comment("checking step \'return InitializeTable\'");
                this.Manager.Comment("reaching state \'S15\'");
                Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp1;
                this.Manager.Comment("executing step \'call RopSetColumns(1,False,False,False)\'");
                temp1 = this.IMS_OXCTABLAdapterInstance.RopSetColumns(1u, false, false, false);
                this.Manager.Checkpoint("MS-OXCTABL_R831");
                this.Manager.Checkpoint("MS-OXCTABL_R45");
                this.Manager.Comment("reaching state \'S18\'");
                this.Manager.Comment("checking step \'return RopSetColumns/success\'");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp1, "return of RopSetColumns, state S18");
                this.Manager.Comment("reaching state \'S21\'");
                Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp2;
                this.Manager.Comment("executing step \'call RopCreateBookmark()\'");
                temp2 = this.IMS_OXCTABLAdapterInstance.RopCreateBookmark();
                this.Manager.Checkpoint("MS-OXCTABL_R526");
                this.Manager.Comment("reaching state \'S24\'");
                this.Manager.Comment("checking step \'return RopCreateBookmark/success\'");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp2, "return of RopCreateBookmark, state S24");
                this.Manager.Comment("reaching state \'S27\'");
                Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp3;
                this.Manager.Comment("executing step \'call RopResetTable()\'");
                temp3 = this.IMS_OXCTABLAdapterInstance.RopResetTable();
                this.Manager.Checkpoint("MS-OXCTABL_R564");
                this.Manager.Comment("reaching state \'S30\'");
                this.Manager.Comment("checking step \'return RopResetTable/success\'");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp3, "return of RopResetTable, state S30");
                this.Manager.Comment("reaching state \'S33\'");
                bool temp4;
                this.Manager.Comment("executing step \'call CheckRequirementEnabled(908,out _)\'");
                this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(908, out temp4);
                this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp4);
                this.Manager.Comment("reaching state \'S36\'");
                int temp17 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuiteCheckRequirementEnabledChecker)), new ExpectedReturn(S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuiteCheckRequirementEnabledChecker3)));
                if ((temp17 == 0))
                {
                    this.Manager.Comment("reaching state \'S39\'");
                    bool temp5;
                    this.Manager.Comment("executing step \'call CheckRequirementEnabled(909,out _)\'");
                    this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(909, out temp5);
                    this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp5);
                    this.Manager.Comment("reaching state \'S45\'");
                    int temp10 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuiteCheckRequirementEnabledChecker1)), new ExpectedReturn(S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuiteCheckRequirementEnabledChecker2)));
                    if ((temp10 == 0))
                    {
                        this.Manager.Comment("reaching state \'S51\'");
                        Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp6;
                        this.Manager.Comment("executing step \'call RopSetColumns(1,False,False,False)\'");
                        temp6 = this.IMS_OXCTABLAdapterInstance.RopSetColumns(1u, false, false, false);
                        this.Manager.Checkpoint("MS-OXCTABL_R831");
                        this.Manager.Checkpoint("MS-OXCTABL_R45");
                        this.Manager.Comment("reaching state \'S61\'");
                        this.Manager.Comment("checking step \'return RopSetColumns/success\'");
                        TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp6, "return of RopSetColumns, state S61");
                        this.Manager.Comment("reaching state \'S67\'");
                        Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp7;
                        this.Manager.Comment("executing step \'call RopSeekRowBookmark(True,True,True)\'");
                        temp7 = this.IMS_OXCTABLAdapterInstance.RopSeekRowBookmark(true, true, true);
                        this.Manager.Checkpoint("MS-OXCTABL_R508");
                        this.Manager.Checkpoint("MS-OXCTABL_R909");
                        this.Manager.Checkpoint("MS-OXCTABL_R908");
                        this.Manager.Comment("reaching state \'S73\'");
                        this.Manager.Comment("checking step \'return RopSeekRowBookmark/ecInvalidBookmark\'");
                        TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.ecInvalidBookmark, temp7, "return of RopSeekRowBookmark, state S73");
                        this.Manager.Comment("reaching state \'S77\'");
                        goto label0;
                    }
                    if ((temp10 == 1))
                    {
                        this.Manager.Comment("reaching state \'S52\'");
                        Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp8;
                        this.Manager.Comment("executing step \'call RopSetColumns(1,False,False,False)\'");
                        temp8 = this.IMS_OXCTABLAdapterInstance.RopSetColumns(1u, false, false, false);
                        this.Manager.Checkpoint("MS-OXCTABL_R831");
                        this.Manager.Checkpoint("MS-OXCTABL_R45");
                        this.Manager.Comment("reaching state \'S62\'");
                        this.Manager.Comment("checking step \'return RopSetColumns/success\'");
                        TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp8, "return of RopSetColumns, state S62");
                        this.Manager.Comment("reaching state \'S68\'");
                        Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp9;
                        this.Manager.Comment("executing step \'call RopSeekRowBookmark(True,True,True)\'");
                        temp9 = this.IMS_OXCTABLAdapterInstance.RopSeekRowBookmark(true, true, true);
                        this.Manager.Checkpoint("MS-OXCTABL_R508");
                        this.Manager.Checkpoint("MS-OXCTABL_R908");
                        this.Manager.Comment("reaching state \'S74\'");
                        this.Manager.Comment("checking step \'return RopSeekRowBookmark/ecInvalidBookmark\'");
                        TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.ecInvalidBookmark, temp9, "return of RopSeekRowBookmark, state S74");
                        this.Manager.Comment("reaching state \'S78\'");
                        goto label0;
                    }
                    throw new InvalidOperationException("never reached");
label0:
                    ;
                    goto label2;
                }
                if ((temp17 == 1))
                {
                    this.Manager.Comment("reaching state \'S40\'");
                    bool temp11;
                    this.Manager.Comment("executing step \'call CheckRequirementEnabled(909,out _)\'");
                    this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(909, out temp11);
                    this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp11);
                    this.Manager.Comment("reaching state \'S46\'");
                    int temp16 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuiteCheckRequirementEnabledChecker4)), new ExpectedReturn(S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuiteCheckRequirementEnabledChecker5)));
                    if ((temp16 == 0))
                    {
                        this.Manager.Comment("reaching state \'S53\'");
                        Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp12;
                        this.Manager.Comment("executing step \'call RopSetColumns(1,False,False,False)\'");
                        temp12 = this.IMS_OXCTABLAdapterInstance.RopSetColumns(1u, false, false, false);
                        this.Manager.Checkpoint("MS-OXCTABL_R831");
                        this.Manager.Checkpoint("MS-OXCTABL_R45");
                        this.Manager.Comment("reaching state \'S63\'");
                        this.Manager.Comment("checking step \'return RopSetColumns/success\'");
                        TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp12, "return of RopSetColumns, state S63");
                        this.Manager.Comment("reaching state \'S69\'");
                        Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp13;
                        this.Manager.Comment("executing step \'call RopSeekRowBookmark(True,True,True)\'");
                        temp13 = this.IMS_OXCTABLAdapterInstance.RopSeekRowBookmark(true, true, true);
                        this.Manager.Checkpoint("MS-OXCTABL_R508");
                        this.Manager.Checkpoint("MS-OXCTABL_R909");
                        this.Manager.Checkpoint("MS-OXCTABL_R504");
                        this.Manager.Checkpoint("MS-OXCTABL_R522");
                        this.Manager.Comment("reaching state \'S75\'");
                        this.Manager.Comment("checking step \'return RopSeekRowBookmark/success\'");
                        TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp13, "return of RopSeekRowBookmark, state S75");
                        this.Manager.Comment("reaching state \'S79\'");
                        goto label1;
                    }
                    if ((temp16 == 1))
                    {
                        this.Manager.Comment("reaching state \'S54\'");
                        Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp14;
                        this.Manager.Comment("executing step \'call RopSetColumns(1,False,False,False)\'");
                        temp14 = this.IMS_OXCTABLAdapterInstance.RopSetColumns(1u, false, false, false);
                        this.Manager.Checkpoint("MS-OXCTABL_R831");
                        this.Manager.Checkpoint("MS-OXCTABL_R45");
                        this.Manager.Comment("reaching state \'S64\'");
                        this.Manager.Comment("checking step \'return RopSetColumns/success\'");
                        TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp14, "return of RopSetColumns, state S64");
                        this.Manager.Comment("reaching state \'S70\'");
                        Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp15;
                        this.Manager.Comment("executing step \'call RopSeekRowBookmark(True,True,True)\'");
                        temp15 = this.IMS_OXCTABLAdapterInstance.RopSeekRowBookmark(true, true, true);
                        this.Manager.Checkpoint("MS-OXCTABL_R508");
                        this.Manager.Checkpoint("MS-OXCTABL_R504");
                        this.Manager.Checkpoint("MS-OXCTABL_R522");
                        this.Manager.Comment("reaching state \'S76\'");
                        this.Manager.Comment("checking step \'return RopSeekRowBookmark/success\'");
                        TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp15, "return of RopSeekRowBookmark, state S76");
                        this.Manager.Comment("reaching state \'S80\'");
                        goto label1;
                    }
                    throw new InvalidOperationException("never reached");
label1:
                    ;
                    goto label2;
                }
                throw new InvalidOperationException("never reached");
label2:
                ;
                goto label3;
            }
            throw new InvalidOperationException("never reached");
label3:
            ;
            this.Manager.EndTest();
        }
 private void MSOXCTABL_S05_ResetSortTableRops_ResetTableNotSupported_TestSuite1CheckMAPIHTTPTransportSupportedChecker(bool isSupported)
 {
     this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out True]\'");
     TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S3");
 }
 private void BVT_Test_MaintainSecureChannel_NetrServerPasswordSet2S0GetPlatformChecker1(Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.PlatformType sutPlatform)
 {
     this.Manager.Comment("checking step \'return GetPlatform/[out WindowsServer2008R2]\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.PlatformType>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.PlatformType.WindowsServer2008R2, sutPlatform, "sutPlatform of GetPlatform, state S1");
 }
 private void MSOXCPRPT_S01_GetSpecificTestUnicode_TestSuite3CheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
 {
     this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out False]\'");
     TestManagerHelpers.AssertAreEqual <bool>(this.Manager, false, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S7");
 }
コード例 #18
0
 public void LockAndUnlockTestCaseS2()
 {
     this.Manager.BeginTest("LockAndUnlockTestCaseS2");
     this.Manager.Comment("reaching state \'S2\'");
     this.Manager.Comment("executing step \'call FsaInitial()\'");
     this.IFSAAdapterInstance.FsaInitial();
     this.Manager.Comment("reaching state \'S3\'");
     this.Manager.Comment("checking step \'return FsaInitial\'");
     this.Manager.Comment("reaching state \'S5\'");
     Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SSecurityContext temp4;
     this.Manager.Comment("executing step \'call GetSystemConfig(out _)\'");
     this.IFSAAdapterInstance.GetSystemConfig(out temp4);
     this.Manager.Comment("reaching state \'S7\'");
     this.Manager.Comment("checking step \'return GetSystemConfig/[out SSecurityContext(privilegeSet=SeRestor" +
                          "ePrivilege,isSecurityContextSIDsContainWellKnown=False,isImplementsEncryption=Fa" +
                          "lse)]\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SSecurityContext>(this.Manager, this.Make <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SSecurityContext>(new string[] {
         "privilegeSet",
         "isSecurityContextSIDsContainWellKnown",
         "isImplementsEncryption"
     }, new object[] {
         Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.PrivilegeSet.SeRestorePrivilege,
         false,
         false
     }), temp4, "securityContext of GetSystemConfig, state S7");
     this.Manager.Comment("reaching state \'S9\'");
     Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp5;
     this.Manager.Comment("executing step \'call CreateFile(NORMAL,NON_DIRECTORY_FILE,DATA,GENERIC_WRITE,FILE" +
                          "_SHARE_WRITE,OPEN_IF,StreamIsFound,IsNotSymbolicLink,DataFile,PathNameValid)\'");
     temp5 = this.IFSAAdapterInstance.CreateFile(Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAttribute.NORMAL, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateOptions.NON_DIRECTORY_FILE, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamTypeNameToOPen)(1)), Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAccess.GENERIC_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.ShareAccess.FILE_SHARE_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateDisposition.OPEN_IF, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamFoundType)(0)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SymbolicLinkType)(1)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileType)(0)), Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileNameStatus.PathNameValid);
     this.Manager.Checkpoint("MS-FSA_R405");
     this.Manager.Checkpoint(@"[In Application Requests an Open of a File , Pseudocode for the operation is as follows:
                 Phase 6 -- Location of file:] Pseudocode for this search:For i = 1 to n-1:
                 If Open.GrantedAccess.FILE_TRAVERSE is not set and AccessCheck( SecurityContext, Link.File.SecurityDescriptor, FILE_TRAVERSE ) 
                 returns FALSE, the operation is not  failed with STATUS_ACCESS_DENIED in Windows.");
     this.Manager.Checkpoint("MS-FSA_R475");
     this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n        " +
                             "        The object store MUST return:CreateAction set to FILE_CREATED.");
     this.Manager.Checkpoint("MS-FSA_R474");
     this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n        " +
                             "        The object store MUST return :Status set to STATUS_SUCCESS.");
     this.Manager.Comment("reaching state \'S11\'");
     this.Manager.Comment("checking step \'return CreateFile/SUCCESS\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus)(0)), temp5, "return of CreateFile, state S11");
     this.Manager.Comment("reaching state \'S13\'");
     Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp6;
     this.Manager.Comment("executing step \'call ByteRangeLock(3,7,True,True,False)\'");
     temp6 = this.IFSAAdapterInstance.ByteRangeLock(3, 7, true, true, false);
     this.Manager.Checkpoint("MS-FSA_R903");
     this.Manager.Checkpoint("[In Server Requests a Byte-Range Lock]On completion, the object store MUST return" +
                             ":Status:\r\n                An NTSTATUS code that specifies the result.");
     this.Manager.Checkpoint("MS-FSA_R919");
     this.Manager.Checkpoint("[In Server Requests a Byte-Range Lock,,Pseudocode for the operation is as follows" +
                             ":\r\n                if the operation succeeds]Complete this operation with STATUS" +
                             "_SUCCESS.");
     this.Manager.Comment("reaching state \'S15\'");
     this.Manager.Comment("checking step \'return ByteRangeLock/SUCCESS\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus)(0)), temp6, "return of ByteRangeLock, state S15");
     this.Manager.Comment("reaching state \'S17\'");
     Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp7;
     this.Manager.Comment("executing step \'call ByteRangeLock(5,8,True,True,False)\'");
     temp7 = this.IFSAAdapterInstance.ByteRangeLock(5, 8, true, true, false);
     this.Manager.Checkpoint(@"[2.1.5.7 Server Requests a Byte-Range Lock, Pseudocode for the operation is as follows:]
                 The object store MUST check for byte range lock conflicts by using the algorithm described in section 2.1.4.10, 
                 with ByteOffset set to FileOffset, Length set to Length, IsExclusive set to ExclusiveLock, LockIntent set to TRUE, and Open set to Open. 
                 If a conflict is detected, then:
                     If a conflict is detected, then:If FailImmediately is TRUE, the operation MUST be failed with STATUS_LOCK_NOT_GRANTED.");
     this.Manager.Comment("reaching state \'S19\'");
     this.Manager.Comment("checking step \'return ByteRangeLock/LOCK_NOT_GRANTED\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus.LOCK_NOT_GRANTED, temp7, "return of ByteRangeLock, state S19");
     this.Manager.Comment("reaching state \'S21\'");
     Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp8;
     this.Manager.Comment("executing step \'call ByteRangeUnlock()\'");
     temp8 = this.IFSAAdapterInstance.ByteRangeUnlock();
     this.Manager.Checkpoint("MS-FSA_R1248");
     this.Manager.Checkpoint("[In Server Requests an Unlock of a Byte-Range]On completion, the object store MUS" +
                             "T return:[Status].");
     this.Manager.Checkpoint("MS-FSA_R943");
     this.Manager.Checkpoint("[In Server Requests an Unlock of a Byte-Range,Pseudocode for the operation is as " +
                             "follows:\r\n                    else If LockToRemove is NULL:]Complete this operat" +
                             "ion with STATUS_RANGE_NOT_LOCKED.");
     this.Manager.Comment("reaching state \'S22\'");
     this.Manager.Comment("checking step \'return ByteRangeUnlock/RANGE_NOT_LOCKED\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus.RANGE_NOT_LOCKED, temp8, "return of ByteRangeUnlock, state S22");
     this.Manager.Comment("reaching state \'S23\'");
     this.Manager.EndTest();
 }
コード例 #19
0
 private void NoSignRequirementCoverage_UnicodeNotUseTraditional_Win7_Win2K8R2S0SmbConnectionResponseChecker(Microsoft.Protocol.TestSuites.Smb.Platform clientPlatform, Microsoft.Protocol.TestSuites.Smb.Platform sutPlatform)
 {
     this.Manager.Comment("checking step \'event SmbConnectionResponse(Win7,Win2K8R2)\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocol.TestSuites.Smb.Platform>(this.Manager, Microsoft.Protocol.TestSuites.Smb.Platform.Win7, clientPlatform, "clientPlatform of SmbConnectionResponse, state S2");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocol.TestSuites.Smb.Platform>(this.Manager, Microsoft.Protocol.TestSuites.Smb.Platform.Win2K8R2, sutPlatform, "sutPlatform of SmbConnectionResponse, state S2");
 }
コード例 #20
0
 public void LockAndUnlockTestCaseS0()
 {
     this.Manager.BeginTest("LockAndUnlockTestCaseS0");
     this.Manager.Comment("reaching state \'S0\'");
     this.Manager.Comment("executing step \'call FsaInitial()\'");
     this.IFSAAdapterInstance.FsaInitial();
     this.Manager.Comment("reaching state \'S1\'");
     this.Manager.Comment("checking step \'return FsaInitial\'");
     this.Manager.Comment("reaching state \'S4\'");
     Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SSecurityContext temp0;
     this.Manager.Comment("executing step \'call GetSystemConfig(out _)\'");
     this.IFSAAdapterInstance.GetSystemConfig(out temp0);
     this.Manager.Comment("reaching state \'S6\'");
     this.Manager.Comment("checking step \'return GetSystemConfig/[out SSecurityContext(privilegeSet=SeRestor" +
                          "ePrivilege,isSecurityContextSIDsContainWellKnown=False,isImplementsEncryption=Fa" +
                          "lse)]\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SSecurityContext>(this.Manager, this.Make <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SSecurityContext>(new string[] {
         "privilegeSet",
         "isSecurityContextSIDsContainWellKnown",
         "isImplementsEncryption"
     }, new object[] {
         Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.PrivilegeSet.SeRestorePrivilege,
         false,
         false
     }), temp0, "securityContext of GetSystemConfig, state S6");
     this.Manager.Comment("reaching state \'S8\'");
     Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp1;
     this.Manager.Comment("executing step \'call CreateFile(NORMAL,DIRECTORY_FILE,INDEX_ALLOCATION,GENERIC_WR" +
                          "ITE,FILE_SHARE_WRITE,OPEN_IF,StreamIsFound,IsNotSymbolicLink,DirectoryFile,PathN" +
                          "ameValid)\'");
     temp1 = this.IFSAAdapterInstance.CreateFile(Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAttribute.NORMAL, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateOptions)(1)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamTypeNameToOPen)(0)), Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAccess.GENERIC_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.ShareAccess.FILE_SHARE_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateDisposition.OPEN_IF, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamFoundType)(0)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SymbolicLinkType)(1)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileType)(1)), Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileNameStatus.PathNameValid);
     this.Manager.Checkpoint("MS-FSA_R405");
     this.Manager.Checkpoint(@"[In Application Requests an Open of a File , Pseudocode for the operation is as follows:
                 Phase 6 -- Location of file:] Pseudocode for this search:For i = 1 to n-1:
                 If Open.GrantedAccess.FILE_TRAVERSE is not set and AccessCheck( SecurityContext, Link.File.SecurityDescriptor, FILE_TRAVERSE ) 
                 returns FALSE, the operation is not  failed with STATUS_ACCESS_DENIED in Windows.");
     this.Manager.Checkpoint("MS-FSA_R475");
     this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n        " +
                             "        The object store MUST return:CreateAction set to FILE_CREATED.");
     this.Manager.Checkpoint("MS-FSA_R474");
     this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n        " +
                             "        The object store MUST return :Status set to STATUS_SUCCESS.");
     this.Manager.Comment("reaching state \'S10\'");
     this.Manager.Comment("checking step \'return CreateFile/SUCCESS\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus)(0)), temp1, "return of CreateFile, state S10");
     this.Manager.Comment("reaching state \'S12\'");
     Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp2;
     this.Manager.Comment("executing step \'call ByteRangeLock(3,5,True,True,False)\'");
     temp2 = this.IFSAAdapterInstance.ByteRangeLock(3, 5, true, true, false);
     this.Manager.Checkpoint("MS-FSA_R904");
     this.Manager.Checkpoint("[In Server Requests a Byte-Range Lock]Pseudocode for the operation is as follows:" +
                             "\r\n                    If Open.Stream.StreamType is DirectoryStream, return STATU" +
                             "S_INVALID_PARAMETER, as byte range locks are not permitted on directories.");
     this.Manager.Comment("reaching state \'S14\'");
     this.Manager.Comment("checking step \'return ByteRangeLock/INVALID_PARAMETER\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus.INVALID_PARAMETER, temp2, "return of ByteRangeLock, state S14");
     this.Manager.Comment("reaching state \'S16\'");
     Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp3;
     this.Manager.Comment("executing step \'call ByteRangeUnlock()\'");
     temp3 = this.IFSAAdapterInstance.ByteRangeUnlock();
     this.Manager.Comment("reaching state \'S18\'");
     this.Manager.Comment("checking step \'return ByteRangeUnlock/INVALID_PARAMETER\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus.INVALID_PARAMETER, temp3, "return of ByteRangeUnlock, state S18");
     this.Manager.Comment("reaching state \'S20\'");
     this.Manager.EndTest();
 }
コード例 #21
0
 private void TestScenarioExtendedControlsSearch3Win2K8R2S0SearchOpResponseChecker1(SearchResp response)
 {
     this.Manager.Comment("checking step \'event SearchOpResponse(retrievalSuccessful)\'");
     TestManagerHelpers.AssertAreEqual <SearchResp>(this.Manager, ((SearchResp)(0)), response, "response of SearchOpResponse, state S12");
 }
コード例 #22
0
 private void BVT_Test_EstablishSecureChannel_NetrServerAuthenticate2S2GetPlatformChecker1(Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.PlatformType sutPlatform)
 {
     this.Manager.Comment("checking step \'return GetPlatform/[out NonWindows]\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.PlatformType>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.PlatformType.NonWindows, sutPlatform, "sutPlatform of GetPlatform, state S3");
 }
コード例 #23
0
        public void Security_TCTDOOperation_Scenario4_2K8R2S0()
        {
            this.Manager.BeginTest("TCTDOOperation_Scenario4_2K8R2S0");
            this.Manager.Comment("reaching state \'S0\'");
            this.Manager.Comment("executing step \'call InitializeOSVersion(Windows2008R2,HIGHER_DS_BEHAVIOR_WIN2003" +
                                 ")\'");
            this.IMS_ADTS_TDOAdapterInstance.InitializeOSVersion(Common.ServerVersion.Win2008R2, ProtocolMessageStructures.ForestFunctionalLevel.HIGHER_DS_BEHAVIOR_WIN2003);
            this.Manager.Comment("reaching state \'S1\'");
            this.Manager.Comment("checking step \'return InitializeOSVersion\'");
            this.Manager.Comment("reaching state \'S2\'");
            bool temp0;

            this.Manager.Comment("executing step \'call SetInformationTDO(\"TrustObject1\",TRUSTED_DOMAIN_OBJECT(FlatN" +
                                 "ame=\"TDO1\",TrustPartner=\"Domain1\",TrustAttr=NotSet,TrustDir=TRUST_DIRECTION_DISA" +
                                 "BLED,TrustDomain_Sid=\"SID1\",TrustType=TRUST_TYPE_MIT,EncryptionType=NotSet))\'");
            temp0 = this.IMS_ADTS_TDOAdapterInstance.SetInformationTDO("TrustObject1", this.Make <ProtocolMessageStructures.TRUSTED_DOMAIN_OBJECT>(new string[] {
                "FlatName",
                "TrustPartner",
                "TrustAttr",
                "TrustDir",
                "TrustDomain_Sid",
                "TrustType",
                "EncryptionType"
            }, new object[] {
                "TDO1",
                "Domain1",
                ProtocolMessageStructures.TrustAttributesEnum.NotSet,
                ProtocolMessageStructures.TrustDirectionEnum.TRUST_DIRECTION_DISABLED,
                "SID1",
                ProtocolMessageStructures.TrustTypeEnum.TRUST_TYPE_MIT,
                ProtocolMessageStructures.SupportedEncryptionTypes.NotSet
            }));
            this.Manager.Checkpoint("MS-ADTS-Security_R10626");
            this.Manager.Checkpoint("MS-ADTS-Security_R600");
            this.Manager.Comment("reaching state \'S3\'");
            this.Manager.Comment("checking step \'return SetInformationTDO/True\'");
            TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, temp0, "return of SetInformationTDO, state S3");
            this.Manager.Comment("reaching state \'S4\'");
            bool temp1;

            this.Manager.Comment("executing step \'call SetInformationTDO(\"TrustObject2\",TRUSTED_DOMAIN_OBJECT(FlatN" +
                                 "ame=\"TDO2\",TrustPartner=\"Domain2\",TrustAttr=NotSet,TrustDir=TRUST_DIRECTION_DISA" +
                                 "BLED,TrustDomain_Sid=\"SID1\",TrustType=TRUST_TYPE_MIT,EncryptionType=NotSet))\'");
            temp1 = this.IMS_ADTS_TDOAdapterInstance.SetInformationTDO("TrustObject2", this.Make <ProtocolMessageStructures.TRUSTED_DOMAIN_OBJECT>(new string[] {
                "FlatName",
                "TrustPartner",
                "TrustAttr",
                "TrustDir",
                "TrustDomain_Sid",
                "TrustType",
                "EncryptionType"
            }, new object[] {
                "TDO2",
                "Domain2",
                ProtocolMessageStructures.TrustAttributesEnum.NotSet,
                ProtocolMessageStructures.TrustDirectionEnum.TRUST_DIRECTION_DISABLED,
                "SID1",
                ProtocolMessageStructures.TrustTypeEnum.TRUST_TYPE_MIT,
                ProtocolMessageStructures.SupportedEncryptionTypes.NotSet
            }));
            this.Manager.Checkpoint("MS-ADTS-Security_R627");
            this.Manager.Comment("reaching state \'S5\'");
            this.Manager.Comment("checking step \'return SetInformationTDO/False\'");
            TestManagerHelpers.AssertAreEqual <bool>(this.Manager, false, temp1, "return of SetInformationTDO, state S5");
            this.Manager.Comment("reaching state \'S6\'");
            this.Manager.Comment("executing step \'call DeleteTDO()\'");
            this.IMS_ADTS_TDOAdapterInstance.DeleteTDO();
            this.Manager.Comment("reaching state \'S7\'");
            this.Manager.Comment("checking step \'return DeleteTDO\'");
            this.Manager.Comment("reaching state \'S8\'");
            this.Manager.EndTest();
        }
コード例 #24
0
        public void NRPC_BVT_Test_EstablishSecureChannel_NetrServerAuthenticate2S0()
        {
            this.Manager.BeginTest("BVT_Test_EstablishSecureChannel_NetrServerAuthenticate2S0");
            this.Manager.Comment("reaching state \'S0\'");
            Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.PlatformType temp0;
            this.Manager.Comment("executing step \'call GetPlatform(out _)\'");
            this.INrpcServerAdapterInstance.GetPlatform(out temp0);
            this.Manager.AddReturn(GetPlatformInfo, null, temp0);
            this.Manager.Comment("reaching state \'S1\'");
            int temp5 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(BVT_Test_EstablishSecureChannel_NetrServerAuthenticate2.GetPlatformInfo, null, new GetPlatformDelegate1(this.BVT_Test_EstablishSecureChannel_NetrServerAuthenticate2S0GetPlatformChecker)), new ExpectedReturn(BVT_Test_EstablishSecureChannel_NetrServerAuthenticate2.GetPlatformInfo, null, new GetPlatformDelegate1(this.BVT_Test_EstablishSecureChannel_NetrServerAuthenticate2S0GetPlatformChecker1)));

            if ((temp5 == 0))
            {
                this.Manager.Comment("reaching state \'S4\'");
                this.Manager.Comment("executing step \'call ConfigServer(False,False)\'");
                this.INrpcServerSutControlAdapterInstance.ConfigServer(false, false);
                this.Manager.Comment("reaching state \'S8\'");
                this.Manager.Comment("checking step \'return ConfigServer\'");
                this.Manager.Comment("reaching state \'S12\'");
                Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT temp1;
                this.Manager.Comment("executing step \'call NetrServerReqChallenge(PrimaryDc,Client)\'");
                temp1 = this.INrpcServerAdapterInstance.NetrServerReqChallenge(Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.ComputerType.PrimaryDc, Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.ComputerType.Client);
                this.Manager.Checkpoint("MS-NRPC_R103340");
                this.Manager.Comment("reaching state \'S16\'");
                this.Manager.Comment("checking step \'return NetrServerReqChallenge/ERROR_SUCCESS\'");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT)(0)), temp1, "return of NetrServerReqChallenge, state S16");
                this.Manager.Comment("reaching state \'S20\'");
                Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT temp2;
                this.Manager.Comment("executing step \'call NetrServerAuthenticate2(PrimaryDc,DomainMemberComputerAccoun" +
                                     "t,WorkstationSecureChannel,Client,True,16384)\'");
                temp2 = this.INrpcServerAdapterInstance.NetrServerAuthenticate2(Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.ComputerType.PrimaryDc, Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.AccounterNameType.DomainMemberComputerAccount, Microsoft.Protocols.TestTools.StackSdk.Security.Nrpc._NETLOGON_SECURE_CHANNEL_TYPE.WorkstationSecureChannel, Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.ComputerType.Client, true, 16384u);
                this.Manager.Checkpoint("MS-NRPC_R103478");
                this.Manager.Comment("reaching state \'S24\'");
                this.Manager.Comment("checking step \'return NetrServerAuthenticate2/ERROR_SUCCESS\'");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT)(0)), temp2, "return of NetrServerAuthenticate2, state S24");
                this.Manager.Comment("reaching state \'S28\'");
                goto label0;
            }
            if ((temp5 == 1))
            {
                this.Manager.Comment("reaching state \'S5\'");
                this.Manager.Comment("executing step \'call ConfigServer(False,False)\'");
                this.INrpcServerSutControlAdapterInstance.ConfigServer(false, false);
                this.Manager.Comment("reaching state \'S9\'");
                this.Manager.Comment("checking step \'return ConfigServer\'");
                this.Manager.Comment("reaching state \'S13\'");
                Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT temp3;
                this.Manager.Comment("executing step \'call NetrServerReqChallenge(PrimaryDc,Client)\'");
                temp3 = this.INrpcServerAdapterInstance.NetrServerReqChallenge(Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.ComputerType.PrimaryDc, Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.ComputerType.Client);
                this.Manager.Checkpoint("MS-NRPC_R103340");
                this.Manager.Comment("reaching state \'S17\'");
                this.Manager.Comment("checking step \'return NetrServerReqChallenge/ERROR_SUCCESS\'");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT)(0)), temp3, "return of NetrServerReqChallenge, state S17");
                this.Manager.Comment("reaching state \'S21\'");
                Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT temp4;
                this.Manager.Comment("executing step \'call NetrServerAuthenticate2(PrimaryDc,DomainMemberComputerAccoun" +
                                     "t,WorkstationSecureChannel,Client,True,16384)\'");
                temp4 = this.INrpcServerAdapterInstance.NetrServerAuthenticate2(Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.ComputerType.PrimaryDc, Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.AccounterNameType.DomainMemberComputerAccount, Microsoft.Protocols.TestTools.StackSdk.Security.Nrpc._NETLOGON_SECURE_CHANNEL_TYPE.WorkstationSecureChannel, Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.ComputerType.Client, true, 16384u);
                this.Manager.Checkpoint("MS-NRPC_R103478");
                this.Manager.Comment("reaching state \'S25\'");
                this.Manager.Comment("checking step \'return NetrServerAuthenticate2/ERROR_SUCCESS\'");
                TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Nrpc.HRESULT)(0)), temp4, "return of NetrServerAuthenticate2, state S25");
                this.Manager.Comment("reaching state \'S29\'");
                goto label0;
            }
            throw new InvalidOperationException("never reached");
label0:
            ;
            this.Manager.EndTest();
        }
 private void MSOXCTABL_S07_AsyncRops_SortTableAsynchronous_TestSuiteCheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
 {
     this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out True]\'");
     TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S1");
 }
コード例 #26
0
 private void TestScenarioS27S0CloseChecker(Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle handleAfterClose, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus @return)
 {
     this.Manager.Comment("checking step \'return Close/[out Null]:Success\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle.Null, handleAfterClose, "handleAfterClose of Close, state S76");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus)(0)), @return, "return of Close, state S76");
 }
        public virtual void NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0()
        {
            this.Manager.BeginTest("NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0");
            this.Manager.Comment("reaching state \'S0\'");
            this.Manager.Comment("executing step \'call SmbConnectionRequest()\'");
            this.ISmbAdapterInstance.SmbConnectionRequest();
            this.Manager.Comment("reaching state \'S1\'");
            this.Manager.Comment("checking step \'return SmbConnectionRequest\'");
            this.Manager.Comment("reaching state \'S2\'");
            if ((this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.SmbConnectionResponseInfo, null, new SmbConnectionResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0SmbConnectionResponseChecker))) != -1))
            {
                this.Manager.Comment("reaching state \'S3\'");
                this.Manager.Comment("executing step \'call ServerSetup(Fat,Disabled,True,False,False)\'");
                this.IServerSetupAdapterInstance.ServerSetup(((Microsoft.Protocol.TestSuites.Smb.FileSystemType)(1)), ((Microsoft.Protocol.TestSuites.Smb.SignState)(0)), true, false, false);
                this.Manager.Comment("reaching state \'S4\'");
                this.Manager.Comment("checking step \'return ServerSetup\'");
                this.Manager.Comment("reaching state \'S5\'");
                if ((this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.ServerSetupResponseInfo, null, new ServerSetupResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0ServerSetupResponseChecker))) != -1))
                {
                    this.Manager.Comment("reaching state \'S6\'");
                    bool temp0;
                    this.Manager.Comment("executing step \'call CreatePipeAndMailslot({\"Pipe1\"},{\"Mailslot1\"},out _)\'");
                    this.IServerSetupAdapterInstance.CreatePipeAndMailslot(this.Make <Microsoft.Modeling.Set <string> >(new string[] {
                        "Rep"
                    }, new object[] {
                        Microsoft.Xrt.Runtime.RuntimeSupport.UpdateMap <string, Microsoft.Xrt.Runtime.Singleton>(Microsoft.Xrt.Runtime.RuntimeSupport.MakeMap <string, Microsoft.Xrt.Runtime.Singleton>(), "Pipe1", this.Make <Microsoft.Xrt.Runtime.RuntimeMapElement <Microsoft.Xrt.Runtime.Singleton> >(new string[] {
                            "Element"
                        }, new object[] {
                            Microsoft.Xrt.Runtime.Singleton.Single
                        }))
                    }), this.Make <Microsoft.Modeling.Set <string> >(new string[] {
                        "Rep"
                    }, new object[] {
                        Microsoft.Xrt.Runtime.RuntimeSupport.UpdateMap <string, Microsoft.Xrt.Runtime.Singleton>(Microsoft.Xrt.Runtime.RuntimeSupport.MakeMap <string, Microsoft.Xrt.Runtime.Singleton>(), "Mailslot1", this.Make <Microsoft.Xrt.Runtime.RuntimeMapElement <Microsoft.Xrt.Runtime.Singleton> >(new string[] {
                            "Element"
                        }, new object[] {
                            Microsoft.Xrt.Runtime.Singleton.Single
                        }))
                    }), out temp0);
                    this.Manager.Comment("reaching state \'S7\'");
                    this.Manager.Comment("checking step \'return CreatePipeAndMailslot/[out True]\'");
                    TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, temp0, "createPipeStatus of CreatePipeAndMailslot, state S7");
                    this.Manager.Comment("reaching state \'S8\'");
                    this.Manager.Comment("executing step \'call NegotiateRequest(1,False,Disabled,[PcNet1,LanMan10,Wfw10,Lan" +
                                         "Man12,LanMan21,NtLanMan])\'");
                    this.ISmbAdapterInstance.NegotiateRequest(1, false, ((Microsoft.Protocol.TestSuites.Smb.SignState)(0)), this.Make <Microsoft.Modeling.Sequence <Microsoft.Protocol.TestSuites.Smb.Dialect> >(new string[] {
                        "Rep"
                    }, new object[] {
                        this.Make <Microsoft.Xrt.Runtime.RuntimeList <Microsoft.Protocol.TestSuites.Smb.Dialect> >(new string[] {
                            "Head",
                            "Tail"
                        }, new object[] {
                            Microsoft.Protocol.TestSuites.Smb.Dialect.PcNet1,
                            this.Make <Microsoft.Xrt.Runtime.RuntimeList <Microsoft.Protocol.TestSuites.Smb.Dialect> >(new string[] {
                                "Head",
                                "Tail"
                            }, new object[] {
                                Microsoft.Protocol.TestSuites.Smb.Dialect.LanMan10,
                                this.Make <Microsoft.Xrt.Runtime.RuntimeList <Microsoft.Protocol.TestSuites.Smb.Dialect> >(new string[] {
                                    "Head",
                                    "Tail"
                                }, new object[] {
                                    Microsoft.Protocol.TestSuites.Smb.Dialect.Wfw10,
                                    this.Make <Microsoft.Xrt.Runtime.RuntimeList <Microsoft.Protocol.TestSuites.Smb.Dialect> >(new string[] {
                                        "Head",
                                        "Tail"
                                    }, new object[] {
                                        Microsoft.Protocol.TestSuites.Smb.Dialect.LanMan12,
                                        this.Make <Microsoft.Xrt.Runtime.RuntimeList <Microsoft.Protocol.TestSuites.Smb.Dialect> >(new string[] {
                                            "Head",
                                            "Tail"
                                        }, new object[] {
                                            Microsoft.Protocol.TestSuites.Smb.Dialect.LanMan21,
                                            this.Make <Microsoft.Xrt.Runtime.RuntimeList <Microsoft.Protocol.TestSuites.Smb.Dialect> >(new string[] {
                                                "Head",
                                                "Tail"
                                            }, new object[] {
                                                Microsoft.Protocol.TestSuites.Smb.Dialect.NtLanMan,
                                                ((Microsoft.Xrt.Runtime.RuntimeList <Microsoft.Protocol.TestSuites.Smb.Dialect>)(null))
                                            })
                                        })
                                    })
                                })
                            })
                        })
                    }));
                    this.Manager.Comment("reaching state \'S9\'");
                    this.Manager.Comment("checking step \'return NegotiateRequest\'");
                    this.Manager.Comment("reaching state \'S10\'");
                    if ((this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.NonExtendedNegotiateResponseInfo, null, new NonExtendedNegotiateResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0NonExtendedNegotiateResponseChecker))) != -1))
                    {
                        this.Manager.Comment("reaching state \'S11\'");
                        this.Manager.Comment("executing step \'call NonExtendedSessionSetupRequest(Admin,2,0,0,False,{CapNtSmbs}" +
                                             ",False,True,True)\'");
                        this.ISmbAdapterInstance.NonExtendedSessionSetupRequest(((Microsoft.Protocol.TestSuites.Smb.AccountType)(0)), 2, 0, 0, false, this.Make <Microsoft.Modeling.Set <Microsoft.Protocol.TestSuites.Smb.Capabilities> >(new string[] {
                            "Rep"
                        }, new object[] {
                            Microsoft.Xrt.Runtime.RuntimeSupport.UpdateMap <Microsoft.Protocol.TestSuites.Smb.Capabilities, Microsoft.Xrt.Runtime.Singleton>(Microsoft.Xrt.Runtime.RuntimeSupport.MakeMap <Microsoft.Protocol.TestSuites.Smb.Capabilities, Microsoft.Xrt.Runtime.Singleton>(), Microsoft.Protocol.TestSuites.Smb.Capabilities.CapNtSmbs, this.Make <Microsoft.Xrt.Runtime.RuntimeMapElement <Microsoft.Xrt.Runtime.Singleton> >(new string[] {
                                "Element"
                            }, new object[] {
                                Microsoft.Xrt.Runtime.Singleton.Single
                            }))
                        }), false, true, true);
                        this.Manager.Checkpoint("MS-SMB_R8385");
                        this.Manager.Comment("reaching state \'S12\'");
                        this.Manager.Comment("checking step \'return NonExtendedSessionSetupRequest\'");
                        this.Manager.Comment("reaching state \'S13\'");
                        int temp1 = this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.NonExtendedSessionSetupResponseInfo, null, new NonExtendedSessionSetupResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0NonExtendedSessionSetupResponseChecker)), new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.NonExtendedSessionSetupResponseInfo, null, new NonExtendedSessionSetupResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0NonExtendedSessionSetupResponseChecker1)), new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.NonExtendedSessionSetupResponseInfo, null, new NonExtendedSessionSetupResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0NonExtendedSessionSetupResponseChecker2)), new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.NonExtendedSessionSetupResponseInfo, null, new NonExtendedSessionSetupResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0NonExtendedSessionSetupResponseChecker3)));
                        if ((temp1 == 0))
                        {
                            NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S14();
                            goto label0;
                        }
                        if ((temp1 == 1))
                        {
                            NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S14();
                            goto label0;
                        }
                        if ((temp1 == 2))
                        {
                            NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S14();
                            goto label0;
                        }
                        if ((temp1 == 3))
                        {
                            NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S14();
                            goto label0;
                        }
                        this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.NonExtendedSessionSetupResponseInfo, null, new NonExtendedSessionSetupResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0NonExtendedSessionSetupResponseChecker)), new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.NonExtendedSessionSetupResponseInfo, null, new NonExtendedSessionSetupResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0NonExtendedSessionSetupResponseChecker1)), new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.NonExtendedSessionSetupResponseInfo, null, new NonExtendedSessionSetupResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0NonExtendedSessionSetupResponseChecker2)), new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.NonExtendedSessionSetupResponseInfo, null, new NonExtendedSessionSetupResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0NonExtendedSessionSetupResponseChecker3)));
label0:
                        ;
                    }
                    else
                    {
                        this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.NonExtendedNegotiateResponseInfo, null, new NonExtendedNegotiateResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0NonExtendedNegotiateResponseChecker)));
                    }
                }
                else
                {
                    this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.ServerSetupResponseInfo, null, new ServerSetupResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0ServerSetupResponseChecker)));
                }
            }
            else
            {
                this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8.SmbConnectionResponseInfo, null, new SmbConnectionResponseDelegate1(this.NoSignNonExtendRequirementCoverage_Printer_Win7_Win2K8S0SmbConnectionResponseChecker)));
            }
            this.Manager.EndTest();
        }
コード例 #28
0
 private void TestScenarioS27S10EnumeratePrivilegesChecker1(int handleInput, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.enumerateResponse actionResponse)
 {
     this.Manager.Comment("checking step \'event EnumeratePrivileges(1,EnumerateNone)\'");
     TestManagerHelpers.AssertAreEqual <int>(this.Manager, 1, handleInput, "handleInput of EnumeratePrivileges, state S73");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.enumerateResponse>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.enumerateResponse.EnumerateNone, actionResponse, "actionResponse of EnumeratePrivileges, state S73");
 }
コード例 #29
0
 private void TestScenarioS7S2InitializeChecker1(Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ProtocolServerConfig @return)
 {
     this.Manager.Comment("checking step \'return Initialize/NonDomainController\'");
     TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ProtocolServerConfig>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ProtocolServerConfig)(1)), @return, "return of Initialize, state S3");
 }
 private void MSOXCTABL_S03_BookmarkRops_SeekRowBookmarkAfterInvalidBookmark_TestSuite2CheckRequirementEnabledChecker5(bool enabled)
 {
     this.Manager.Comment("checking step \'return CheckRequirementEnabled/[out True]\'");
     TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, enabled, "enabled of CheckRequirementEnabled, state S50");
 }