交信不能になったX線天文衛星「ひとみ」の模型を使い、説明する宇宙航空研究開発機構(JAXA)の久保田孝教授=2016年4月1日、東京都千代田区のJAXA東京事務所 日本の天体観測衛星「ひとみ」が失敗したのは、大手電機メーカー「NEC」が作成したプログラムのミスだったとして、NECが宇宙航空研究開発機構(JAXA)に5億円を支払うことになった。9月5日、東京地裁で民事調停が成立したとJAXAが発表した。
![NECが5億円支払いへ 観測衛星「ひとみ」失敗はプログラムミスだった](https://cdn-ak-scissors.b.st-hatena.com/image/square/fb871b4ab9c418d05cf073658dcab7575f0f7a32/height=288;version=1;width=512/https%3A%2F%2Fimg.huffingtonpost.com%2Fasset%2F5c6361072600004502fd5c0b.png%3Fops%3D1200_630)
わたしは、情報システムと呼ばれているものを作った経験がないので、よくわからないのだが、世の中には詳細設計書というのがあるらしい。 下記参照。 http://gm7add9.wordpress.com/2012/11/30/%E8%A9%B3%E7%B4%B0%E8%A8%AD%E8%A8%88%E6%9B%B8/ プログラムの詳細設計をやる人というのがいて、その人が書くらしい。あくまで自分には経験がないので、伝聞、想像でものを言っている。 プログラムの詳細設計というのは、プログラムへの要求仕様というのがあって、それを実現するために書くらしい。要求仕様というのは最終的な利用者が、こーゆーものが欲しいとか、こーゆーことができたらいいなということを、なんらかの方法で、なんらかの形でまとめたものらしい。 そんでもって、要求仕様を作る人と、詳細設計を作る人と、プログラムを作る人と、テストをする人と、
自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(前編) ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか? 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く