機能要件・非機能要件と、レビュー、テスト、形式仕様、シミュレーションの関係

をまとめてみる。

■機能要件において、
プログラムが出来れば、単体・結合テストをすれば調べられる
しかし、それまでにおいては、
　　・レビューで確認する
　　・形式仕様記述で確認する
ということが考えられる。
「このことが起こったら、ぜったいこれは起こらない」というようなことを調べる場合は、
これをＬＴＬ式にして、ＳＰＩＮとかでも調べられるかもしれない
（＝モデル検査も可能な部分がある）



■非機能要件において、
プログラムが出来れば、総合テストをすれば調べられる
しかし、それまでにおいて、
　　・レビューで確認する
　　・形式仕様記述で確認する
ことには、限界がある。性能評価とか、競合とかは、レビューでは難しいところがある。
この場合
　　・モデル検査(形式仕様の一部と考えられる）
　　・シミュレーション
を利用する。
モデル検査が全数チェックするのに対し、シミュレーションは乱数を発生させるので、（シミュレーションは）必ずしも全部は調べていない。だから、バグを全てつぶしているかどうかは判らないが、問題を早期に発見することには貢献している。


なかんじかしら。

NoSQLのMongoDBをJavaでアクセスしてみる

この前、

NoSQLのMongoDBを立ち上げてみる
http://blog.goo.ne.jp/xmldtp/e/03c3407abbc1897423569441aa0bd976

というのを書いて、立ち上げるところまでは、やったけど、アクセスはしていなかった。
今回は、Ｊａｖａでアクセスしてみる。

---

■ドライバダウンロード

ここ

mongo-java-driver
https://github.com/mongodb/mongo-java-driver/downloads

から、mongodbのjavaのドライバをダウンロードする。

今回は、mongo-2.7.2.jarをダウンロードしました

---

■プロジェクト作成

eclipseでプロジェクトを作成後、

そのプロジェクトのビルドパスに今ダウンロードしてきたmongo-2.7.2.jarを加えます
　→プロジェクトを選択して右クリック、プロパティを選択したら、
　　Javaのビルドパスを選択し、外部Jarの追加のボタンで追加する

そうしたら、クラスを作成し、


Java Tutorial
http://www.mongodb.org/display/DOCS/Java+Tutorial

を参考に、プログラムを作ります。
今回作ったのは、こんなかんじ

import com.mongodb.DBCollection;
import com.mongodb.DBCursor;
import com.mongodb.Mongo;
import com.mongodb.DB;

public class MyMongo1 {
	public static void main(String[] args) {
		Mongo m;
		try {
			m = new Mongo();
			DB db = m.getDB("test" );

			DBCollection coll = db.getCollection("things");
			DBCursor cur = coll.find();

			while(cur.hasNext()) {
	            System.out.println(cur.next());
	        }

		} catch (Exception e) {
			e.printStackTrace();
		}

	}

}

---

■実行

・まず、mongoサーバーを立ち上げます。
前回やったように、mongodを起動します。

mongoでなく、mongod、サーバーのほうです。

・そしたら、プロジェクトを実行します。
　途中、どれを実行してくるか聞いたら、このクラスを指定します。

ソースと、実行結果は、こんなかんじ

「ゲイツ氏 次世代型原子炉開発を」のＮＨＫの記事なんだけど・・・

ＮＨＫのここのニュース

「ゲイツ氏 次世代型原子炉開発を」
http://www3.nhk.or.jp/news/html/20120127/t10015569971000.html
（以下太字は上記サイトより引用）

「マイクロソフト」の創業者のビル・ゲイツ氏は、ＮＨＫとのインタビューで、安全性や経済面で優れた次世代型の原子炉の研究開発に積極的に資金を出していく考えを明らかにしました。


いまどき、原子力？っていうのはさておいて、
この投資先って、前に日経にでていた、


ゲイツ氏と中国、原発開発で接近　「強力連合」に衝撃 小型炉、競争力を左右
http://www.nikkei.com/news/headline/article/g=96958A9C889DE1EAE2E0E3EAE5E2E3E6E2E3E0E2E3E0868BEBE2E2E2

（以下斜体は上記サイトより引用）

ビル・ゲイツ氏が先月、次世代小型原子炉の開発で中国政府と提携を検討していると認めたことだ。

の中国の話でしょ、たぶん。


中国で開発されて、なにか事故おこされると、こまるのよね。
日本にも影響あるでしょ。
そして報道されない・・・