现代电子技术
現代電子技術
현대전자기술
MODERN ELECTRONICS TECHNIQUE
2007年
16期
114-117
,共4页
MC/DC%形式化方法%模型检查%测试准则
MC/DC%形式化方法%模型檢查%測試準則
MC/DC%형식화방법%모형검사%측시준칙
形式化的需求规格说明以其能够被自动操纵的形式,精确地描述了软件预期提供的功能,为测试提供了良好的条件.运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试中采用的主要途径.MC/DC(修改的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则.结合模型检查技术,提出一种从形式化的软件需求中自动生成测试用例的方法,以达到对软件需求的类似于MC/DC准则的覆盖测试.以一个实际的案例为例,并检验其生成的用例对代码的覆盖率,证明方法的实用性.
形式化的需求規格說明以其能夠被自動操縱的形式,精確地描述瞭軟件預期提供的功能,為測試提供瞭良好的條件.運用模型檢查技術自動生成測試用例是形式化方法在基于需求的測試中採用的主要途徑.MC/DC(脩改的條件/判定覆蓋)準則是一種實用的軟件結構覆蓋率測試準則.結閤模型檢查技術,提齣一種從形式化的軟件需求中自動生成測試用例的方法,以達到對軟件需求的類似于MC/DC準則的覆蓋測試.以一箇實際的案例為例,併檢驗其生成的用例對代碼的覆蓋率,證明方法的實用性.
형식화적수구규격설명이기능구피자동조종적형식,정학지묘술료연건예기제공적공능,위측시제공료량호적조건.운용모형검사기술자동생성측시용례시형식화방법재기우수구적측시중채용적주요도경.MC/DC(수개적조건/판정복개)준칙시일충실용적연건결구복개솔측시준칙.결합모형검사기술,제출일충종형식화적연건수구중자동생성측시용례적방법,이체도대연건수구적유사우MC/DC준칙적복개측시.이일개실제적안례위례,병검험기생성적용례대대마적복개솔,증명방법적실용성.
