東方算程譚

Oriental Code Talk ── επιστημηが与太をこく、弾幕とは無縁のシロモノ。

目次

Blog 利用状況

ニュース

著作とお薦めの品々は

著作とお薦めの品々は
東方熱帯林へ。

あわせて読みたい

わんくま

  1. 東京勉強会#2
    C++/CLI カクテル・レシピ
  2. 東京勉強会#3
    template vs. generics
  3. 大阪勉強会#6
    C++むかしばなし
  4. 東京勉強会#7
    C++むかしばなし
  5. 東京勉強会#8
    STL/CLRによるGeneric Programming
  6. TechEd 2007 @YOKOHAMA
    C++・C++/CLI・C# 適材適所
  7. 東京勉強会#14
    Making of BOF
  8. 東京勉強会#15
    状態遷移
  9. 名古屋勉強会#2
    WinUnit - お気楽お手軽UnitTest

CodeZine

  1. Cで実現する「ぷちオブジェクト指向」
  2. CUnitによるテスト駆動開発
  3. SQLiteで組み込みDB体験(2007年版)
  4. C++/CLIによるCライブラリの.NET化
  5. C# 1.1からC# 3.0まで~言語仕様の進化
  6. BoostでC++0xのライブラリ「TR1」を先取りしよう (1)
  7. BoostでC++0xのライブラリ「TR1」を先取りしよう (2)
  8. BoostでC++0xのライブラリ「TR1」を先取りしよう (3)
  9. BoostでC++0xのライブラリ「TR1」を先取りしよう (4)
  10. BoostでC++0xのライブラリ「TR1」を先取りしよう (5)
  11. C/C++に対応した、もうひとつのUnitTestFramework ─ WinUnit
  12. SQLiteで"おこづかいちょう"
  13. STL/CLRツアーガイド
  14. マージ・ソート : 巨大データのソート法
  15. ヒープソートのアルゴリズム
  16. C++0xの新機能「ラムダ式」を次期Visual Studioでいち早く試す
  17. .NETでマンデルブロ集合を描く
  18. .NETでマンデルブロ集合を描く(後日談)
  19. C++/CLI : とある文字列の相互変換(コンバージョン)
  20. インテルTBBによる選択ソートの高速化
  21. インテルTBB3.0 によるパイプライン処理
  22. Visual C++ 2010に追加されたSTLアルゴリズム
  23. Visual C++ 2010に追加されたSTLコンテナ「forward_list」
  24. shared_ptrによるObserverパターンの実装
  25. .NETでマンデルブロ集合を描く(番外編) ── OpenCLで超並列コンピューティング
  26. StateパターンでCSVを読む
  27. 状態遷移表からStateパターンを自動生成する
  28. 「ソートも、サーチも、あるんだよ」~標準C++ライブラリにみるアルゴリズムの面白さ
  29. インテルTBBの同期メカニズム
  30. なぜsetを使っちゃいけないの?
  31. WPFアプリケーションで腕試し ~C++でもWPFアプリを
  32. C++11 : スレッド・ライブラリひとめぐり
  33. Google製のC++ Unit Test Framework「Google Test」を使ってみる
  34. メールでデータベースを更新するココロミ
  35. Visitorパターンで遊んでみたよ
  36. Collection 2題:「WPFにバインドできる辞書」と「重複を許す検索set」
  37. Visual C++ 2012:stateless-lambdaとSQLiteのぷち拡張
  38. 「Visual C++ Compiler November 2012 CTP」で追加された6つの新機能

@IT

  1. Vista時代のVisual C++の流儀(前編)Vista到来。既存C/C++資産の.NET化を始めよう!
  2. Vista時代のVisual C++の流儀(中編)MFCから.NETへの実践的移行計画
  3. Vista時代のVisual C++の流儀(後編) STL/CLRによるDocument/Viewアーキテクチャ
  4. C++開発者のための単体テスト入門 第1回 C++開発者の皆さん。テスト、ちゃんとしていますか?
  5. C++開発者のための単体テスト入門 第2回 C++アプリケーションの効率的なテスト手法(CppUnit編)
  6. C++開発者のための単体テスト入門 第3回 C++アプリケーションの効率的なテスト手法(NUnit編)

AWARDS


Microsoft MVP
for Visual Developer - Visual C++


Wankuma MVP
for いぢわる C++


Nyantora MVP
for こくまろ中国茶

Xbox

Links

記事カテゴリ

書庫

日記カテゴリ

状態遷移のテスト法

僕の部屋には扇風機があります。
(簡略化して)ボタンは源と量のふたつだけ。
扇風機の状態は 電源/// の4つ。

- 電源源ボタン押すとに。
- //源ボタン押すと電源に。
- 電源入った状態で量ボタン押すと...の順に切換。

そーすっと状態遷移表はこんなのができます。

 
→弱 →断 →断 →断
→断 →中 →強 →弱

こいつを基に遷移行列を作ります。
遷移行列てのはある状態からある状態に遷移させるのに必要な事象の行列。

 
   
   
   
   

わかるよね。縦に並ぶのが今の状態、横に並ぶのが次の状態。
この表によると、弱から中にするには風ボタンを押せばいい

さて、この遷移行列をTとし、T^2 (=T×T) を求めると:

 
風風+電電 風電 電風
電風+風電 電電    風風
電風+風電 電電+風風      
電風+風電 電電 風風  


こんなのができます。
これは二回の操作で状態を遷移させるときの事象の列
すなわち操作の列が表になってます。
たとえば中状態から二回の操作で断にするには
電・風または風・電の順にボタンを押せばいい。

遷移行列の掛け算を繰り返して T^n (= T×T×T×....×T)
を求めると、n回の操作で状態を遷移させるときの操作の列
が得られます。

ってことは、だ。全自動"扇風機のボタン押しますぃーん"を用意して、
T^nの遷移行列に記されたとおりにボタンをn回押させ、
期待する状態に落ち着くかを検証すれば扇風機のテストができるわけっすね。

ややこしいUI操作や通信プロトコルなんかもこの戦略でテスト
できそうなんだよねー

投稿日時 : 2008年8月6日 12:11

コメントを追加

# re: 状態遷移のテスト法 2008/08/06 13:39 Streetw☆

すごい。。¢(. .。)メモメモ
普通はものすごいパターンになると思うので、
断→断、弱→弱
とかの通常は無意味なパターンについては
優先順位を下げて検証する手もあると思いました。
その場合、最初の行列Tの段階で減らしておけばいいですね~

# re: 状態遷移のテスト法 2008/08/06 15:16 επιστημη

うん、空のマスがひとつも無い最小次数の遷移行列T^mを用意すれば任意の2状態間を遷移させる操作が得られます。
そーすりゃ全状態の遷移を通過する一連の事象列が求まりますな。

# re: 状態遷移のテスト法 2008/08/06 16:13 刈歩 菜良 CTP

正攻法ではつっこみどころがないので(あたりまえ)、たわごと系で...

自宅ではクーラーを使わない裸族のわたくしとしましては、扇風機に電源を入れた時は強であってほしいです。
で、ある程度汗が引いたところで風を徐々に弱くしていきます。

ちなみに、うちにある扇風機は切・弱・中・強の4つボタン。
切でも電源断にはなりますが、他のボタンでも半押しで電源断できるハイブリッドな奴です。
(^^)v

# re: 状態遷移のテスト法 2008/08/06 21:54 読者

イレギュラーなテストは、何処行ったのですか?

同時押しとか、全押しとか…ボタン押しっぱとか…しない?w

# re: 状態遷移のテスト法 2008/08/06 22:03 επιστημη

何処行ったもなにも、ここではそんな話してません。
状態遷移表に従った挙動が正しく実装されているかを
検証を目的としたテストケース生成のための
「遷移行列の積によって生成される事象の列」
がネタなんですが、ご理解いただけなかったかな?

異常系はまったく別物です。

# re: 状態遷移のテスト法 2008/08/06 22:19 読者

「状態遷移」のテストでしたね、済みません。。

# re: 状態遷移のテスト法 2008/08/07 11:53 επιστημη

かるぼタンごめんなさい。
どうリアクションしていいのかわかんなかったので
とりあえずもう一本エントリ立てました。
# 一時間二十分格闘した結果がこれだよ!

# パターンマッチと項書き換え - Mathematica で非可換なシンボル計算 2008/08/08 0:48 NyaRuRuの日記

状態遷移のテスト法 - 東方算程譚 状態遷移のテスト法(そのに) - 東方算程譚” 遷移行列てのはある状態からある状態に遷移させるのに必要な事象の行列。  断弱中強 断風電   弱電 風  中電  風 強電風   わかるよね。縦に並ぶのが今の状態、横に並ぶのが次の状態。

# re: 状態遷移のテスト法 2008/08/08 11:02 刈歩 菜良 CTP

> かるぼタンごめんなさい。
こ、こちらこそごめんなさい。
じょ、じょーだんだったんすよぉ。
超恐縮です。
<(_ _)>

# qdwywnSymtMxHnkIy 2021/07/03 3:32 https://amzn.to/365xyVY

single type of cultural symbol. As with all the assistance

# TJdNHCFEuquFosZKWMA 2021/07/03 5:02 https://www.blogger.com/profile/060647091882378654

Merely a smiling visitant here to share the love (:, btw outstanding design. Individuals may form communities, but it is institutions alone that can create a nation. by Benjamin Disraeli.

# re: ????????? 2021/08/08 10:09 hydroxychoriquine

what is chloroquine used for https://chloroquineorigin.com/# hydroxychloroquine use

タイトル  
名前  
URL
コメント