| --- Dynamic Analysis --- |
| Sample001.exe [成功=31 失敗=10 途中終了=0 / テスト済み=41 / 合計=41] [IL=100 SRC=100 (%)] |
| Sample001 [成功=31 失敗=10 途中終了=0 / テスト済み=41 / 合計=41] [IL=100 SRC=100 (%)] |
| Module1 [成功=31 失敗=10 途中終了=0 / テスト済み=41 / 合計=41] [IL=100 SRC=100 (%)] |
| Int32 Add(Int32, Int32) [成功=9 失敗=1 途中終了=0 / テスト済み=10 / 合計=10] [IL=100 SRC=100 (%)] |
| Add.0.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=-1,1 |
| [Return ] 0 |
| [Post-conditions] args=-1,1 |
| [Status ] pass |
| Add.1.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=-1,0 |
| [Return ] -1 |
| [Post-conditions] args=-1,0 |
| [Status ] pass |
| Add.2.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=0,-2147483648 |
| [Return ] -2147483648 |
| [Post-conditions] args=0,-2147483648 |
| [Status ] pass |
| Add.3.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=1,-1 |
| [Return ] 0 |
| [Post-conditions] args=1,-1 |
| [Status ] pass |
| Add.4.scn [IL=50 SRC=67 (%)] |
| [Pre-conditions ] args=2147483647,1 |
| [Return ] {ANY} |
| [Post-conditions] args=2147483647,1 |
| [Status ] fail |
| [Outcome ] |
| Unexpected exception of type System.OverflowException during method/constructor call |
| Q:\aWrite\@it\DotTest\Sample\Sample001\Module1.vb(4): at Sample001.Module1.Add(Int32 x, Int32 y) |
| Post condition failed for return value |
| expected value: {ANY} |
| exception thrown: {} |
| Add.5.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=0,0 |
| [Return ] 0 |
| [Post-conditions] args=0,0 |
| [Status ] pass |
| Add.6.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=-2147483648,1 |
| [Return ] -2147483647 |
| [Post-conditions] args=-2147483648,1 |
| [Status ] pass |
| Add.7.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=2147483647,0 |
| [Return ] 2147483647 |
| [Post-conditions] args=2147483647,0 |
| [Status ] pass |
| Add.8.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=0,2147483647 |
| [Return ] 2147483647 |
| [Post-conditions] args=0,2147483647 |
| [Status ] pass |
| Add.9.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=-1,2147483647 |
| [Return ] 2147483646 |
| [Post-conditions] args=-1,2147483647 |
| [Status ] pass |
| Int32 Div(Int32, Int32) [成功=9 失敗=1 途中終了=0 / テスト済み=10 / 合計=10] [IL=100 SRC=100 (%)] |
| Div.0.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=-1,-1 |
| [Return ] 1 |
| [Post-conditions] args=-1,-1 |
| [Status ] pass |
| Div.1.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=1,1 |
| [Return ] 1 |
| [Post-conditions] args=1,1 |
| [Status ] pass |
| Div.2.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=-1,-2147483648 |
| [Return ] 0 |
| [Post-conditions] args=-1,-2147483648 |
| [Status ] pass |
| Div.3.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=0,1 |
| [Return ] 0 |
| [Post-conditions] args=0,1 |
| [Status ] pass |
| Div.4.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=0,-2147483648 |
| [Return ] 0 |
| [Post-conditions] args=0,-2147483648 |
| [Status ] pass |
| Div.5.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=2147483647,-1 |
| [Return ] -2147483647 |
| [Post-conditions] args=2147483647,-1 |
| [Status ] pass |
| Div.6.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=-2147483648,-2147483648 |
| [Return ] 1 |
| [Post-conditions] args=-2147483648,-2147483648 |
| [Status ] pass |
| Div.7.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=2147483647,-2147483648 |
| [Return ] -1 |
| [Post-conditions] args=2147483647,-2147483648 |
| [Status ] pass |
| Div.8.scn [IL=67 SRC=67 (%)] |
| [Pre-conditions ] args=1,0 |
| [Return ] {ANY} |
| [Post-conditions] args=1,0 |
| [Status ] fail |
| [Outcome ] |
| Unexpected exception of type System.OverflowException during method/constructor call |
| Q:\aWrite\@it\DotTest\Sample\Sample001\Module1.vb(16): at Sample001.Module1.Div(Int32 x, Int32 y) |
| Post condition failed for return value |
| expected value: {ANY} |
| exception thrown: {} |
| Div.9.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=-1,2147483647 |
| [Return ] 0 |
| [Post-conditions] args=-1,2147483647 |
| [Status ] pass |
| Int32 Mult(Int32, Int32) [成功=7 失敗=3 途中終了=0 / テスト済み=10 / 合計=10] [IL=100 SRC=100 (%)] |
| Mult.0.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=1,-2147483648 |
| [Return ] -2147483648 |
| [Post-conditions] args=1,-2147483648 |
| [Status ] pass |
| Mult.1.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=0,-2147483648 |
| [Return ] 0 |
| [Post-conditions] args=0,-2147483648 |
| [Status ] pass |
| Mult.2.scn [IL=50 SRC=67 (%)] |
| [Pre-conditions ] args=2147483647,2147483647 |
| [Return ] {ANY} |
| [Post-conditions] args=2147483647,2147483647 |
| [Status ] fail |
| [Outcome ] |
| Unexpected exception of type System.OverflowException during method/constructor call |
| Q:\aWrite\@it\DotTest\Sample\Sample001\Module1.vb(12): at Sample001.Module1.Mult(Int32 x, Int32 y) |
| Post condition failed for return value |
| expected value: {ANY} |
| exception thrown: {} |
| Mult.3.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=1,-1 |
| [Return ] -1 |
| [Post-conditions] args=1,-1 |
| [Status ] pass |
| Mult.4.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=-1,2147483647 |
| [Return ] -2147483647 |
| [Post-conditions] args=-1,2147483647 |
| [Status ] pass |
| Mult.5.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=0,-1 |
| [Return ] 0 |
| [Post-conditions] args=0,-1 |
| [Status ] pass |
| Mult.6.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=2147483647,-1 |
| [Return ] -2147483647 |
| [Post-conditions] args=2147483647,-1 |
| [Status ] pass |
| Mult.7.scn [IL=50 SRC=67 (%)] |
| [Pre-conditions ] args=-2147483648,-1 |
| [Return ] {ANY} |
| [Post-conditions] args=-2147483648,-1 |
| [Status ] fail |
| [Outcome ] |
| Unexpected exception of type System.OverflowException during method/constructor call |
| Q:\aWrite\@it\DotTest\Sample\Sample001\Module1.vb(12): at Sample001.Module1.Mult(Int32 x, Int32 y) |
| Post condition failed for return value |
| expected value: {ANY} |
| exception thrown: {} |
| Mult.8.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=2147483647,1 |
| [Return ] 2147483647 |
| [Post-conditions] args=2147483647,1 |
| [Status ] pass |
| Mult.9.scn [IL=50 SRC=67 (%)] |
| [Pre-conditions ] args=-2147483648,2147483647 |
| [Return ] {ANY} |
| [Post-conditions] args=-2147483648,2147483647 |
| [Status ] fail |
| [Outcome ] |
| Unexpected exception of type System.OverflowException during method/constructor call |
| Q:\aWrite\@it\DotTest\Sample\Sample001\Module1.vb(12): at Sample001.Module1.Mult(Int32 x, Int32 y) |
| Post condition failed for return value |
| expected value: {ANY} |
| exception thrown: {} |
| Int32 Subtract(Int32, Int32) [成功=5 失敗=5 途中終了=0 / テスト済み=10 / 合計=10] [IL=100 SRC=100 (%)] |
| Subtract.0.scn [IL=50 SRC=67 (%)] |
| [Pre-conditions ] args=2147483647,-1 |
| [Return ] {ANY} |
| [Post-conditions] args=2147483647,-1 |
| [Status ] fail |
| [Outcome ] |
| Unexpected exception of type System.OverflowException during method/constructor call |
| Q:\aWrite\@it\DotTest\Sample\Sample001\Module1.vb(8): at Sample001.Module1.Subtract(Int32 x, Int32 y) |
| Post condition failed for return value |
| expected value: {ANY} |
| exception thrown: {} |
| Subtract.1.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=2147483647,2147483647 |
| [Return ] 0 |
| [Post-conditions] args=2147483647,2147483647 |
| [Status ] pass |
| Subtract.2.scn [IL=50 SRC=67 (%)] |
| [Pre-conditions ] args=0,-2147483648 |
| [Return ] {ANY} |
| [Post-conditions] args=0,-2147483648 |
| [Status ] fail |
| [Outcome ] |
| Unexpected exception of type System.OverflowException during method/constructor call |
| Q:\aWrite\@it\DotTest\Sample\Sample001\Module1.vb(8): at Sample001.Module1.Subtract(Int32 x, Int32 y) |
| Post condition failed for return value |
| expected value: {ANY} |
| exception thrown: {} |
| Subtract.3.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=0,2147483647 |
| [Return ] -2147483647 |
| [Post-conditions] args=0,2147483647 |
| [Status ] pass |
| Subtract.4.scn [IL=50 SRC=67 (%)] |
| [Pre-conditions ] args=-2147483648,2147483647 |
| [Return ] {ANY} |
| [Post-conditions] args=-2147483648,2147483647 |
| [Status ] fail |
| [Outcome ] |
| Unexpected exception of type System.OverflowException during method/constructor call |
| Q:\aWrite\@it\DotTest\Sample\Sample001\Module1.vb(8): at Sample001.Module1.Subtract(Int32 x, Int32 y) |
| Post condition failed for return value |
| expected value: {ANY} |
| exception thrown: {} |
| Subtract.5.scn [IL=50 SRC=67 (%)] |
| [Pre-conditions ] args=-2147483648,1 |
| [Return ] {ANY} |
| [Post-conditions] args=-2147483648,1 |
| [Status ] fail |
| [Outcome ] |
| Unexpected exception of type System.OverflowException during method/constructor call |
| Q:\aWrite\@it\DotTest\Sample\Sample001\Module1.vb(8): at Sample001.Module1.Subtract(Int32 x, Int32 y) |
| Post condition failed for return value |
| expected value: {ANY} |
| exception thrown: {} |
| Subtract.6.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=0,0 |
| [Return ] 0 |
| [Post-conditions] args=0,0 |
| [Status ] pass |
| Subtract.7.scn [IL=50 SRC=67 (%)] |
| [Pre-conditions ] args=1,-2147483648 |
| [Return ] {ANY} |
| [Post-conditions] args=1,-2147483648 |
| [Status ] fail |
| [Outcome ] |
| Unexpected exception of type System.OverflowException during method/constructor call |
| Q:\aWrite\@it\DotTest\Sample\Sample001\Module1.vb(8): at Sample001.Module1.Subtract(Int32 x, Int32 y) |
| Post condition failed for return value |
| expected value: {ANY} |
| exception thrown: {} |
| Subtract.8.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=1,-1 |
| [Return ] 2 |
| [Post-conditions] args=1,-1 |
| [Status ] pass |
| Subtract.9.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] args=-2147483648,-1 |
| [Return ] -2147483647 |
| [Post-conditions] args=-2147483648,-1 |
| [Status ] pass |
| Void Main() [成功=1 失敗=0 途中終了=0 / テスト済み=1 / 合計=1] [IL=100 SRC=100 (%)] |
| Main.0.scn [IL=100 SRC=100 (%)] |
| [Pre-conditions ] |
| [Return ] null |
| [Post-conditions] |
| [Status ] pass |