Microsoft PowerPoint SQiP-intro.pptx

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Microsoft PowerPoint - 2012-05-11-SQiP-intro.pptx"

Transcription

1

2

3

4

5

6

7

8 青 字 : 不 具 合 が 埋 め 込 まれる 場 所 黒 字 : 不 具 合 が 発 見 される 場 所 赤 字 : 不 具 合 の 除 去 における コストの 増 加 率

9 1. 早 くバグ を 見 つける 2. バグ 検 出 の コストを 下 げる

10 ピークコストを 下 げる 累 計 コストを 下 げる サイト 内 の 紹 介 資 料

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27 class EventManager instance variables users : set of User := {}; rooms : set of Room := {}; events : set of Event := {}; inv (forall ev1, ev2 in set events & ev1 <> ev2 => ev1.room <> ev2.room or ev1.date <> ev2.date); reservations : set of Reservation := {}; inv operations

28 public searchusersbyevent : Event ==> set of User searchusersbyevent(event) == return { res.user res in set reservations & res.event = event } pre event in set events; public sorteventsbyuser : set of Event ==> seq of Event sorteventsbyuser(event) == is not yet specified post forall i, j in set inds RESULT & i < j => RESULT(i).date < RESULT(j).date and ;

29

30

31

32

33 システム 全 体 哲 学 者 が 空 いていたら ( 空 くまで 待 つ) 右 手 でとる 食 べて フォークを 戻 す が 空 いていたら ( 空 くまで 待 つ) 左 手 でとる

34 p0 右 手 p0 左 手 p1 右 手 p2 右 手 P0 食 p2 右 手 p1 右 手 P0 食 p0 左 手 p2 右 手 p1 右 手 p2 左 手 p1 右 手 デッドロック

35 mtype = {p0, p1, p2, none}; mtype fork[3] = none; active proctype P0(){ do :: atomic{fork[0] == none -> fork[0] = p0}; atomic{fork[2] == none -> fork[2] = p0}; od }... skip; fork[2] = none; fork[0] = none; [ ] (fork[2]==p2 -> <> fork[1]==p2)

36

37 #define SIZE 4 byte msg[size]; chan s2r = [2] of {byte}; proctype Sender() { byte i; do :: i == SIZE -> break; :: else -> s2r! msg[i]; i++; od } proctype Receiver() { byte j; byte rmsg; do :: j == SIZE -> break; :: else -> s2r? rmsg; assert (rmsg == msg[j]); j++; od } proctype Lost() { byte drop; do :: s2r? drop; od }

38

39

40 abstract sig Target {} sig Addr extends Target {} abstract sig Name extends Target {} sig Alias, Group extends Name {} sig Book { names: set Name, addr: names -> some Target } { all a: Alias lone a.addr } 抽 象 によるソフトウェア 設 計 -Alloyではじめる 形 式 手 法 -より

41

42 abstract sig Target {} sig Addr extends Target {} abstract sig Name extends Target {} sig Alias, Group extends Name {} sig Book { names: set Name, addr: names -> some Target } { all a: Alias lone a.addr no n: Name n in n.^(addr) } 抽 象 によるソフトウェア 設 計 -Alloyではじめる 形 式 手 法 -より

43 abstract sig Target {} sig Addr extends Target {} abstract sig Name extends Target {} sig Alias, Group extends Name {} sig Book { names: set Name, addr: names -> some Target } { all a: Alias lone a.addr no n: Name n in n.^(addr) } pred add (b, b : Book, n: Name, t: Target) {b addr = b.addr + n -> t} pred del (b, b': Book, n: Name, a: Addr) {b'.addr = b.addr - n-> a} 抽 象 によるソフトウェア 設 計 -Alloyではじめる 形 式 手 法 -より

44 assert delundoesadd{ all b, b', b'': Book, n: Name, a: Addr add [b, b', n, a] and del [b', b'', n, a] implies b.addr = b''.addr } check delundoesadd for 3

45

46

47

48

49

50

51

52

53

54

n=360 28.6% 34.4% 36.9% n=360 2.5% 17.8% 19.2% n=64 0.8% 0.3% n=69 1.7% 3.6% 0.6% 1.4% 1.9% < > n=218 1.4% 5.6% 3.1% 60.6% 0.6% 6.9% 10.8% 6.4% 10.3% 33.1% 1.4% 3.6% 1.1% 0.0% 3.1% n=360 0% 50%

More information

http://banso.cocolog-nifty.com/ 100 100 250 5 1 1 http://www.banso.com/ 2009 5 2 10 http://www.banso.com/ 2009 5 2 http://www.banso.com/ 2009 5 2 http://www.banso.com/ < /> < /> / http://www.banso.com/

More information

橡ボーダーライン.PDF

橡ボーダーライン.PDF 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 To be or not to be 32 33 34 35 36 37 38 ( ) 39 40 41 42 43 44 45 46 47 48 ( ) 49 50 51 52

More information

..0.._0807...e.qxp

..0.._0807...e.qxp 4 6 0 4 6 0 4 6 8 30 34 36 38 40 4 44 46 8 8 3 3 5 4 6 7 3 4 6 7 5 9 8 3 4 0 3 3 4 3 5 3 4 4 3 4 7 6 3 9 8 Check 3 4 6 5 3 4 0 3 5 3 3 4 4 7 3 3 4 6 9 3 3 4 8 3 3 3 4 30 33 3 Check Check Check Check 35

More information

h01

h01 P03 P05 P10 P13 P18 P21 1 2 Q A Q A Q A Q A Q A 3 1 check 2 1 2-1 2-2 2-3 2-4 2-5 2-5-1 2-6 2-6-1 2-6-2 2-6-3 3 3-1 3-2 3-3 3-4 3 check 4 5 3-5 3-6 3-7 3-8 3-9 4-1 4-1-1 4-2 4-3 4-4 4-5 4-6 5-1 5-2 4

More information

1 2 3 4 1 2 1 2 3 4 5 6 7 8 9 10 11 27 29 32 33 1 2 3 7 9 11 13 15 17 19 21 23 26 CHECK! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

More information

-2-

-2- -1- -2- -3- -4- -5- -6- -7- -8- 10-9- -10-1 2 -11-1 1-12- -13- -14- Plan Do Check Action Check Action 1 -15- -16- -17- -18- -19- -20- -21- -22- 10 2 9 3 9 2 1 10 2 9 3 6 4 1 6 6 10 2 10 2 11 1 8 1 8 4

More information

平成20年度内部評価実施結果報告書《本編》

平成20年度内部評価実施結果報告書《本編》 10 11 12 13 14 15 16 17 Plan Do Check Action 1 2 3 4 146 13 20 43 44 45 62 104 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

More information

untitled

untitled 1 1 2 3 2 1 ( 0) 2000 00 3 4 Check Action Do Plan 5 6 14001 5000 5000 1000 1000 7 8 9 10 2004 0.1 0.1 0.0 0.0 0.0 15.3 483.5 0.4 11 12 13 14 http://kankyou.pref.shizuoka.jp/seikan/seikanindex.htm 15 16

More information

技術流出防止指針公表用.PDF

技術流出防止指針公表用.PDF 15 3 1 4 .. 2 2.. 4. 6.10 10.14.16.19.24.26.28 1 2 1 2002 7 3 2002 3 4 2 3 5 4 4 6 7 8 5 5 9 plan (do) (check) (act) 1) 2) 3) 4) 5) 6) 7) 10 11 12 13 14 15 16 17 18 6 6 19 / / 20 21 22 7 23 8 24 25 26

More information

2.8% 2.0% 2.4% 2.4% 0.4% 0.1% 0.3% 0.5% 3.8% 5.6% 25.6% 29.3% 64.6% 60.0% 1

2.8% 2.0% 2.4% 2.4% 0.4% 0.1% 0.3% 0.5% 3.8% 5.6% 25.6% 29.3% 64.6% 60.0% 1 2.8% 2.0% 2.4% 2.4% 0.4% 0.1% 0.3% 0.5% 3.8% 5.6% 25.6% 29.3% 64.6% 60.0% 1 16 24 21 20 20 23 10 11 9 10 3 3 3 2 3 1 3 4 6 8 2 0 1 2 3 4 5 6 0 1 2 3 4 5 6 0 1 2 3 4 5 6 3 4 Q & A Q1 A1 Q2 A2 Q3 A3 7

More information

Q&A最低資本金特例030131.PDF

Q&A最低資本金特例030131.PDF & 1 2 2 3 2 2 3 2 2 3 10 11 10 90 12 13 14 15 16 17 18 19 20 2 2 3 21 2 2 3 22 23 24 25 20 10 26 27 28 10 8 1 29 30 10 8 2 31 32 2 2 3 33 10 8 3 10 11 2 34 10 8 3 10 12 2 35 36 20 10 37 38 39 40 41 42

More information

™…

™… 2/10 15 2010. No1362 1 1 216315 91430 Q A & 0.23% 1 1.4% 04-7120-2020 050-5540-2023 Q A & 1 1 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 1 1 2 3 4 5 6 7 8 9 10

More information

- 1 - - 2 - 320 421 928 1115 12 8 116 124 2 7 4 5 428 515 530 624 921 1115 1-3 - 100 250-4 - - 5 - - 6 - - 7 - - 8 - - 9 - & & - 11 - - 12 - GT GT - 13 - GT - 14 - - 15 - - 16 - - 17 - - 18 - - 19 - -

More information

2012_10_A_cover.indd

2012_10_A_cover.indd c %& r Z \ W n % & & % % & % & & % % % & % & % & & % & % %& % & % & % % % & & & W W W W A

More information

‡o‡P†C‡P‡Q”R„û†^‡P†C‡P‡Q

‡o‡P†C‡P‡Q”R„û†^‡P†C‡P‡Q ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, Q & A ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

More information

2012_05_GLK_cover.indd

2012_05_GLK_cover.indd c %& r Z \ W W n q & F % % & & % & & % % % & % & % & % & % & % & F F % % % & & & & % & A

More information

EPSON

EPSON B K L & & & & & & & & L & & & & & & & K & & & & & L L L & & & K L L L & & L L L & & & & & & & & & & & & & & & & & & & & & & & & & & & L & K L K & & & & & & & L L & & L & & L L & & & & &

More information

bumon_pro.indd

bumon_pro.indd q w e r t y u i o!0 !1!2!3 !4!5!6 !7!8!9 @0 @1 @2 @3 @4 @5 @6 @7 @8 @9 #0 #1 #2 #3 #4 #5 #6 #7 #8 #0 $0 $1 $2 $3 $4 $5 $6 $7 $8 $9 %0 %1 %2 %3 %4 %5 %6 %7 %8 %9 ^0 ^1 ^2 ^3 ^4 ^5 ^6 ^7 ^8 ^9 &0 &1 &2

More information

untitled

untitled 186 17 100160250 1 10.1 55 2 18.5 6.9 100 38 17 3.2 17 8.4 45 3.9 53 1.6 22 7.3 100 2.3 31 3.4 47 OR OR 3 1.20.76 63.4 2.16 4 38,937101,118 17 17 17 5 1,765 1,424 854 794 108 839 628 173 389 339 57 6 18613

More information

untitled

untitled 1. 3 14 2. 1 12 9 7.1 3. 5 10 17 8 5500 4. 6 11 5. 1 12 101977 1 21 45.31982.9.4 79.71996 / 1997 89.21983 41.01902 6. 7 5 10 2004 30 16.8 37.5 3.3 2004 10.0 7.5 37.0 2004 8. 2 7 9. 6 11 46 37 25 55 10.

More information

untitled

untitled 280 200 5 7,800 6 8,600 28 1 1 18 7 8 2 ( 31 ) 7 42 2 / / / / / / / / / / 1 3 (1) 4 5 3 1 1 1 A B C D 6 (1) -----) (2) -- ()) (3) ----(). ()() () ( )( )( )( ) ( ) ( )( )( )( ) () (). () ()() 7 () ( ) 1

More information

PowerPoint Presentation

PowerPoint Presentation UML 2004 7 9 10 ... OOP UML 10 Copyright 2004 Akira HIRASAWA all rights reserved. 2 1. 2. 3. 4. UML 5. Copyright 2004 Akira HIRASAWA all rights reserved. 3 1..... Copyright 2004 Akira HIRASAWA all rights

More information

内容見本_2012_1.indd

内容見本_2012_1.indd At worki have been made to work that I did not want to do. However, I cannot say No. I have to work hard for my family. One of the causes of global warming is believed to be the carbon dioxide emitted

More information

ラ ン ク 28 3 5 a . 77,101 57,700 18 2 110 77,101 a. http://www.tees.ne.jp/~rinzaiji/enichi/index.htm 441-8132 66 2 TEL25-1895 FAX25-2553 http://osimizu.ed.jp 1 1, 28 10001200 5.6.7.9.10 3 (4.8 ) 2, 4

More information

l t a2 b c f g or t a2 b c f a2 b c f or l t a2 b c f g t a2 b c f g l t

l t a2 b c f g or t a2 b c f a2 b c f or l t a2 b c f g t a2 b c f g l t o r lt LONDON 70120-770-361 1 BOOK a2 b c f a2 b c f g t MAP -C2 l t a2 b c f g or t a2 b c f a2 b c f or l t a2 b c f g t a2 b c f g l t a2 b c f a2 b c f g a2 b c f a2 b c f o a2 b c f g a2 b c f lr

More information

やさしいJavaプログラミング -Great Ideas for Java Programming サンプルPDF

やさしいJavaプログラミング -Great Ideas for Java Programming サンプルPDF pref : 2004/6/5 (11:8) pref : 2004/6/5 (11:8) pref : 2004/6/5 (11:8) 3 5 14 18 21 23 23 24 28 29 29 31 32 34 35 35 36 38 40 44 44 45 46 49 49 50 pref : 2004/6/5 (11:8) 50 51 52 54 55 56 57 58 59 60 61

More information

.......p...{..P01-48(TF)

.......p...{..P01-48(TF) 1 2 3 5 6 7 8 9 10 Act Plan Check Act Do Plan Check Do 11 12 13 14 INPUT OUTPUT 16 17 18 19 20 21 22 23 24 25 26 27 30 33 32 33 34 35 36 37 36 37 38 33 40 41 42 43 44 45 46 47 48 49 50 51 1. 2. 3.

More information

CSR報告書

CSR報告書 2 3 4 6 7 8 9 10 11 12 13 14 18 19 20 22 23 24 25 26 27 2 3 4 5 6 Compliance 7 Internal Control & Information Security A Act P Plan C Check D Do 8 18 4 1 20 4 1 Management System 9 Management System 10

More information

コーディング基準.PDF

コーディング基準.PDF Java Java Java Java.java.class 1 private public package import / //////////////////////////////////////////////////////////////////////////////// // // // // ////////////////////////////////////////////////////////////////////////////////

More information

...5...6...7...8...9...10...12...12...12...18...21...23...23...23...24...24...24...24...25...26...26...26...27...33...33...33...33...33...34...35...36

...5...6...7...8...9...10...12...12...12...18...21...23...23...23...24...24...24...24...25...26...26...26...27...33...33...33...33...33...34...35...36 REVISION 2.85(6).H ...5...6...7...8...9...10...12...12...12...18...21...23...23...23...24...24...24...24...25...26...26...26...27...33...33...33...33...33...34...35...36...36...36...37...38...39 2 ...39...42...42...42...43...43...44...45...46...46...47...48...48...49...50...51...52...53...55...56...56...58...60...62...64...66...68...68...69...71...71...71...71...72...72...73...74...74...74...74

More information

産業21-81号.72.indd

産業21-81号.72.indd 2015.7 81 http://www.rofuku.go.jp/tabid/128/default.aspx C O N T E N T S 21 2 6 8 10 12 16 18 20 22 24 26 27 28 29 211 221 1 213 421 215 2 621 217 821 3 219 1021 4 2111 1221 2113 1421 2115 1621 5 2117

More information

SCREENOS NAT ScreenOS J-Series(JUNOS9.5 ) NAT ScreenOS J-Series(JUNOS9.5 ) NAT : Destination NAT Zone NAT Pool DIP IF NAT Pool Egress IF Loopback Grou

SCREENOS NAT ScreenOS J-Series(JUNOS9.5 ) NAT ScreenOS J-Series(JUNOS9.5 ) NAT : Destination NAT Zone NAT Pool DIP IF NAT Pool Egress IF Loopback Grou NAT NETWORK ADDRESS TRANSLATION SCREENOS NAT ScreenOS J-Series(JUNOS9.5 ) NAT ScreenOS J-Series(JUNOS9.5 ) NAT : Destination NAT Zone NAT Pool DIP IF NAT Pool Egress IF Loopback Group (ScreenOS ) 2 Copyright

More information

自 己 紹 介 冨 田 昌 宏 ( 株 ) 富 士 通 システムズ イースト 長 野 勤 務 OSS 推 進 フォーラム アプリケーション 部 会 に 参 加 1998 年 から 個 人 的 にRubyを 使 用 2003 年 からRubyで 製 品 開 発

自 己 紹 介 冨 田 昌 宏 ( 株 ) 富 士 通 システムズ イースト 長 野 勤 務 OSS 推 進 フォーラム アプリケーション 部 会 に 参 加 1998 年 から 個 人 的 にRubyを 使 用 2003 年 からRubyで 製 品 開 発 非 Railsアプリのマルチデータベース 対 応 と 高 速 化 の 取 り 組 み ( 株 ) 富 士 通 システムズ イースト 冨 田 昌 宏 2015-11-12 RubyWorld Conference 自 己 紹 介 冨 田 昌 宏 ( 株 ) 富 士 通 システムズ イースト 長 野 勤 務 OSS 推 進 フォーラム アプリケーション 部 会 に 参 加 1998 年 から 個 人 的

More information

untitled

untitled ... 3... 3... 4... 5... 6... 6... 6... 7... 7... 8... 8... 8... 9... 12... 12... 13... 14... 15... 16... 16 DSCP... 16... 17... 18 DiffServ..... 18... 26... 26 ADD QOS FLOWGROUP... 27 ADD QOS POLICY...

More information

Agenda Motivation How it works Performance Limitation Conclusion

Agenda Motivation How it works Performance Limitation Conclusion py2llvm: Python to LLVM translator Syoyo Fujita Agenda Motivation How it works Performance Limitation Conclusion Agenda Motivation How it works Performance Limitation Conclusion py2llvm Python LLVM Python,

More information

74 No.3 0999500 999500 ACCESS

74 No.3 0999500 999500 ACCESS Mar.2003 73 ACCESS ACCESS EXCEL EXCEL 74 No.3 0999500 999500 ACCESS Mar.2003 75 76 No.3 Mar.2003 77 temp EXCEL EXCEL No.3 78 seikika.txt Mar.2003 79 EXCEL Personal.xls Visual Basic Editor VBA Project(PERSONAL.XLS)

More information

M-E20B_OWNER'S MANUAL.pdf

M-E20B_OWNER'S MANUAL.pdf L 4 5 6 7 8 9 0 4 5 6 7 4 5 6 7 8 4 9 0 ... 4 5 6 7 8 4 9 0 4 5, 6 7 4 4 4 4 4 5 6 7 8 9 4 40 4 4 5 6 4 5 4 4 44 4 45 46 90 80 70 60 50 40 0 0 0 0-5 -0 47 COOKING BOOK 49 49 50 5 5 5 5 5 55

More information

VB.NETコーディング標準

VB.NETコーディング標準 (C) Copyright 2002 Java ( ) VB.NET C# AS-IS extremeprogramming-jp@objectclub.esm.co.jp bata@gold.ocn.ne.jp Copyright (c) 2000,2001 Eiwa System Management, Inc. Object Club Kenji Hiranabe02/09/26 Copyright

More information

@tikeda Sass (scss) Less,CSS

@tikeda Sass (scss) Less,CSS Sass @tikeda Sass (scss) Less,CSS Agenda About Cookpad s Coding Style Sass Engineer + Designer 45 Sass / Haml GitHub cookpad.com 1 user UX UI Designer Engineer Engineer Directer team Directer Engineer

More information

Our Business is People Business. Calbee s Future is in Your Hands! / DARTS ffice // // / - () : () - My Commitment 15% by 2012 Happy Work & Life Style Project

More information