テスト自動化ã¨ã¯ - ソフトウェアテスト自動化ã¾ã¨ã‚サイト　ãªã‚“ã§ã‚‚自動化サイト1.Vå—開発プãƒã‚»ã‚¹ãƒ¢ãƒ‡ãƒ«ã«ã‚ˆã‚‹åˆ†é¡ž 1.1.è¦ä»¶å®šç¾© VDM å½¢å¼æ‰‹æ³•(Formal Methods)ã«ã‚ˆã‚Šä»•æ§˜ã®è‡ªå‹•æ¤œè¨¼ãªã©ã‚’è¡Œã†ã€‚ 1.2.システムè¨è¨ˆ モデル検査 Spin モデル検査ã«ã‚ˆã‚ŠçŠ¶æ…‹é·ç§»å›³ã®çŠ¶æ…‹ã§è‡ªå‹•æ¤œè¨¼ã‚’è¡Œã†ã€‚ LTSA モデル検査ã«ã‚ˆã‚ŠçŠ¶æ…‹é·ç§»å›³ã®çŠ¶æ…‹ã§è‡ªå‹•æ¤œè¨¼ã‚’è¡Œã†ã€‚ NuSMV モデル検査ã«ã‚ˆã‚ŠçŠ¶æ…‹é·ç§»å›³ã®çŠ¶æ…‹ã§è‡ªå‹•æ¤œè¨¼ã‚’è¡Œã†ã€‚ モデル駆動 ZIPC(商用:ã‚ãƒ£ãƒƒãƒ„æ ªå¼ä¼šç¤¾) 状態é·ç§»å›³ã«ã‚ˆã‚‹æ¤œè¨¼ãŒå¯èƒ½ MDA モデルを実際ã«å‹•ã‹ã—ã¦å‹•ä½œæ¤œè¨¼ã™ã‚‹ã€‚Executable Umlãªã©ã‚’使用ã—ã¦ä»•æ§˜ã‚’記述。 IAR visualSTATE(商用:IAR SYSTEMS) ステートマシンをè¨è¨ˆã€æ¤œè¨¼ã€å®Ÿè£…ã§ãるツール。20ステートã¾ã§ã®ç„¡æ–™ã®è©•ä¾¡ç‰ˆã‚ã‚Š 1.3.詳細è¨è¨ˆ Enterprise Architect(商用:SPARX SYSTEMS) テストツールã§ã¯ãªã„ãŒ
ヴィブãƒ:ã“ã®ç”»åƒã‚’ 二 度 見 ã™ ã‚‹ よ ㆠ㪠画åƒã«ã—ã¦ãã‚Œï¼
ミス・ユニãƒãƒ¼ã‚¹ç„¡åŒ:アルファルファモザイク
都内ã§é›»æºã®ã‚るカフェを探ã™ãªã‚‰ã€ãƒãƒƒã‚¯ã‚¹ãƒšãƒ¼ã‚¹ã€‘
満足ã›ã‚‹è±šã€‚çœ ãŸã’ãªãƒãƒã€‚:大è¦æ¨¡ã‚µãƒ¼ãƒ“スã®é‹ç”¨äº‹ä¾‹ã¾ã¨ã‚
DeepParanoia-ã‚¢ãƒ‹ãƒ¡åœ°æ–¹æ”¾æ˜ çŠ¶æ³ã¾ã¨ã‚サイト
妹「兄ã¡ã‚ƒã‚“ï¼ä»Šå¹´ã®å¤ã¯æµ·ã«è¡Œã“ã†ãœã€:アルファルファモザイク
ウェブã®ç”»é¢è¨è¨ˆã«ä½¿ãˆã‚‹ã¾ã¨ã‚ - DesignWalker
ウノウラボ Unoh Labs: デザインセンスã®ç„¡ã„人ãŒwebサイトを作æˆã™ã‚‹éš›ã«å‚考ã«ã—ã¦ã„るサイト
ã€œæœ¨æ›œæ´‹ç”»åŠ‡å ´ã®CM〜
翔ソフトウェア (Sho's) è°è«–ã®ã‚¢ãƒ³ãƒãƒ‘ターン 〜ä¸æ¯›ãªè°è«–ã‚’é¿ã‘ã‚‹ãŸã‚ã«ã€œ
Cometã«ä»£è¡¨ã•ã‚Œã‚‹ã‚µãƒ¼ãƒãƒ»ãƒ—ッシュ技術ã®å¾©æ¨©
Lifehacker Top 10：ãŠå½¹ç«‹ã¡ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ãƒ¦ãƒ¼ãƒ†ã‚£ãƒªãƒ†ã‚£ãƒ¼10é¸ - ITmedia Biz.ID
ã„ã‚„ãªãƒ–ãƒã‚° - æ–‡å—列æ“作ã®æ¯”較表: Ruby, Python, JavaScript, P...
管ç†äººãŠã™ã™ã‚ã®ä¸€å†Šç›®ã®ãƒ©ã‚¤ãƒˆãƒŽãƒ™ãƒ« - ブãƒã‚°ã¨ã„ã†ã‹å€‰åº«
Windows x64 Edition ã¾ã¨ã‚Wiki
Loading...
GNU screen ã„ã‚ã„ã‚ã¾ã¨ã‚。 - naoyaã®ã¯ã¦ãªãƒ€ã‚¤ã‚¢ãƒªãƒ¼:
FAQ - 大å¦ç”Ÿã«ã‚‚ãªã£ã¦ä»Šã•ã‚‰èžã‘ãªã„コト。ã¾ã¨ã‚wiki
{{#tags}}- {{label}}
{{/tags}}