講義1の資料 - 法政大学 情報科学部

ソフトウェア開発技術演習
劉 少英（Shaoying Liu)
情報科学部・コンピュータ科学科
Email: [email protected]
ＨＰ: http://cis.k.hosei.ac.jp/~sliu/
本課程の目標
実践を通じてシステムエンジニアになるために必
要な技術を勉強する。
システム開発プロセス
1
要求分析と
要求仕様の
作成
3
仕様と設計の
検査
（inspection）
ソフトウェア
システム
の設計
2
4
設計に基づく
システムの
実装
5
プログラムの
テスト
講義の計画
１．システムの記述からＳＯＦＬ（Structured
Object-oriented Formal Language)非形式要求
仕様への変換技術。
２．Ｓｕｉｃａカードシステムのsmall プロジェクト１ー
非形式仕様の作成。
３．SOFL半形式要求仕様の紹介。
４．ＳＯＦＬ非形式要求仕様からＳＯＦＬ半形式要求
仕様への変換技術。
５．Ｓｕｉｃａカードシステムのsmall プロジェクト2ー
半形式仕様の作成。
６．非形式要求仕様を基に半形式要求仕様の検査技術。
７．Ｓｕｉｃａカードシステムのsmallプロジェクト3ー検査。
８～９．SOFL形式仕様の紹介。
１０．ＳＯＦＬ半形式要求仕様からＳＯＦＬ形式設計仕様へ
の変換技術。
１１．Ｓｕｉｃａカードシステムのsmallプロジェクト4ー形式仕
様の作成。
１２．半形式要求仕様に基づく形式設計仕様の検査技術
とsmallプロジェクト5ー検査。
１３～１５．ＳＯＦＬ形式設計仕様に基づくシステムの実装
技術とＳｕｉｃａカードシステムのsmallプロジェクト6ー実
装。
本課程の要求と評価
要求：
（１）毎週の授業に出席し、一生懸命勉
強する。
（２）クラス練習を完成する。
（３）smallプロジェクトを完成する。
評価：
（１）出席： ２０％
（２）クラス練習： ３０％
（３）smallプロジェクト： ５０％
１．システム記述からＳＯＦＬ
（Structured Object-Oriented
Formal Language)非形式要求仕様
への変換技術。
（１）システム記述：
システム記述とは、開発するシステムの情報を
様々な角度から書いた文書である。
ＡＴＭシステム記述の事例
ATM用ソフトウェアシステムとは、カスタマが
自分の銀行口座を開いたり、その口座に関連し
ているいろいろな操作を行うことができるシステ
ムである。次にＡＴＭシステムのこのような機能
について詳しく述べる。
銀行口座の開設に関しては、銀行口座を開設
するため、カスタマは、自分の情報を登録するこ
とが必要である。カスタマの情報は、名前、生年
月日、住所、口座番号、パースワールド、最初入
金額などを含む。
ＡＴＭ器からカスタマへ提供すべき口座に
関するサービスは、預金、お金の引き出し、残
高の表示、および口座間の振り込みなどを含
む。
本ＡＴＭ器には、最大５万人のカスタマの口
座を対応できる。一人のカスタマは、一つの口
座しか持つことができない。更に、カスタマは
サービスを利用する前に、必ず口座番号と
パースワールドの提供が必要である。また、カ
スタマは、銀行からお金を借りることができな
い。毎回の引き出す金額は、２０万円を超えな
い。毎回の振り込み金額は、最大１００万円で
ある。
（２）ＳＯＦＬ非形式要求仕様： 「機能」、「データリソース」および
「制約」から構成された文書である。
1 Functions (機能）
1.1 F1
1.1.1 F11
1.1.2 F12
1.1.3 F13
1.1.4 F14
1.2 F2
1.2.1 F21
1.2.2 F22
1.2.3 F23
1.3 F3
2 Data resources （データリソース）
2.1 D1 (F1.1, F1.3) /*データD1は、機能F1
とF3に用いられる*/
2.2 D2 (F1.2)
2.2.1 D21
2.2.2 D22
2.3 D3 (F1.1)
3 Constraints （制約）
3.1 C1 (F1.1,D2.1) /*C1は、機能F1とデー
タD1への制約*/
3.2 C2 (F1.3, D2.2)
3.2.1 C21
3.2.2 C22
3.2.2.1 C221
3.2.2.2 C222
ＡＴＭシステムのＳＯＦＬ非形式要求仕
様の事例
1 Functions
1.1 銀行口座の開設
1.2 預金
1.3 お金の引き出し
1.4 残高の表示
1.5 口座間の振り込み
1.5.1 振り込み先の口座情報を得る。
1.5.2 振り込み金額のチェック。
1.5.3 振り込みを行う。
1.6 口座番号とパースワールドの照合
2 Data resources
2.1 一人のカスタマ口座情報（名前、生年月日、
住所、 口座番号、パースワールド、最初入金
額）
(F1.1, F1.2, F1.3, F1.4, F1.5, F1.6)
2.2 全てのカスタマ口座情報（ F1.1, F1.2, F1.3,
F1.4, F1.5, F1.6）
3 Constraints
3.1 最大５万人のカスタマの口座を対応できる。（F1.1, D2.1)
3.2 一人のカスタマは、一つの口座しか持つことができない。
(D2.1)
3.3 カスタマはサービスを利用する前に、必ず口座番号とパース
ワールドの提供が必要である。（F1.2, F1.3, F1.4, F1.5)
3.4 カスタマは、銀行からお金を借りることができない。
(F1.2, F1.5, D2.1)
3.5 毎回の引き出す金額は、２０万円を超えない。
(F1.3, D2.1)
3.6 毎回の振り込み金額は、最大１００万円である。
(F1.5, D2.1)
クラス練習１
次のページに記述した「誕生日システム」のシス
テム記述をＳＯＦＬ非形式要求仕様へ変換せよ。
誕生日帳システム記述：
誕生日帳とは、法政大学の学生たちの誕生日を
記録している本である。誕生日帳システムとは、その誕生
日帳に新しい誕生日を登録したり、学生の誕生日を探した
り、登録間違った誕生日を更新したり、卒業した学生の誕
生日を削除したりするソフトウェアシステムである。
誕生日帳には、一人に対して一つの誕生日しか
登録できない。また、同姓同名の可能性がない。
誕生日帳に最大１００人の誕生日しか登録できな
い。