テスト自動化ã¨ã¯ - ソフトウェアテスト自動化ã¾ã¨ã‚サイト　ãªã‚“ã§ã‚‚自動化サイト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) テストツールã§ã¯ãªã„ãŒ
ãƒ†ã‚¹ãƒˆè‡ªå‹•åŒ–ç ”ç©¶ä¼š - テスト自動化ã®8原則
CI/CDã®åŽŸå‰‡ã¨ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ターン (æ•´ç†ä¼š)/20190722-jaws-ug-arch-pipeline-principle
退屈ãªãƒ–ラウザ作æ¥ã¯Seleniumã«ã‚„らã›ã‚ˆã†ãƒ¼ãƒ¼ã¯ã˜ã‚ã¦ã§ã‚‚ã§ãるブラウザæ“作自動化 | メルカリエンジニアリング
テスト自動化ã®ç†è«–ã¨æŠ€è¡“ã¨æˆ¦ç•¥ï¼šLINE Developer Meetup Tokyo #39 - Testing & Engineering - LINE ENGINEERING
飽ãã£ã½ã„人ã«æœ—å ±ï¼ã€€ç¢ºå®Ÿã«ç¿’慣を身ã«ã¤ã‘られる66日ルール
よãã‚ã‚‹æ¥å‹™é–‹ç™ºã®è‡ªå‹•åŒ–事情 #jjug_ccc #ccc_cd3
人間を考慮ã—ãŸè‡ªå‹•åŒ–
「最強ã€ã®ãƒãƒ¼ãƒ ã‚’ã€Œé€ ã‚‹ã€æŠ€è¡“基盤
JavaScriptã§è‡ªå‹•åŒ–ï¼Pacifista入門 - Qiita
自動化ã—ã¦ç°¡å˜ï¼šã‚¦ã‚§ãƒ–日記をã¤ã‘ã¦ã¿ã‚ˆã†ï¼ | ライフãƒãƒƒã‚«ãƒ¼ãƒ»ã‚¸ãƒ£ãƒ‘ン
「åŒã˜ã“ã¨ã¯è‡ªå‹•åŒ–ã—ã¦äºŒåº¦ã‚„らãªã„ã€æ™‚間節約術～『Fancy Handsã€å‰µæ¥è€…ã®ä»•äº‹è¡“ | ライフãƒãƒƒã‚«ãƒ¼ãƒ»ã‚¸ãƒ£ãƒ‘ン
Androidã®ã‚らゆるæ“作を自動化ã§ãるアプリ『Taskerã€ã®ä½¿ã„æ–¹ | ライフãƒãƒƒã‚«ãƒ¼ãƒ»ã‚¸ãƒ£ãƒ‘ン
{{#tags}}- {{label}}
{{/tags}}