ulysseskao
2016-05-01 8f5c8891aba521570fa63c4baf616e3a3c8d9526
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
ÿþusing System.IO;
using Microsoft.Pex.Framework.Generated;
using Microsoft.VisualStudio.TestTools.UnitTesting;
using CCSTrace.CCS;
// <copyright file="CcsMainTest.ConstructorTest.g.cs" company="Ximple">Copyright Ximple</copyright>
// <auto-generated>
// This file contains automatically generated tests.
// Do not modify this file manually.
// 
// If the contents of this file becomes outdated, you can delete it.
// For example, if it no longer compiles.
// </auto-generated>
using System;
using System.Diagnostics;
 
namespace CCSTrace.CCS.Tests
{
    public partial class CcsMainTest
    {
        [TestMethod]
        [PexGeneratedBy(typeof(CcsMainTest))]
        [PexRaisedException(typeof(FileNotFoundException))]
        public void ConstructorTestThrowsFileNotFoundException634()
        {
            CcsMain ccsMain;
            ccsMain = this.ConstructorTest();
            Assert.IsNotNull(ccsMain);
            string baseDir = System.AppDomain.CurrentDomain.BaseDirectory;
            string appDataDir = Path.Combine(baseDir, "app_data");
            ccsMain.AppDataPath = appDataDir;
            ccsMain.Startup();
 
            Assert.AreEqual("Data source=NNTPC;User Id=basedb;Password=BASEDB000;", GlobalVariable.ConnectionString);
            Assert.AreEqual("basedb/BASEDB000@NNTPC", GlobalVariable.TraceConnectionString);
            Assert.AreEqual(3, GlobalVariable.MaxConnectionCount);
            Assert.AreEqual(1, GlobalVariable.MinThreadSize);
            Assert.AreEqual(5, GlobalVariable.MaxThreadSize);
            Debug.WriteLine("EosCodeList size=" + GlobalVariable.CcsCodelist.Count);
            Debug.WriteLine("EosCodeList size=" + GlobalVariable.EosCodelist.Count);
            ccsMain.Shutdown();
        }
    }
}