ICカード式自動販売機これはICカード式自動販売機の仕様書である。 ICカード式自動販売機のユーザーインターフェースは、商品選択ボタン、取り消しレバー、ICカード読み取り部である。商品選択ボタンは、商品1品目につき1個のプッシュボタンから構成される。取り消しレバーは、ユーザーが押し下げることができる。ユーザーがICカード読み取り部にICカードを近づけると、ICカードとICカード読み取り部との間で通信が行われる。 また、ICカード式自動販売機は物理的な装置として、在庫商品を保管する機構と、商品を取り出し口に落とす機構を持つ。 ICカードにはチャージ金額が記録されている。ICカード式自動販売機は、商品の金額をICカードから引き落とし、かわりに、商品を取り出し口に落とす。

自動販売機の初期状態を設定せよICカード式自動販売機の状態が商品が選択されている状態ならば商品が選択されているときの自動販売機の動作商品が選択されていないとき、ユーザーの操作に反応せよ

自動販売機の初期状態を設定せよ初期状態では、いずれの商品も選択されていない。また、アイドルタイマーは停止している。

ICカード式自動販売機の状態の初期値を商品が選択されていない状態にせよアイドルタイマーの状態の初期値を停止にせよアイドルタイマーの経過時間の初期値を0秒にせよ

商品が選択されているときの自動販売機の動作いずれかの商品が選択されている状態で、ユーザーがICカードを読み取り部にかざすと、ICカードの残高が引き落とされ、商品が取り出し口に落ちる。ICカードの残高が不足しているときは、Function欄に記載した方法で対処する。 ユーザーが取り消しレバーを下げたときは、商品が選択されていない状態に戻る。また、アイドルタイマーが30秒に達すると、商品が選択されていない状態に戻る。

アイドルタイマーの経過時間が30秒を超えたならばICカード式自動販売機の状態を商品が選択されていない状態にせよアイドルタイマーの状態を停止にせよアイドルタイマーの経過時間を0秒にせよアイドルタイマーのタイムアップは状態ではなくイベントなので、elseは考えなくてよい。商品が選択されているとき、ユーザーの操作に反応せよ

商品が選択されているとき、ユーザーの操作に反応せよ商品が選択されていない状態に戻るとき（商取引が完了したとき、または取り消しレバーが下げられたとき）は、アイドルタイマーを停止する。 また、ユーザーがICカードを読み取り部にかざしたが、商取引が実行されなかったとき（ICカードの残高が足りなかったとき）は、アイドルタイマーを0秒に戻す。（再び30秒経過したら、商品を選択していない状態に戻る。）

ユーザーの操作がICカードを読み取り部にかざしたならばアイドルタイマーの経過時間を0秒にせよICカードの残高がユーザーが選択した商品の価格以上であるならばユーザーが選択した商品を取り出し口に落とせICカードの残高をユーザーが選択した商品の価格分だけ引き落とせICカード式自動販売機の状態を商品が選択されていない状態にせよアイドルタイマーの状態を停止にせよアイドルタイマーの経過時間を0秒にせよスピーカーが「ICカードの残高が足りません」と発声せよ取り消しレバーを下げたならばICカード式自動販売機の状態が商品が選択されていない状態にせよアイドルタイマーの状態を停止にせよアイドルタイマーの経過時間を0秒にせよ「ユーザーの操作」は状態ではなくイベントなので、elswは考えなくてよい。

商品が選択されていないとき、ユーザーの操作に反応せよ商品が選択されていないとき、ユーザーが商品のボタンを押すと、そのボタンに対応する商品が選択される。ただし、売り切れの商品を選択しようとしても、何も起きない。 商品が選択された時点からアイドルタイマーのカウントを始める。

ユーザーの操作が商品のボタンを押したならばユーザーが選択した商品が売り切れであるならば売り切れの商品のボタンを押しても、自動販売機の状態は変わらない。ICカード式自動販売機の状態が商品が選択されている状態にせよアイドルタイマーの状態を作動にせよ「ユーザーの操作」は状態ではなくイベントなので、elseは考えなくてよい。ＭＳ ゴシックＭＳ ゴシックFnifelseendifDoswitchcaseelswendswDo Nothing(:loopendlpexitlpFS

機能安全

SE

セキュリティ

となったになったに変わったであるであったＭＳ ゴシックＭＳ ゴシックＭＳ ゴシック我思うグループ1グループ2グループ3グループ4考え中迷ってるもっと調べよ意見を聞けひとまず保留定義し直せレビューせよ属性8属性9属性10属性11属性12属性13属性14属性15工数1工数2工数3工数4工数5工数6工数7工数8工数9工数10工数11工数12工数13工数14工数15工数16原要求項目要求仕様確定システム設計単体設計実装単体テスト統合テスト妥当性確認(:もし次のことを繰り返す、かつ:)ならばここまでを繰り返しとするまたは繰り返しから抜けるを行うをせよ何もしない、がでないが。それら以外