| //------------------------------------------------------------------------------ | |
| // <auto-generated> | |
| // This code was generated by a tool. | |
| // Runtime Version:4.0.21006.1 | |
| // | |
| // Changes to this file may cause incorrect behavior and will be lost if | |
| // the code is regenerated. | |
| // </auto-generated> | |
| //------------------------------------------------------------------------------ | |
| namespace MBT.TestSuite { | |
| using System; | |
| using System.Collections.Generic; | |
| using System.Text; | |
| using System.Reflection; | |
| using Microsoft.SpecExplorer.Runtime.Testing; | |
| [System.CodeDom.Compiler.GeneratedCodeAttribute("Spec Explorer", "3.0.2167.0")] | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestClassAttribute()] | |
| public partial class Testsuite : VsTestClassBase { | |
| public Testsuite() { | |
| this.SetSwitch("ProceedControlTimeout", "100"); | |
| this.SetSwitch("QuiescenceTimeout", "2000"); | |
| } | |
| #region Test Initialization and Cleanup | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestInitializeAttribute()] | |
| public virtual void TestInitialize() { | |
| this.InitializeTestManager(); | |
| } | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestCleanupAttribute()] | |
| public virtual void TestCleanup() { | |
| this.CleanupTestManager(); | |
| } | |
| #endregion | |
| #region Test Starting in S0 | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestMethodAttribute()] | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestPropertyAttribute("TestID", "0x01afa11b37bc675d097fe4a5530ea6a8c9")] | |
| public virtual void TestsuiteS0() { | |
| this.Manager.BeginTest("TestsuiteS0"); | |
| this.Manager.Comment("reaching state \'S0\'"); | |
| this.Manager.Comment("executing step \'call start()\'"); | |
| MBT.Adapter.Adapter.start(); | |
| this.Manager.Comment("reaching state \'S1\'"); | |
| this.Manager.Comment("checking step \'return start\'"); | |
| this.Manager.Comment("reaching state \'S14\'"); | |
| this.Manager.Comment("executing step \'call Init_Calling()\'"); | |
| MBT.Adapter.Adapter.Init_Calling(); | |
| this.Manager.Comment("reaching state \'S21\'"); | |
| this.Manager.Comment("checking step \'return Init_Calling\'"); | |
| this.Manager.Comment("reaching state \'S28\'"); | |
| this.Manager.Comment("executing step \'call Calling_Ringing()\'"); | |
| MBT.Adapter.Adapter.Calling_Ringing(); | |
| this.Manager.Comment("reaching state \'S35\'"); | |
| this.Manager.Comment("checking step \'return Calling_Ringing\'"); | |
| this.Manager.Comment("reaching state \'S42\'"); | |
| this.Manager.Comment("executing step \'call Ringing_Canceling()\'"); | |
| MBT.Adapter.Adapter.Ringing_Canceling(); | |
| this.Manager.Comment("reaching state \'S49\'"); | |
| this.Manager.Comment("checking step \'return Ringing_Canceling\'"); | |
| this.Manager.Comment("reaching state \'S55\'"); | |
| this.Manager.Comment("executing step \'call Canceling_WaitingResponse()\'"); | |
| MBT.Adapter.Adapter.Canceling_WaitingResponse(); | |
| this.Manager.Comment("reaching state \'S61\'"); | |
| this.Manager.Comment("checking step \'return Canceling_WaitingResponse\'"); | |
| this.Manager.Comment("reaching state \'S67\'"); | |
| this.Manager.Comment("executing step \'call WaitingResponse_Terminate()\'"); | |
| MBT.Adapter.Adapter.WaitingResponse_Terminate(); | |
| this.Manager.Comment("reaching state \'S73\'"); | |
| this.Manager.Comment("checking step \'return WaitingResponse_Terminate\'"); | |
| this.Manager.Comment("reaching state \'S77\'"); | |
| this.Manager.Comment("executing step \'call end()\'"); | |
| MBT.Adapter.Adapter.end(); | |
| this.Manager.Comment("reaching state \'S81\'"); | |
| this.Manager.Comment("checking step \'return end\'"); | |
| this.Manager.Comment("reaching state \'S83\'"); | |
| this.Manager.EndTest(); | |
| } | |
| #endregion | |
| #region Test Starting in S10 | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestMethodAttribute()] | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestPropertyAttribute("TestID", "0x017ff0fce7268e7de05fa2a0fba546b497")] | |
| public virtual void TestsuiteS10() { | |
| this.Manager.BeginTest("TestsuiteS10"); | |
| this.Manager.Comment("reaching state \'S10\'"); | |
| this.Manager.Comment("executing step \'call start()\'"); | |
| MBT.Adapter.Adapter.start(); | |
| this.Manager.Comment("reaching state \'S11\'"); | |
| this.Manager.Comment("checking step \'return start\'"); | |
| this.Manager.Comment("reaching state \'S19\'"); | |
| this.Manager.Comment("executing step \'call Init_Calling()\'"); | |
| MBT.Adapter.Adapter.Init_Calling(); | |
| this.Manager.Comment("reaching state \'S26\'"); | |
| this.Manager.Comment("checking step \'return Init_Calling\'"); | |
| this.Manager.Comment("reaching state \'S33\'"); | |
| this.Manager.Comment("executing step \'call Calling_Ringing()\'"); | |
| MBT.Adapter.Adapter.Calling_Ringing(); | |
| this.Manager.Comment("reaching state \'S40\'"); | |
| this.Manager.Comment("checking step \'return Calling_Ringing\'"); | |
| this.Manager.Comment("reaching state \'S47\'"); | |
| this.Manager.Comment("executing step \'call Canceling_Timeout()\'"); | |
| MBT.Adapter.Adapter.Canceling_Timeout(); | |
| this.Manager.Comment("reaching state \'S54\'"); | |
| this.Manager.Comment("checking step \'return Canceling_Timeout\'"); | |
| this.Manager.Comment("reaching state \'S60\'"); | |
| this.Manager.Comment("executing step \'call end()\'"); | |
| MBT.Adapter.Adapter.end(); | |
| this.Manager.Comment("reaching state \'S66\'"); | |
| this.Manager.Comment("checking step \'return end\'"); | |
| this.Manager.Comment("reaching state \'S72\'"); | |
| this.Manager.EndTest(); | |
| } | |
| #endregion | |
| #region Test Starting in S12 | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestMethodAttribute()] | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestPropertyAttribute("TestID", "0x016815222e0a5f5da29344dcbed7345e1f")] | |
| public virtual void TestsuiteS12() { | |
| this.Manager.BeginTest("TestsuiteS12"); | |
| this.Manager.Comment("reaching state \'S12\'"); | |
| this.Manager.Comment("executing step \'call start()\'"); | |
| MBT.Adapter.Adapter.start(); | |
| this.Manager.Comment("reaching state \'S13\'"); | |
| this.Manager.Comment("checking step \'return start\'"); | |
| this.Manager.Comment("reaching state \'S20\'"); | |
| this.Manager.Comment("executing step \'call Calling_Timeout()\'"); | |
| MBT.Adapter.Adapter.Calling_Timeout(); | |
| this.Manager.Comment("reaching state \'S27\'"); | |
| this.Manager.Comment("checking step \'return Calling_Timeout\'"); | |
| this.Manager.Comment("reaching state \'S34\'"); | |
| this.Manager.Comment("executing step \'call end()\'"); | |
| MBT.Adapter.Adapter.end(); | |
| this.Manager.Comment("reaching state \'S41\'"); | |
| this.Manager.Comment("checking step \'return end\'"); | |
| this.Manager.Comment("reaching state \'S48\'"); | |
| this.Manager.EndTest(); | |
| } | |
| #endregion | |
| #region Test Starting in S2 | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestMethodAttribute()] | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestPropertyAttribute("TestID", "0x01d417f2842cdb81a2e516c5142757acd4")] | |
| public virtual void TestsuiteS2() { | |
| this.Manager.BeginTest("TestsuiteS2"); | |
| this.Manager.Comment("reaching state \'S2\'"); | |
| this.Manager.Comment("executing step \'call start()\'"); | |
| MBT.Adapter.Adapter.start(); | |
| this.Manager.Comment("reaching state \'S3\'"); | |
| this.Manager.Comment("checking step \'return start\'"); | |
| this.Manager.Comment("reaching state \'S15\'"); | |
| this.Manager.Comment("executing step \'call Init_Calling()\'"); | |
| MBT.Adapter.Adapter.Init_Calling(); | |
| this.Manager.Comment("reaching state \'S22\'"); | |
| this.Manager.Comment("checking step \'return Init_Calling\'"); | |
| this.Manager.Comment("reaching state \'S29\'"); | |
| this.Manager.Comment("executing step \'call Calling_Ringing()\'"); | |
| MBT.Adapter.Adapter.Calling_Ringing(); | |
| this.Manager.Comment("reaching state \'S36\'"); | |
| this.Manager.Comment("checking step \'return Calling_Ringing\'"); | |
| this.Manager.Comment("reaching state \'S43\'"); | |
| this.Manager.Comment("executing step \'call Ringing_Ready()\'"); | |
| MBT.Adapter.Adapter.Ringing_Ready(); | |
| this.Manager.Comment("reaching state \'S50\'"); | |
| this.Manager.Comment("checking step \'return Ringing_Ready\'"); | |
| this.Manager.Comment("reaching state \'S56\'"); | |
| this.Manager.Comment("executing step \'call Ready_Terminating()\'"); | |
| MBT.Adapter.Adapter.Ready_Terminating(); | |
| this.Manager.Comment("reaching state \'S62\'"); | |
| this.Manager.Comment("checking step \'return Ready_Terminating\'"); | |
| this.Manager.Comment("reaching state \'S68\'"); | |
| this.Manager.Comment("executing step \'call Terminating_OK()\'"); | |
| MBT.Adapter.Adapter.Terminating_OK(); | |
| this.Manager.Comment("reaching state \'S74\'"); | |
| this.Manager.Comment("checking step \'return Terminating_OK\'"); | |
| this.Manager.Comment("reaching state \'S78\'"); | |
| this.Manager.Comment("executing step \'call end()\'"); | |
| MBT.Adapter.Adapter.end(); | |
| this.Manager.Comment("reaching state \'S82\'"); | |
| this.Manager.Comment("checking step \'return end\'"); | |
| this.Manager.Comment("reaching state \'S84\'"); | |
| this.Manager.EndTest(); | |
| } | |
| #endregion | |
| #region Test Starting in S4 | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestMethodAttribute()] | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestPropertyAttribute("TestID", "0x01a1fff5e0b6582382edb5a5cc5393de78")] | |
| public virtual void TestsuiteS4() { | |
| this.Manager.BeginTest("TestsuiteS4"); | |
| this.Manager.Comment("reaching state \'S4\'"); | |
| this.Manager.Comment("executing step \'call start()\'"); | |
| MBT.Adapter.Adapter.start(); | |
| this.Manager.Comment("reaching state \'S5\'"); | |
| this.Manager.Comment("checking step \'return start\'"); | |
| this.Manager.Comment("reaching state \'S16\'"); | |
| this.Manager.Comment("executing step \'call Init_Calling()\'"); | |
| MBT.Adapter.Adapter.Init_Calling(); | |
| this.Manager.Comment("reaching state \'S23\'"); | |
| this.Manager.Comment("checking step \'return Init_Calling\'"); | |
| this.Manager.Comment("reaching state \'S30\'"); | |
| this.Manager.Comment("executing step \'call Calling_Ringing()\'"); | |
| MBT.Adapter.Adapter.Calling_Ringing(); | |
| this.Manager.Comment("reaching state \'S37\'"); | |
| this.Manager.Comment("checking step \'return Calling_Ringing\'"); | |
| this.Manager.Comment("reaching state \'S44\'"); | |
| this.Manager.Comment("executing step \'call Ringing_Ready()\'"); | |
| MBT.Adapter.Adapter.Ringing_Ready(); | |
| this.Manager.Comment("reaching state \'S51\'"); | |
| this.Manager.Comment("checking step \'return Ringing_Ready\'"); | |
| this.Manager.Comment("reaching state \'S57\'"); | |
| this.Manager.Comment("executing step \'call Ready_End()\'"); | |
| MBT.Adapter.Adapter.Ready_End(); | |
| this.Manager.Comment("reaching state \'S63\'"); | |
| this.Manager.Comment("checking step \'return Ready_End\'"); | |
| this.Manager.Comment("reaching state \'S69\'"); | |
| this.Manager.Comment("executing step \'call end()\'"); | |
| MBT.Adapter.Adapter.end(); | |
| this.Manager.Comment("reaching state \'S75\'"); | |
| this.Manager.Comment("checking step \'return end\'"); | |
| this.Manager.Comment("reaching state \'S79\'"); | |
| this.Manager.EndTest(); | |
| } | |
| #endregion | |
| #region Test Starting in S6 | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestMethodAttribute()] | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestPropertyAttribute("TestID", "0x01d513f2fed3847551573ca8967f84031f")] | |
| public virtual void TestsuiteS6() { | |
| this.Manager.BeginTest("TestsuiteS6"); | |
| this.Manager.Comment("reaching state \'S6\'"); | |
| this.Manager.Comment("executing step \'call start()\'"); | |
| MBT.Adapter.Adapter.start(); | |
| this.Manager.Comment("reaching state \'S7\'"); | |
| this.Manager.Comment("checking step \'return start\'"); | |
| this.Manager.Comment("reaching state \'S17\'"); | |
| this.Manager.Comment("executing step \'call Init_Calling()\'"); | |
| MBT.Adapter.Adapter.Init_Calling(); | |
| this.Manager.Comment("reaching state \'S24\'"); | |
| this.Manager.Comment("checking step \'return Init_Calling\'"); | |
| this.Manager.Comment("reaching state \'S31\'"); | |
| this.Manager.Comment("executing step \'call Calling_Ringing()\'"); | |
| MBT.Adapter.Adapter.Calling_Ringing(); | |
| this.Manager.Comment("reaching state \'S38\'"); | |
| this.Manager.Comment("checking step \'return Calling_Ringing\'"); | |
| this.Manager.Comment("reaching state \'S45\'"); | |
| this.Manager.Comment("executing step \'call Ringing_Ready()\'"); | |
| MBT.Adapter.Adapter.Ringing_Ready(); | |
| this.Manager.Comment("reaching state \'S52\'"); | |
| this.Manager.Comment("checking step \'return Ringing_Ready\'"); | |
| this.Manager.Comment("reaching state \'S58\'"); | |
| this.Manager.Comment("executing step \'call Terminating_Timeout()\'"); | |
| MBT.Adapter.Adapter.Terminating_Timeout(); | |
| this.Manager.Comment("reaching state \'S64\'"); | |
| this.Manager.Comment("checking step \'return Terminating_Timeout\'"); | |
| this.Manager.Comment("reaching state \'S70\'"); | |
| this.Manager.Comment("executing step \'call end()\'"); | |
| MBT.Adapter.Adapter.end(); | |
| this.Manager.Comment("reaching state \'S76\'"); | |
| this.Manager.Comment("checking step \'return end\'"); | |
| this.Manager.Comment("reaching state \'S80\'"); | |
| this.Manager.EndTest(); | |
| } | |
| #endregion | |
| #region Test Starting in S8 | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestMethodAttribute()] | |
| [Microsoft.VisualStudio.TestTools.UnitTesting.TestPropertyAttribute("TestID", "0x01be85886e5b722402381661d4ae68e15b")] | |
| public virtual void TestsuiteS8() { | |
| this.Manager.BeginTest("TestsuiteS8"); | |
| this.Manager.Comment("reaching state \'S8\'"); | |
| this.Manager.Comment("executing step \'call start()\'"); | |
| MBT.Adapter.Adapter.start(); | |
| this.Manager.Comment("reaching state \'S9\'"); | |
| this.Manager.Comment("checking step \'return start\'"); | |
| this.Manager.Comment("reaching state \'S18\'"); | |
| this.Manager.Comment("executing step \'call Init_Calling()\'"); | |
| MBT.Adapter.Adapter.Init_Calling(); | |
| this.Manager.Comment("reaching state \'S25\'"); | |
| this.Manager.Comment("checking step \'return Init_Calling\'"); | |
| this.Manager.Comment("reaching state \'S32\'"); | |
| this.Manager.Comment("executing step \'call Calling_Ringing()\'"); | |
| MBT.Adapter.Adapter.Calling_Ringing(); | |
| this.Manager.Comment("reaching state \'S39\'"); | |
| this.Manager.Comment("checking step \'return Calling_Ringing\'"); | |
| this.Manager.Comment("reaching state \'S46\'"); | |
| this.Manager.Comment("executing step \'call Ringing_Reject()\'"); | |
| MBT.Adapter.Adapter.Ringing_Reject(); | |
| this.Manager.Comment("reaching state \'S53\'"); | |
| this.Manager.Comment("checking step \'return Ringing_Reject\'"); | |
| this.Manager.Comment("reaching state \'S59\'"); | |
| this.Manager.Comment("executing step \'call end()\'"); | |
| MBT.Adapter.Adapter.end(); | |
| this.Manager.Comment("reaching state \'S65\'"); | |
| this.Manager.Comment("checking step \'return end\'"); | |
| this.Manager.Comment("reaching state \'S71\'"); | |
| this.Manager.EndTest(); | |
| } | |
| #endregion | |
| } | |
| } |