シンボリック実行ã«å…¥é–€ã—よã†ã¨ã—㟠| 一生ã‚ã¨ã§èªã‚“ã§ã‚ã¯ã˜ã‚ã«ã‚·ãƒ³ãƒœãƒªãƒƒã‚¯å®Ÿè¡Œ(symbolic execution)ã¨ã„ã†ç”¨èªžã‚’ã‚»ã‚ュリティ系ã®è«–æ–‡ã§ã‚ˆã見ã‹ã‘るよã†ã«ãªã£ãŸï¼Žã“ã“ã§ã¯ï¼Œã‚·ãƒ³ãƒœãƒªãƒƒã‚¯å®Ÿè¡Œã®åŸºç¤Žã¨ãªã‚‹ç†è«–を辿る．ç†è€…ã¯ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãƒ†ã‚¹ãƒˆã®ç ”究ã«ã¯ç–Žã，ãŠãらã本稿ã«ã¯è‹¥å¹²ä»¥ä¸Šã®èª¤è¬¬ã¨èª¤è§£ãŒå«ã¾ã‚Œã¦ã„ã‚‹ã ã‚ã†ï¼Žãœã²è˜è€…ã®æ•™ç¤ºã‚’乞ã„ãŸã„． 発祥シンボリック実行ã¯ä¸»ã«ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãƒ†ã‚¹ãƒˆã®é ˜åŸŸã§å¤ãã‹ã‚‰ç ”究ã•ã‚Œã¦ããŸãƒˆãƒ”ックã§ã‚る．シンボリック実行ã¨ã„ã†ç”¨èªžã®åˆå‡ºã¯é¡ã‚‹ã“ã¨38å¹´å‰ï¼ŒJames C. Kingらã«ã‚ˆã‚‹Symbolic Execution and Program Testing [PDF]ã¨ã„ã†è«–æ–‡ã ．DijkstraãŒgotoæ–‡ã®æ¿«ç”¨ã«ã‚ˆã‚‹å¤§åŸŸè„±å‡ºã‚’批判ã—ãŸã®ãŒ1968å¹´ã§ã‚り，Guarded Command Languageã‚’æ案ã—ãŸã®ãŒ1975å¹´ã®ã“ã¨ã§ã‚る．ã“ã®è«–æ–‡ãŒç™ºè¡¨ã•ã‚ŒãŸ1976年当時ã¯ã¾ã•ã«æ§‹é€ 化プãƒã‚°ãƒ©
TDDã¯æ»ã‚“ã ã€‚ãƒ†ã‚¹ãƒ†ã‚£ãƒ³ã‚°ã‚ˆæ „ãˆã‚ˆã€‚ by DHH | 2014-04-24 - ã‚„ã£ã¨ã‚€ã§ã½ã‚“
{{#tags}}- {{label}}
{{/tags}}