MC/DCã«ã‚ˆã‚‹ç¾å®Ÿçš„ãªç¶²ç¾…ã®ã‚¹ã‚¹ãƒ¡ (PDF)CESL Copyright CATS 2009 [2009 å¹´ 7 月 8 æ—¥]1 MC/DC ã«ã‚ˆã‚‹ç¾å®Ÿçš„ãªç¶²ç¾…ã®ã‚¹ã‚¹ãƒ¡ æ¾æœ¬ 充広†Modified condition/decision coverage（MC/DC）ã¯ï¼Œã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã®ãƒ†ã‚¹ãƒˆç¶²ç¾…度ã¨ã—ã¦éž 常ã«æœ‰åŠ¹ãªæŒ‡æ¨™ã§ã‚る．テスト網羅度ã¯ï¼Œã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãƒ†ã‚¹ãƒˆã«ãŠã„ã¦ï¼Œå……分ã«ãƒ†ã‚¹ãƒˆã—ãŸï¼Œã¨ ã„ã†å“質基準を定義ã™ã‚‹æŒ‡æ¨™ã®ä¸€ã¤ã§ã‚り，テスト網羅度を用ã„ã‚‹ã“ã¨ã§ï¼Œã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢å“質 ã‚’ä¿æŒã—ãªãŒã‚‰ï¼Œã‚³ã‚¹ãƒˆã‚„時間ãŒç„¡åˆ¶é™ã«å¢—大ã™ã‚‹ã®ã‚’é¿ã‘ã‚‹ã“ã¨ãŒã§ãる．MC/DC ã¯ï¼Œæ•… éšœãŒäººå‘½ã«ä¿‚ã‚る航空機ソフトウェアã®ãƒ†ã‚¹ãƒˆæ™‚ã«ä½¿ç”¨ã™ã‚‹ãƒ†ã‚¹ãƒˆç¶²ç¾…度ã¨ã—ã¦ï¼Œç±³å›½ã®èˆª 空機産æ¥ã®æ¥ç•Œå›£ä½“ã§ã‚ã‚‹ RTCA ãŒç–定ã—㟠DO-178B ã®ä¸ã§é–‹ç™ºã•ã‚ŒãŸï¼ŽMC/DC 開発 以å‰ã«å˜åœ¨ã—ãŸãƒ†ã‚¹ãƒˆç¶²ç¾…度ã¯ï¼Œæ§˜ã€…ãªå•é¡Œã‚’æŒã£ã¦ã„ãŸãŒï¼Œã“れらã®å•é¡ŒãŒ MC/DC
googletest - Google C++ Testing Framework - Google Project Hosting
{{#tags}}- {{label}}
{{/tags}}