ソフトウェア機能試験手順の状態遷移表に基づいた生成法 Methods for generating software functional test sequences from a state transition table

この論文にアクセスする

この論文をさがす

著者

    • 山中 弘 YAMANAKA Hiroshi
    • 三菱電機株式会社 情報技術総合研究所 Information Technology R & D Center, Mitsubishi Electric Corporation
    • 中島 毅 NAKAJIMA Tsuyoshi
    • 三菱電機株式会社 情報技術総合研究所 Information Technology R & D Center, Mitsubishi Electric Corporation
    • 別所 雄三 BESSHO Yuzo
    • 三菱電機株式会社 情報技術総合研究所 Information Technology R & D Center, Mitsubishi Electric Corporation

抄録

本稿では,状態遷移表で記述されたマンマシン系のマイコン組込みソフトウェアの仕様に基づき,ソフトウェア機能試験手順を自動生成する方法について記述する.我々は,マイコン組込みソフトウェアのシステム試験工程を目的別に,機能適合試験,信頼性向上試験,再試験の3つに分類し,それぞれの性格にあった試験手順生成法について考察した.機能適合試験向けの試験手順生成法としては,従来から知られている手法を採用したが,信頼性向上試験,および再試験向けの試験手順生成法としては,それぞれ試験手順を部分手順毎に生成し結合する手法,および状態遷移のレイヤを指定して手順を生成する手法を新しく提案した.In this paper, we describe methods for generating test sequences from a state transition table, in which the specification of the man machine interface for microcomputer software is described. We classify the system testing for microcomputer software into three types in terms of its purpose: functional conformance, reliance, and regression testing. We considered the method that generates suitable test sequences for each test type, and established two new methods for reliance, and regression testing. The method for reliance testing is that can create partial test sequences and combine them. And the method for regression testing is that creates test sequences by the layer of state transition table.

In this paper, we describe methods for generating test sequences from a state transition table, in which the specification of the man machine interface for microcomputer software is described. We classify the system testing for microcomputer software into three types in terms of its purpose:functional conformance, reliance, and regression testing. We considered the method that generates suitable test sequences for each test type, and established two new methods for reliance, and regression testing. The method for reliance testing is that can create partial test sequences and combine them. And the method for regression testing is that creates test sequences by the layer of state transition table.

収録刊行物

  • 情報処理学会研究報告ソフトウェア工学(SE)

    情報処理学会研究報告ソフトウェア工学(SE) 1998(20(1997-SE-118)), 119-126, 1998-03-10

    一般社団法人情報処理学会

参考文献:  6件中 1-6件 を表示

被引用文献:  3件中 1-3件 を表示

各種コード

  • NII論文ID(NAID)
    110002931756
  • NII書誌ID(NCID)
    AN10112981
  • 本文言語コード
    JPN
  • 資料種別
    Technical Report
  • ISSN
    09196072
  • データ提供元
    CJP書誌  CJP引用  NII-ELS  IPSJ 
ページトップへ