A9：パネル・ディスカッション
A9: Panel Discussion

パネリスト(ソフトウェア工学四銃士)

ソフトウェアの国際的な動向について

・トム・デマルコ(アトランティック・システム・ギルド)
・大場充 (広島市立大学)(ソフトウェア開発技術版「良い子、悪い子、普通の子」)

・松尾谷徹 (デバッグ 工学研究所)
・古川善吾 (香川大学)

Ｉｎｔｅｒｎａｔｉｏｎａｌ
Ｔｒｅｎｄｓin Software
Development Technologies

Panelists (The Four Musketeers in Software Engineering)- Tom DeMarco (The Atlantic System Guild)(We’re looking for a few good development technologies)- Mitsuru Ohba (Hiroshima City University)- Tohru Matsuodani (Debug Engineering Research Center)

Jan. 28, 2004 15:20〜16:20
Japan Symposium on Software Testing 2004

- Zengo Furukawa (Kagawa University)

1

2

事前アンケート： 以下に該当するツールや技術を５つ挙げて下さい。
ソフトウェアの国際的な動向について･･・・・ と言うより、(1) 過去30年、最も成功したと思うもの。

これからの ソフトウェア開発で効果がある技術の大予想大会(2) 過去30年、期待倒れだったと思うもの。

(1) 期待できる技術は？

(3) 今後10年、技術革新の目玉になりそうだと思うもの。

(2) 期待倒れの技術は？

(4) 今後10年、期待倒れで終わると思うもの。

International Trends in Software Development Technologies or

Questioinnaire on Software development tools and technologies:

Fortune Telling on the software development technologies.

(1) The top 5 most successful ones in the last 3 decade?

(1) What will be the most promising technologies or tools ?

(2) The top 5 let-downs in the last 3 decade ?

(2) What will be the most miserable let-downs ?

(3) The top 5 breakthrough candidates in the next decade?
(4) The top 5 future let -downs in the next decade ?
3

1. 過去30年、最も成功したと思うツールや技術 (■：他と激しく対立、■：他とやや対立)
デマルコ チーム、オブジェクト指向、回帰テスト、Java、イベント駆動分析
大場

松尾谷

コンパイラ、インターネット系技術、構造化プログラミング、情報隠蔽、ソフトウェア工場、プロセス工学
日本語処理 システム 、TCP/IP とWeb アプリケーション 、GNU ソフトウェア、

4

2. 過 去30 年、期待倒 れと思 うツール や技 術 (■：他と激しく対立、■：他とやや対立)
デマルコ 残 業・休出 、C M M、公 的 機 関の 資格認定 、コード・インスペクション、文書化
大場

アセスメント松尾谷ソフトウェア 工場 によるソフトウェアの生 産 管 理 (製造業 の管 理 技 術でソフトウェア を制御すること)

古川

数 値 解 析の 境界分析 、データフロー 被 覆 率、変異 テスト法 、記 号 実 行、

特 定 領 域の アプリケーション (e.g., Mathematica, LaTex, AMOS)
古川

パス被覆率、バグ成長曲線、テスト環境、仕様に基づくテスト

テスト・ツール 、要 求 仕 様ツール、インターネット、擬 似 メトリクス、プロセス・メトリクス

1. The most successful tools and technologies in the last 3 decades(■：Seriously contradicts with others, ■：Moderately contradicts with others)
DeMarcoTeams, Object paradigm, Regression testing, Java, Event-driven analysis

OhbaCompilers, Internet, Structured programming, Infornmation hiding,
Software factory, Software process engineering
Matsuodani Unicode, TCP/IP and Web application software, GNU software, Domain
specific software (e.g., Mathematica, LaTex, AMOS)
Furukawa Path coverage rate, Bug growth model, Test environment, Requirementbased testing5

2. The let- downs in the last 3 decades(■：Seriously contradicts with others, ■：Moderately contradicts with others)
Overtime, CMM, Certification of Software Engineers by government,
DeMarcoCode inspection, Documentation
Ohba

Test tools, Requirement specification tools, Internet, Pseudo- metrics,Process Assessment

Matsuodani The software factory applying the mass production practices to the softwaredevelopment (e.g., ISO 9000 Quality Management).
Furukawa

Boundary analysis, Data flow coverage, Mutation testing, Symbolic execution,
Software metrics
613.今後10年、技術革新の目玉になりそうなもの (■：他と激しく対立、■：他とやや対立)

4. 今 後10 年、期待倒 れ で終 わると思うもの (■：他と激しく対立、■：他とやや対立)

デマルコ アジャイル開発法 ( eXtreme Programming, SCRUM, クリスタル 法、,アダプティブ ・ソフトウェア開発, etc), リスク管 理

デマルコ

ソフトウェア 開発 プロセスの 定 型 化 (簡 単な部分 は定型化 できるだろうが、簡 単すぎるので、そ の必 要はない )大場

オブジェクト指 向、ディスカッション・ツール(例 gIBIS)、構造化英語 、プロセス記 述と記 録、分散 ファイル 管理

大場形式的手法 、設 計ツール、知識獲得 ツール、自動 プログラミング・ツール 、松尾谷

仕 事 満 足 を満たす 協働環境 、検 証 指 向 設 計

松尾谷

非 熟 練 者 指 向 開 発 (技術者 の習 熟 以 外の 方法 で生 産 性や 品質 を向 上させるアプローチ)

古川

自 動 テスト、検証 ツール 、仕 様に基 づくテスト、統 計 的 テスト

古川

バ グ成 長 曲 線

品 質 認 定(例 えば、ISO9000)

4. The future let -downs in the next decade(■：Seriously contradicts with others, ■：Moderately contradicts with others)
DeMarcoFormality in the development process (Only the easy parts are formalizable,

3. The breakthrough candidates in the next decade(■：Seriously contradicts with others, ■：Moderately contradicts with others)
DeMarcoAgile Methodologies ( eXtreme Programming, SCRUM, Crystal Methods,
Ohba

Adaptive Software Engineering, etc), Risk Management
Object oriented design methods, Discussion tools (e.g., gIBIS), Structured
English, Process description & recording, Distributed file management

And they are so easy that they don ’t need it)
Ohba

Matsuodani The working environment that satisfies customers and employees (This will
improve the team productivity and motivation), Verification-oriented design.
Furukawa Automatic testing, Verification tools, Requirement -based testing,Statistics- driven testing

Formal methods, Design tools, Knowledge acquition tools, Automatic
programming tools, Software quality assurance methods (e.g., ISO9000)

Matsuodani Skill- maturity independent development (Development methods to improve
productivity and quality without engineer ’s skill improvement)
Furukawa
7

Bug growth model82