![テストモデル
import modbat.dsl._
class SimpleListModel extends Model {
val SUT = new java.util.ArrayList[Integer]() var n = 0
def add {
val ret = SUT.add(new Integer(choose(0, 10))) assert (ret)
n += 1
}
def remove {
require(n > 0) SUT.remove(choose(0, n)) n -= 1
}
def bounds { choose(
{ () => SUT.remove(-1) },
{ () => SUT.remove(n) } )
}
"main" -> "main" := add weight 10
"main" -> "main" := remove
"main" -> "main" := { assert (SUT.size == n) }
"main" -> "main" := { SUT.clear; n = 0 }
"main" -> "main" := bounds throws("IndexOutOfBoundsException")](https://image.slidesharecdn.com/scala-kansai-summit-2015-yamagata-150801061727-lva1-app6892/85/Scala-12-320.jpg)
![実行結果
yoriyuki$ scala -classpath . openmodbat-3.1-dev.jar -s=7 -n=1000 --abort-
probability=0.02 model.ArrayListModel
[INFO] 1000 tests executed, 999 ok, 1 failed.
[INFO] One type of test failure:
[INFO] 1) java.util.ConcurrentModificationException at failingNext:
[INFO] 6945df2424fcf4ff
[INFO] model.ArrayListModel: 1 states covered (100 % out of 1),
[INFO] model.ArrayListModel: 11 transitions covered (100 % out of 11).
[INFO] model.IteratorModel: 2 states covered (100 % out of 2),
[INFO] model.IteratorModel: 9 transitions covered (81 % out of 11).
[INFO] model.ListIteratorModel: 2 states covered (100 % out of 2),
[INFO] model.ListIteratorModel: 26 transitions covered (89 % out of 29).
[INFO] Random seed for next test would be: 90606ba433a51041](https://image.slidesharecdn.com/scala-kansai-summit-2015-yamagata-150801061727-lva1-app6892/85/Scala-13-320.jpg)
Ad
More Related Content
Viewers also liked (6)
Similar to Scalaによるドメイン特化言語を使ったソフトウェアの動作解析 (20)
Ad
More from Yamagata Yoriyuki (16)
Ad
Scalaによるドメイン特化言語を使ったソフトウェアの動作解析
- 1. Scalaによるドメイン特化言語を 使ったソフトウェアの動作解析 Scala Kansai summit 2015, 2015/08/01 山形賴之
- 2. 自己紹介 • 産総研主任研究員 • もともと数学科でλ計算とかやっていた • その流れでOCamlを • Scalaは去年の12月くらいから • http://staff.aist.go.jp/yoriyuki.yamagata/
- 3. ドメイン特化言語
- 4. ドメイン特化言語(DSL) • 特定の目的に特化した言語 Make, shellスクリプト,Rails等のWebフレーム ワーク… • c.f. 汎用言語 Scala, Java, Python…
- 5. 分類 • 外部DSL • 内部(埋め込み)DSL(EDSL) • 浅い埋め込み • 深い埋め込み
- 6. Scala上でのEDSL - 利点 • 型安全性 • 演算子の型多態 • 暗黙の型変換
- 7. Scala上でのEDSL - 欠点 • 演算子の優先度が固定 • 演算子の結合性が固定 だんだんScalaの字句解析器と格闘している気がし てくる
- 8. Modbat
- 9. Modbat • MODel BAsed Testerの略 • Cyrille Artho(産総研)とArmin Biere(ヨハネス・ ケプラー大学)が共同開発 https://staff.aist.go.jp/c.artho/modbat/
- 10. 普通のUnit test ArrayList<Integer> testArrayList = new ArrayList<Integer>(); Iterator<Integer> it = testArrayList.iterator(); try { testArrayList.remove(-1); } catch (IndexOutOfBoundsException e) { } try { it.next(); } catch (ConcurrentModificationException e) { System.err.println("ArrayList: Should be NoSuchElementException!"); }
- 12. テストモデル import modbat.dsl._ class SimpleListModel extends Model { val SUT = new java.util.ArrayList[Integer]() var n = 0 def add { val ret = SUT.add(new Integer(choose(0, 10))) assert (ret) n += 1 } def remove { require(n > 0) SUT.remove(choose(0, n)) n -= 1 } def bounds { choose( { () => SUT.remove(-1) }, { () => SUT.remove(n) } ) } "main" -> "main" := add weight 10 "main" -> "main" := remove "main" -> "main" := { assert (SUT.size == n) } "main" -> "main" := { SUT.clear; n = 0 } "main" -> "main" := bounds throws("IndexOutOfBoundsException")
- 13. 実行結果 yoriyuki$ scala -classpath . openmodbat-3.1-dev.jar -s=7 -n=1000 --abort- probability=0.02 model.ArrayListModel [INFO] 1000 tests executed, 999 ok, 1 failed. [INFO] One type of test failure: [INFO] 1) java.util.ConcurrentModificationException at failingNext: [INFO] 6945df2424fcf4ff [INFO] model.ArrayListModel: 1 states covered (100 % out of 1), [INFO] model.ArrayListModel: 11 transitions covered (100 % out of 11). [INFO] model.IteratorModel: 2 states covered (100 % out of 2), [INFO] model.IteratorModel: 9 transitions covered (81 % out of 11). [INFO] model.ListIteratorModel: 2 states covered (100 % out of 2), [INFO] model.ListIteratorModel: 26 transitions covered (89 % out of 29). [INFO] Random seed for next test would be: 90606ba433a51041
- 14. Java 1.8 ArrayListの不整合な挙動 • list.remove(-1)したあと、iterator.next()する • ConcurrentModificationExceptionがthrowされる https://bugs.openjdk.java.net/browse/JDK-8114832
- 15. その他の事例 • Incremental SAT solverのテストスイーツ • Apache Zookeeperのテストスイーツ(開発中)
- 16. CSP_E
- 17. CSP • Communicating Sequential Processesの略 • Hoareにより70年代に並行プログラミングのモデ ルとして提案 • 同期通信がプリミティブ • c.f. CCS, π計算, アクターモデル…
- 19. CSP_Eのよる記述例
- 20. 現状 • メモリーを多量に消費して落ちる • 非同期通信をどう表現するか？ • アクターモデルのほうが良かったかも
- 21. まとめ
- 22. • Scalaを使って型安全なEDSLを作る • EDSLを使って、ソフトウェアテストを自動化 • 動的なテストシナリオ生成→Modbat • 並行分散システムのログ監視→CSP_E