blogJCUnitの開発日誌(ログ)です。"その時点での"JCUnit作者の理解や考え、開発状況を日本語で書きます。2018-07-24制約処理について(承前)JCUnitでいかにして制約処理(禁則処理)を行っているか?結局のところ、以下の実装がその本質である。Handlingについてだが、率直にいう。0.7.xの制約処理(禁則処理)はたぶん、バグだらけだ。JCUnitで制約を取り扱う必要があるなら、0.8.xを使って欲しい。2017で発表や大学院進学(社会人博士課程)等色々あったのだが、こちらのブログではなんにも報告していなかった。その一方、アクセスログを見るとゴールデンウィーク後、それなりの数のアクセスを頂いているようだ。このブログは開発記録として運営し...近況2017-08-09JCUnitはPICTよりも制約の取り扱いに長けている(ようだ)開発日誌githubにあるPICTレポジトリで報告されているが、PICTには以下のモデルからのテストスイート生成が終わらないという問題がある。2017でJCUnitの発表をすることになりました。スケジュールはこちら。東京で開催されるカンファレンスなのに、日本人の発表者があまり見当たらないのは残念なことです。Birdで少しだけお安くお申し込みできます。2017でJCUnitの発表をすることになりました。handling2016-04-10(第四回)JCUnitで2次方程式を解くプログラムをテストする。本ブログでご案内しているように、javacのバグによりJDK1.7.0_79以前でコンパイルエラーが生じることがわかった。0.6.4をリリースしたので、pom.xmlを以下のように更新して欲しい。<version></version></dependency>...(第四回)JCUnitで2次方程式を解くプログラムをテストする。1.7.0_79ではコンパイルできない。1.7.0_80で修正されたjavacの以下のバグが原因だ。1.7.0_79以前でコンパイルできない。1.7.0_80より古いjavacを使っている場合、JCUnit及びそれを使用したライブラリのコンパイルができないことが判明した。ちなみにこれはjavacのバグだ。8系統でも起きたことがない。1.7.0_79以前でコンパイルできない。2016-03-14(第三回)JCUnitで2次方程式を解くプログラムをテストする。0.6.0にバグがあることとユーザビリティを向上する必要があることがわかり、0.6.2をリリースした。本稿を試すにあたっては以下のようにpom.xmlを更新して欲しい。<groupId>junit</groupid></dependency></dependencies>(第三回)JCUnitで2次方程式を解くプログラムをテストする。2016-03-09(第ニ回)JCUnitで2次方程式を解くプログラムをテストする。2次方程式を解くプログラムをテストさて、39件も失敗した前回のテストだが、どのテストがどのように失敗しているかつぶさに見ていこう。失敗するテストは以下の通り。40,41,42,43,45,46,...(第ニ回)JCUnitで2次方程式を解くプログラムをテストする。2016-03-09(第一回)JCUnitで2次方程式を解くプログラムをテストする。2次方程式を解くプログラムをテスト今回からしばらく、JCUnitの使い方を解説するために簡単なプログラムをテストしてみたいと思う。例題としてQuadraticEquationSolver(2次方程式ソルバー)を取り上げる。a,b,cの三つの入力をとり、これらを係数とする2次方程式を解の公式を使って解く他愛も...(第一回)JCUnitで2次方程式を解くプログラムをテストする。2016-03-070.6.0リリース。長い道のりであったが、0.6.0をリリースした。coordinateは以下のとおり。<scope>test<...</scope></dependency>0.6.0リリース。alphaをリリースしてみた。今回の主要な変更は以下の通り。備忘Xegerというライブラリがある。ある正規表現にマッチするような文字列を乱数によって生成してくれるものだ。JUnitTheoriesランナーについて先日、私自身は使っていないことを書いたのだが、自分で作ってみると興味が出てくるものだ。Haskellでいうquickcheckが念頭にあると、なんでこういう仕様でこういうものを作ろうとしたのかが分かる。開発日誌コードのある場所でTreeMapをLinkedHashMapに変えてみた。JavaBuilderがクラス化された生成子なら、それは本来メソッドの中で使い捨てにされるものだろう。junit@Suiteのついたテストクラスはまとめていろんなクラスにあるテストを実行する。このいろんなクラスというのはSuiteの「子」としてJUnitに扱われる。@Suiteとアノテーションがつけられたクラスの中のあるメソッドをIntelliJのテスト結果画面から選択すると、...IntelliJはParameterizedテストランナーを特別扱いする2015-10-29FSM/JCUnit+Selenium開発日誌これは、、、使えるぞ。開発日誌なんとかかんとか、0.5.5をリリースした。今回の話はレポートで組み合わせとか順列の列挙をするプログラムを作る課題をやってる学生さんには面白い話かもしれない。JCUnitは内部的にcombinatoradix(旧称enumerator)と呼ばれる私が作ったライブラリを使っている。開発日誌こちらのエントリでご紹介いただいたときに「デフォルトで設定されている各型ごとの水準一覧を取る手段がない」という指摘も頂いた。それ自体は、なんとかなりそうで、難しいものでもないのでこんなチケットを作った。...Pluginインタフェースの整理2015-10-21DefaultLevelsProvider開発日誌ダメだコイツ。LevelsProviderのインタフェース自体を見直さないと。DefaultLevelsProvider2015-10-17ConstraintManagerとIPO2TupleGenerator開発日誌IPOはテストケース(Tuple)内の因子(Factor)の水準(Level)を一個ずつ、すべての可能な組み合わせが網羅するように決めていくアルゴリズム。TupleGeneratorを直接取り扱いたい人々が一定数いるように見受けられるので、そのためのクラスやメソッドを整理してみた。リリース(更新)(早速機能拡張をしてるので、10/5現在の最新版は0.5.4です。)今回の目玉は何といってもFSM(有限状態機械)のサポートだ。リリース(更新)2015-08-22思うにAnnotationは雑感MVCで言うならVのようなソフトウェアのプレゼンテーションとかUIとかを担う層とも言える。モデルとビューを分離するのはビューへの変更は頻繁に起こることから来ていて、そしてそれはユーザの選好に大きく依存するからなわけだ。前回のポストからずいぶん時間が経ってしまった。FSMサポートについてのこれまでの設計を見直したいと思ったのと、他のことに興味を奪われていたためだ。間は開いてしまったもののもうすぐ前回の続きを書けると思う。2017でJCUnitの発表をすることになりました。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。