基于形式规格说明和分类树方法生成软件测试用例
기우형식규격설명화분류수방법생성연건측시용례
Test Case Design Based on Formal Specification and Classification-tree Method
  • 万方数据
    微计算机应用 미계산궤응용
    MICROCOMPUTER APPLICATIONS
    2007年 4期 411-414 ,共4页

    朱连章%马桂真

    주련장%마계진

    测试用例%规格说明%分类树方法 測試用例%規格說明%分類樹方法
    측시용례%규격설명%분류수방법
    介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法.由软件的形式规格说明构造分类树,再把由分类树方法得到的测试用例转化为析取范式,进一步精炼测试用例.并通过一个实例说明测试用例的设计过程.
    개소료일충기우형식규격설명화분류수방법생성연건측시용례적방법.유연건적형식규격설명구조분류수,재파유분류수방법득도적측시용례전화위석취범식,진일보정련측시용례.병통과일개실례설명측시용례적설계과정.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문