一类安全性苛求软件非规则测试案例自动生成技术
일류안전성가구연건비규칙측시안례자동생성기술
Exploration into Automatic Generation Technology of Non-regular Testing Cases of a Safety-Critical Software
  • 万方数据
    装甲兵工程学院学报 장갑병공정학원학보
    JOURNAL OF ARMORED FORCE ENGINEERING INSTITUTE
    2004年 2期 83-86 ,共4页

    周清元%郦萌

    주청원%역맹

    自动生成%案例%脚本语言%联锁软件 自動生成%案例%腳本語言%聯鎖軟件
    자동생성%안례%각본어언%련쇄연건
    目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.
    목전,철로차참계산궤련쇄연건측시평태포함자동측시화인공측시.인공측시안례시일사복잡적비규칙적안례,저부분안례유우난이자동생성이지금몰유납입자동화측시.재대저부분안례진행분석기출상,통과일계렬정의,용추상적각본어언대기진행묘술,병급출각본적안례환원산법,종이사기능구자동생성.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문