refator code

ulysseskao

2016-05-03 410dc2d04dbecf019129cd8cd65a3be2c62b4d0c

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
45
46
47
ÿþ// <copyright file="Service1Test.cs" company="Ximple">Copyright Ximple</copyright> 
 
using System; 
using CCSTrace; 
using Microsoft.Pex.Framework; 
using Microsoft.Pex.Framework.Validation; 
using Microsoft.VisualStudio.TestTools.UnitTesting; 
 
namespace CCSTrace.Tests 
{ 
    /// <summary>This class contains parameterized unit tests for Service1</summary> 
    [PexClass(typeof(Service1))] 
    [PexAllowedExceptionFromTypeUnderTest(typeof(InvalidOperationException))] 
    [PexAllowedExceptionFromTypeUnderTest(typeof(ArgumentException), AcceptExceptionSubtypes = true)] 
    [TestClass] 
    public partial class Service1Test 
    { 
        /// <summary>Test stub for AcceptCase(String, String, String, String, String, String, String, String, String, String, Int32, String, Int32, String, Int32, String)</summary> 
        [PexMethod] 
        public void AcceptCaseTest( 
            [PexAssumeUnderTest] Service1 target, 
            string ccsid, 
            string meter, 
            string customername, 
            string customertel, 
            string addrCity, 
            string addrTown, 
            string addrRoad, 
            string addrOther, 
            string recallname, 
            string recalltel, 
            int eventbrief, 
            string accepttime, 
            int importcase, 
            string dept, 
            int partHicustomer, 
            string note 
            ) 
        { 
            target.AcceptCase(ccsid, meter, customername, customertel, 
                addrCity, addrTown, addrRoad, addrOther, 
                recallname, recalltel, eventbrief, accepttime, 
                importcase, dept, partHicustomer, note); 
            // TODO: add assertions to method Service1Test.AcceptCaseTest(Service1, String, String, String, String, String, String, String, String, String, String, Int32, String, Int32, String, Int32, String) 
        } 
    } 
}