構造化プログラムへの変換とその応用

• Item type: SIG Technical Reports(1)
• 公開日: 1986-11-26
• タイトル: 構造化プログラムへの変換とその応用
• タイトル / 言語: en
• タイトル: AN APPROACH TO RESTRUCTURING OF NON - STRUCTURED PROGRAMMING AND THE APPLICATION (in Japanese)
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 日本アイ・ビー・エム株式会社製品保証
• 著者所属(英): en
• 著者所属(英): Product Assurance Laboratory, IBM Japan, Ltd.
• 著者名: 青山, 幸也
• 著者名(英): Yukiya, Aoyama
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本報告では、非構造化ソースプログラムを、論理的に等価な構造化ソースプログラムに変換するアルゴリズムと、それにもとづく試作ツール、さらにそれらの構造テストへの応用について紹介する。変換アルゴリズムは二進木の考え方を用いており、非構造化プログラムを二進木構造に変換し、それに対していくつかの規則を適用することにより構造化変換を行なう。ART-SP (Automatic Restructuring Tool to Structured Programs)は、このアルゴリズムにもとづく試作ツールであり、内部処理方法について簡単な例をもとに紹介する。構造化変換はそれ自体ではそれほど実用性がないが、ソースプログラムの制御構造を把握しているため、単体テスト段階での構造テストへの応用が考えられる。単体テストは、機能テストと構造テストに分けられ、構造テストはさらに経路テストと分岐テストに分けられる。経路テストはコストの点で問題があり実施が困難だが、分岐テストではテスト網羅率が不十分である。そこで分岐テストの範囲を越えた追加テストを提言するための支援として、構造化変換アルゴリズムの一部を改良して、そのモジュールに含まれる経路テストの範囲の全てのパスを順序番号の形で出力する支援ツールUST (Unit test Support Tool)の開発を試みた。しかし対象とするプログラムの構造によっては膨大なパスが出力されることがある。このことから構造テストにおいて、経路テストと同等のバグ発見効果をもち、テストパス数を最小にする、テストパス選択の最適化の可能性について言及する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: An algorithm which converts 'non-structured source programs' to logically equivalent 'structured source programs' is introduced in this paper. The algorithm is based on the 'binary tree' concept. ART-SP (Automatic Restructuring Tool to Structured Programs), is the prototype of the above algorithm, is also introduced. Although the conversion by the alogrithm does not seem to be practical, it can be applied to Unit testing as a structured testing approach, because the control structure in the source program can be grasped by the algorithm. Structured testing can be classified as two types of testing, Path and Branch. Path testing is hard to execute due to cost. On the contrary, Branch testing has test converage problems. To find and recommend additional test paths beyond the range of Branch testing, we developed a supporting tool, UST (Unit Test Support Tool), using improved conversion algorithm. The UST outputs all paths (within the rangeof branch testing) included in the objective module as lines of sequence numbers. As a result of using UST, a large number of paths were output as expected. Based on this result, a new range which has the same testing coverage as path testing and has a minimum number of test paths is proposed in structure testing.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1986, 号 51(1986-SE-051), p. 1-8, 発行日 1986-11-26
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会