Lecture/AdvancedSE
Last-modified: 2014-08-04 (·î) 19:08:03
±þÍÑ¥½¥Õ¥È¥¦¥§¥¢¹©³ØÏÀ(½¤»Î)†
2014ǯÅÙ2Q (A-WS¼¼)
ÆâÍƆ
- ¥½¥Õ¥È¥¦¥§¥¢¡¦¥Æ¥¹¥È with JUnit
- ¥â¥Ç¥ë¸¡ºº with NuSMV
- ´Ø¿ô¥×¥í¥°¥é¥ß¥ó¥° with Haskell
¶µ²Ê½ñ¡¦»²¹Í½ñ†
¥½¥Õ¥È¥¦¥§¥¢¡¦¥Æ¥¹¥È (»²¹Í½ñ)†
- ¡Ø¥½¥Õ¥È¥¦¥§¥¢¡¦¥Æ¥¹¥È¤Îµ»Ë¡¡ÙÂè2ÈÇ, G.J.Myers Ãø, ĹÈø ´ÆÌõ, ¾¾Èø Ìõ, ¶áÂå²Ê³Ø¼Ò, ISBN978-4-7649-0329-6, 2006.
- ¡Ø¥½¥Õ¥È¥¦¥§¥¢¤Î¥Æ¥¹¥Èµ»Ë¡¡Ù¶Ì°æ, ¾¾ÅÄ, »°Åè ¶¦Ãø, ·×»»µ¡/¥½¥Õ¥È¥¦¥§¥¢µ»½Ñ¹ÖºÂ13, ¶¦Î©½ÐÈÇ, ISBN978-4-320-02388-8, 1988.
- ¡ØJUnit¼ÂÁ©ÆþÌç ¡Ý ÂηÏŪ¤Ë³Ø¤Ö¥æ¥Ë¥Ã¥È¥Æ¥¹¥È¤Îµ»Ë¡¡ÙÅÏÊÕ Ãø, µ»½ÑɾÏÀ¼Ò, ISBN978-4-7741-5377-3, 2012.
¥â¥Ç¥ë¸¡ºº (¶µ²Ê½ñ)†
- ¡Ø¥â¥Ç¥ë¸¡ºº ½éµéÊÔ¡Ù»º¶Èµ»½ÑÁí¹ç¸¦µæ½ê¥·¥¹¥Æ¥à¸¡¾Ú¸¦µæ¥»¥ó¥¿¡¼ Ãø, ¥Ê¥Î¥ª¥×¥È¡¦¥á¥Ç¥£¥¢, ISBN978-4-7649-5505-9, 2009.
´Ø¿ô¥×¥í¥°¥é¥ß¥ó¥° (»²¹Í½ñ)†
- ¡Ø´Ø¿ô¥×¥í¥°¥é¥ß¥ó¥°ÆþÌç ¡Ý Haskell¤Ç³Ø¤Ö¸¶Íý¤Èµ»Ë¡¡ÙR.Bird Ãø, »³²¼ Ìõ, ¥ª¡¼¥à¼Ò, 978-4-274-06896-6, 2012.
¥½¥Õ¥È¥¦¥§¥¢¡¦¥Æ¥¹¥È†
- ¥¹¥é¥¤¥É
- JUnit, EclEmma - junit-ase.pdf
- JUnit¤½¤Î2 - junit-ase-2.pdf
- JUnit¤½¤Î3 - 20140613-Test.pdf
- Myers¤Î»°³Ñ·Á ²òÅúÊÔ - MyersTriangle8up.pdf
- JUnit¤½¤Î4 - 20140627-Test.pdf
- »²¹Í½ñ - junit-ase-bib.pdf
¥½¥Õ¥È¥¦¥§¥¢¥Æ¥¹¥È ºÇ½ª²ÝÂê†
- ¡ºÀÚ¡§2014ǯ6·î26Æü(ÌÚ) 2»þ¸Â¼ø¶È³«»Ï»þ
- ²ÝÂꡧ
- /home/info/y-takata/Public/junit/bowling.zip ¤ò¥¤¥ó¥Ý¡¼¥È¤·¡¤BowlingScorer#sumUp¤Î¥Æ¥¹¥È¥³¡¼¥É¤òBowlingScorerTestÃæ¤Ëµ½Ò¤·¤Ê¤µ¤¤¡£
- BowlingScorerTest.javaÃæ¤Î¥³¥á¥ó¥È¤Ë½ñ¤«¤ì¤¿¾ò·ï¤äɾ²Á¤Î´ÑÅÀ¤òÆɤó¤Ç¡¤¤½¤ì¤é¤ËŬ¹ç¤·¤¿¥Æ¥¹¥È¥³¡¼¥É¤òµ½Ò¤¹¤ë¤³¤È¡£
- Äó½ÐÊýË¡¡§
- ¥Æ¥¹¥È¥³¡¼¥É¤Î¥½¡¼¥¹¤È¥«¥Ð¥ì¥Ã¥¸¥ì¥Ý¡¼¥È¤Î²èÁü¤ò°õºþ¤·¤ÆÄó½Ð¡£
- ¥Æ¥¹¥È¥³¡¼¥ÉÃæ¤Ë¥³¥á¥ó¥È¤ò½ñ¤¯¤³¤È¼«ÂΤϲÝÂê¤Î¾ò·ï¤Ç¤Ï¤Ê¤¤¤¬¡¤¥Æ¥¹¥ÈÆâÍƤ¬ÂÅÅö¤Ç¤¢¤ë¤³¤È¤òɾ²Á¼Ô¤¬Íý²ò¤Ç¤¤ë¤è¤¦¤Ë¤·¤Æ¤ª¤¯É¬ÍפϤ¢¤ë¡£
- »²¹Í»ñÎÁ¡§
±é½¬¤Î½àÈ÷†
- Åý¹ç³«È¯´Ä¶Eclipse¤Î´Ä¶ÀßÄê
- Eclipse ¢ª ´Ä¶ÀßÄê
- General ¢ª Network Connections ¢ª Active Provider¤òManual¤Ë¤¹¤ë
- General ¢ª Workspace ¢ª Text file encoding¤òUTF-8¤Ë¤¹¤ë
- Eclipse¤ËJava³«È¯¥Ä¡¼¥ë (JDT) ¤ò¥¤¥ó¥¹¥È¡¼¥ë
- Help ¢ª Install New Software ¤òÁªÂò
- Work with:Íó¤Ë http://download.eclipse.org/releases/indigo ¤ÈÆþÎÏ
- (¾¯¤·»þ´Ö¤¬¤«¤«¤ë¤«¤â)
- °ìÍ÷¤ÎÃ椫¤é Programming Languages ¢ª Eclipse Java Development Tools ¤òÁªÂò¤·¤ÆNext¤ò²¡¤¹
- ¥é¥¤¥»¥ó¥¹¤ËƱ°Õ¤¹¤ë
- Eclipse¤ËEclEmma¥×¥é¥°¥¤¥ó¤ò¥¤¥ó¥¹¥È¡¼¥ë
- Help ¢ª Eclipse Marketplace ¤òÁªÂò
- Find:Íó¤Ë eclemma ¤ÈÆþÎϤ·¤ÆEnter¥¡¼¤ò²¡¤¹
- EclEmma Java Code Coverage ¤¬°ìÍ÷¤Ëɽ¼¨¤µ¤ì¤¿¤é¡¤Install¥Ü¥¿¥ó¤ò²¡¤¹
- ¥é¥¤¥»¥ó¥¹¤ËƱ°Õ¤¹¤ë
ºÇ½é¤Î±é½¬†
- Eclipse¤ò»È¤¦
- workbench²èÌ̤ˤ¹¤ë
- Java¥×¥í¥¸¥§¥¯¥È¤ò¿·µ¬ºîÀ®¡Ê̾Á°¤ÏÎ㤨¤Ð hello¡Ë
- File ¢ª New ¢ª Java Project
- ¥Õ¥©¥ë¥Àsrc¤ËJava¥¯¥é¥¹¤ò¿·µ¬ºîÀ®¡ÊÎ㤨¤Ð Hello¡Ë
- ¥Õ¥©¥ë¥Àsrc¤òÁªÂò¤·¤Æ±¦¥¯¥ê¥Ã¥¯ (Ctrl + ¥¯¥ê¥Ã¥¯)
- New ¢ª Class
- "hello, world" ¤È°õ»ú¤¹¤ë¥×¥í¥°¥é¥à¤ò½ñ¤¯
- ¼Â¹Ô¤¹¤ë
- ¥¯¥é¥¹¤Þ¤¿¤ÏJava¥Õ¥¡¥¤¥ë¤òÁªÂò¤·¤Æ±¦¥¯¥ê¥Ã¥¯ (Ctrl + ¥¯¥ê¥Ã¥¯)
- Run As ¢ª Java Application
- JUnit¤ò»È¤¦½àÈ÷
- ¿·µ¬¥×¥í¥¸¥§¥¯¥È¤òºîÀ®¡Ê̾Á°¤ÏÎ㤨¤Ð junit¡Ë
- ¥Õ¥©¥ë¥Àsrc¤ÎÃæ¤Ë¥Ñ¥Ã¥±¡¼¥¸junit.tutorial¤ò¿·µ¬ºîÀ®
- src¤òÁªÂò¤·¤Æ±¦¥¯¥ê¥Ã¥¯
- New ¢ª Package
- NameÍó¤Ë junit.tutorial ¤ÈÆþÎϤ·¤ÆFinish¤ò²¡¤¹
- ¥Æ¥¹¥ÈÂоݥµ¥ó¥×¥ë¥Õ¥¡¥¤¥ë¤òjunit.tutorial¤Ë¥³¥Ô¡¼
- Finder¤Î¥á¥Ë¥å¡¼¤«¤é¡Ö°ÜÆ° ¢ª ¥Õ¥©¥ë¥À¤Ø°ÜÆ°¡×¤òÁª¤Ö
- /home/info/y-takata/Public/junit ¤ÈÆþÎÏ
- Calculator.java ¤òjunit.tutorial¤Ë¥É¥é¥Ã¥°&¥É¥í¥Ã¥×
Bean Validation¤ò»È¤Ã¤¿¥¯¥é¥¹¤Î¥Æ¥¹¥È†
- ¥×¥í¥¸¥§¥¯¥È¤ò³°Éô¤«¤é¥¤¥ó¥Ý¡¼¥È¤¹¤ë
- File ¢ª Import
- General ¢ª Existing Projects into Workspace ¤òÁª¤ó¤ÇNext¤ò²¡¤¹
- Select archive file:Íó¤Ë /home/info/y-takata/Public/junit/validation.jar ¤ÈÆþÎϤ·¤ÆEnter¥¡¼¤ò²¡¤¹
- Projects:Íó¤Ë¤Æ¥×¥í¥¸¥§¥¯¥Èvalidation¤¬ÁªÂò¤µ¤ì¤Æ¤¤¤ë¤³¤È¤ò³Îǧ¤·¤Æ¡¤Finish¤ò²¡¤¹
¥â¥Ç¥ë¸¡ººÆþÌç†
¥À¥¦¥ó¥í¡¼¥É†
- ¥¹¥é¥¤¥É
- ¥·¥¹¥Æ¥à»ÅÍͽñ (Áí¹ç²ÝÂê)
- ²¼µ¤Î»ÅÍͽñ¤Ë½¾¤Ã¤Æ¥â¥Ç¥ë¤òºîÀ®¤·¡¤¸¡¾Ú¤ò¹Ô¤¤¤Ê¤µ¤¤¡£
¥â¥Ç¥ë¸¡ºº ºÇ½ª²ÝÂê†
- ¡ºÀÚ¡§2014ǯ7·î17Æü(ÌÚ) 2»þ¸Â¼ø¶È³«»Ï»þ
- ²ÝÂꡧ
- ¾åµ¤Î»ÅÍͽñ Elevator.txt ¤Ë½¾¤Ã¤Æ¥â¥Ç¥ë¤òºîÀ®¤·¡¤¸¡¾Ú¤ò¹Ô¤¤¤Ê¤µ¤¤¡£
- Äó½ÐÊýË¡¡§
- 2³¬·úÈÇ¡¤3³¬·úÈǤ½¤ì¤¾¤ì¤Ë¤Ä¤¤¤Æ¡¤NuSMV¤ËÆþÎϤ¹¤ëÆ°ºî»ÅÍ͵½Ò¤ÈLTL»ÅÍ͵½Ò¤ò°õºþ¤·¤¿¤â¤Î¡¤µÚ¤Ó¡¤¸¡¾Ú·ë²Ì (true or false) ¤È¤½¤Î²ò¼á¡¤È¿Î㤬¤¢¤ë¾ì¹ç¤ÏÈ¿Îã¤òÆɤߤ䤹¤¯À°·Á¤·¤¿¤â¤Î¡¤¤òÄó½Ð¤¹¤ë¡£
- 3³¬·úÈǤÎÆ°ºî»ÅÍ͵½Ò¤ÈLTL»ÅÍ͵½Ò¤Ï¡¤2³¬·úÈǤȤκ¹Ê¬¤À¤±¤Ç¤â¤è¤¤¡£
- Æ°ºî»ÅÍ͵½ÒÃæ¤Ë¥³¥á¥ó¥È¤ò½ñ¤¯¤³¤È¼«ÂΤϲÝÂê¤Î¾ò·ï¤Ç¤Ï¤Ê¤¤¤¬¡¤ÆâÍƤ¬ÂÅÅö¤Ç¤¢¤ë¤³¤È¤òɾ²Á¼Ô¤¬Íý²ò¤Ç¤¤ë¤è¤¦¤Ë¤·¤Æ¤ª¤¯É¬ÍפϤ¢¤ë¡£
- Elevator.txtÄ̤ê¤Ëµ½Ò¤·¤¿Æ°ºî»ÅÍͤǤϸ¡ºº¹àÌܤòËþ¤¿¤µ¤Ê¤¤¾ì¹ç¤Ï¡¤¤Þ¤º¤½¤Î¤³¤È¤ò¸¡¾Ú·ë²Ì¤Î²ò¼á¤È¤·¤Æ½Ò¤Ù¤ë¤³¤È¡£¤½¤Î¾å¤Ç¡¤Í¾ÎϤ¬¤¢¤ì¤Ð¡¤¤É¤Î¤è¤¦¤Ë»ÅÍͤò½¤Àµ¤¹¤Ù¤¤«¤ò½Ò¤Ù¤ë¤³¤È¡£
- Elevator.txt¤Ë½ñ¤«¤ì¤Æ¤¤¤ë¾ðÊó¤À¤±¤Ç¤ÏÆ°ºî»ÅÍͤ¬·è¤Þ¤é¤Ê¤¤¾ì¹ç¤Ï¡¤³Æ¼«¤Ç¾ðÊó¤òÊ䤦¤³¤È¡£
»²¹Í†
¤ª¤Þ¤±¡§SAT¥½¥ë¥Ð¤ÇÍ·¤Ü¤¦†
ÆâÍƆ
- ²òÀâ & ±é½¬ÌäÂꡧsat-tutorial.html
- ±é½¬²òÅú¡ºÀÚ¡§2014ǯ8·î8Æü(¶â) 17»þ
6Æü(¿å) 22»þ