とあるリアルタイムOSについて

3仕様書無しさん
垢版 |
2025/06/23(月) 19:36:54.89
>>2
いや、逸脱しているのが問題なのではなく、仕様書を作っていないのが問題だと言っているのですが、伝わらないのは書き方が悪かったせいでしょうね・・・
というか、実装依存や実装定義が問題だとは一言も言っていないのですが、それも伝わってないですね。
長文だったうえに表現が悪かったかな・・・
2025/06/24(火) 10:28:21.63
>>3
>仕様書を作っていない
>実装依存は必ず決まった動作にならないことを含む
なので。貴殿はどう動くかわからないと書いた仕様書があればいいってこと言ってるのかな？
2025/06/24(火) 10:51:53.26
>>4
それもそうなんですが、例えばITRON4.0の実装依存の部分、「うちのOSで実装したデータキューで送るデータのサイズは4バイトですよー」とかいう仕様を定めた文書が存在しないことが問題だと思っています。
そう言った実装依存、あるいはITRON4.0の仕様からずれた部分があるにもかかわらず、「うちのOSはμITRON4.0仕様にのっとっているので、うちのOSの仕様書としてはμITRON4.0仕様を読んでください」と断言しているのはさすがにまずいと思っています。
2025/06/24(火) 10:57:40.80
>>5
そういう一般的なサイズは、ヘッダファイルに定義してるはず。
そこまで逸脱してたら知らんけど
標準のヘッダファイルがなくてもなんらかのプロトタイプ宣言があるからわかると思うけどな

＞実装依存の部分、「うちのOSで実装したデータキューで送るデータのサイズは4バイトですよー」
あとこれは実装依存ではなく、実装定義ですね
2025/06/24(火) 11:25:01.85
>>6
それ、本気で言ってますか？
「μITRON4.0仕様をみて実装してね」
「すみません、実装定義の値がわからないです」
「ヘッダファイルを見ろ」
「だから、そのヘッダファイルを書くための情報がないんだって！」
という感じで、ヘッダを見て実装しろ、だと最初にヘッダ書く人は何を見て書けばいいのかわからない、ということになりますが・・・。

あと、確かにデータキューのサイズは実装定義でしたね、すみません。
2025/06/24(火) 12:00:50.44
>>7
本気で、ずっとマジレスしてるけど
>「だから、そのヘッダファイルを書くための情報がないんだって！」
というか未完成のRTOSを完成したいというなら、貴殿の言う通りだが、前提が違う
>・μITRON4.0仕様から逸脱している独自仕様も結構あるのに、自前の仕様書を用意していない
これは普通に考えてできてるRTOSについて仕様書がないって話だろ。これから完成させるなら
途中までの詳細設計までないとどんなものでも困る話だ。　話が変わってるから
2025/06/24(火) 12:36:19.20
>>8
どうも、話がかみ合っていませんが・・・
OSベンダで作成したOSの話なのだから、作成に取り掛かる時点で仕様書がなく、完成した今の時点でも仕様書が作られていない、という話をしています。
仕様書も作らず、適当な感覚で作成したOSが市場に出回っている、という話を一貫してしているのですが、伝わっていませんね・・・。

>> これは普通に考えてできてるRTOSについて仕様書がないって話だろ。これから完成させるなら
>> 途中までの詳細設計までないとどんなものでも困る話だ。　話が変わってるから

話は変わっていません。
できてるRTOSについて仕様書がないということは、作り始める時点でも仕様書がなかったということです。
仕様書もないのに、どうやって実装したの？どうやってテスト項目を作ったの？ということが問題だ、と最初から言っています。
2025/06/24(火) 12:44:11.93
>>9
一般論として　完成物は　ソースコードなしの場合でも　ライブラリファイルとヘッダファイルになります。
ヘッダファイルがなくて作らないといけない　というのは未完成ということです。

>作り始める時点
貴殿が作るというのは
１）そのRTOSで動くアプリを作る
２）そのRTOSを改造してRTOSを作る　もしくは完成させる。
その辺だな。　２）であれば詳細なドキュメントが必要、１）ならヘッダファイルも含めて完成品ならなんとかなる。
なにをしようとしているか書いてないし、議題から読み取れないしそういうこと書いてないよ。
それなら　改造しようとするがドキュメントがない　っていう　ありきたりの話　OSの話に限った話ではない

２）に関してなら
＞・μITRON4.0仕様から逸脱している独自仕様も結構あるのに、自前の仕様書を用意していない
の議題とは逸脱してる話題だよ
2025/06/24(火) 12:48:03.69
なるほど、根本的なところで理解されていなかったのですね。
「OSベンダがOSを作る話」なのだから、1) でも2)でもなく、
3) OSのソース・コードとヘッダ・ファイルを1から作る
という話をしています。
2025/06/24(火) 12:58:14.51
>>11
だからそれは２）
OSベンダかどうかは関係ない
未完成なものを作りあげるのだから
それなら　改造しようとするがドキュメントがない　っていう　ありきたりの話　OSの話に限った話ではない
＞・μITRON4.0仕様から逸脱している独自仕様も結構あるのに、自前の仕様書を用意していない
の議題とは逸脱してる話題だよ
2025/06/24(火) 13:00:53.06
>>11
そうか　３）で参考に新しいのを作るとい話だな
それなら動く完成品じゃないものを参考にしないと意味ないと思うけど
ヘッダーファイルないものは動かないし、未完成
未完成品の流用したい話だろ
いずれにしろ
＞・μITRON4.0仕様から逸脱している独自仕様も結構あるのに、自前の仕様書を用意していない
の議題とは逸脱してる話題だよ
2025/06/24(火) 13:02:44.15
>>11
ちょっと誤字がひどいから書き直し


そうか　３）で参考に新しい
のを作るとい話だな
それなら動く完成品を参考にしないと意味ないと思うけど
ヘッダーファイルないものは動かないし、未完成
未完成品の流用したい話だろ
いずれにしろ
＞・μITRON4.0仕様から逸脱している独自仕様も結構あるのに、自前の仕様書を用意していない
の議題とは逸脱してる話題だよ
2025/06/24(火) 13:05:19.73
>>11
エスパーじゃないんだか文字におこしてないことはわからないよ

>根本的なところで理解されていなかったのですね。
とか
＞・μITRON4.0仕様から逸脱している独自仕様も結構あるのに、自前の仕様書を用意していない
ここからそれを理解するのはエスパーだと思うけどね
2025/06/24(火) 13:09:54.59
>>11
たぶんソースコードがあったからわかったんだと推測しますが
＞「うちのOSで実装したデータキューで送るデータのサイズは4バイトですよー」とかいう
流用移植するなら、そういった仕様部分もソースから読み取ればいいと思うけどね。

おそらくだけど、流用元のRTOSは過去の遺産なんだろうと思うけど、そういったものを流用するときに
本来必要なものが無い場合は多々ある話。　過去の遺産がどれぐらい昔の話かによるね。
2025/06/24(火) 13:11:05.55
>>12
すみません、だんだんあなたが何を言っているのかわからなくなってきました。
μITRON4.0仕様から逸脱している独自仕様も結構あるのに、(自分たちのOSはμITRON4.0仕様に準拠しているのだから独自の仕様書は不要であると断言して)自前の仕様書を用意していない
のは、実装に必要な仕様が一切定義されていない(そういう文書がない)ので、μITRON4.0仕様書を読んでも実装・テストが実行できないので問題だ、と言っています。

改造(すでにあるものを作り替える)なら、仕様書がなければ困る、というのがありきたりな話なのも分かりますが、自社開発のソフトで仕様書がない困った！と言っている奴がいたら、「いや、自社開発なんだから自分たちで作れよ」という話なるでしょ？
ところが、この会社の社長は「仕様書など要らん、でもOSを作れ」と言っている、という話をしているのですが・・・。
2025/06/24(火) 13:19:38.07
>>11
やっぱり話かわっているよ
>今現在どうなっているのかは知らないが、少なくとも吾輩が関わっていた頃はこういう管理体制だった。
今なにかしたくてどうしようじゃなくて世の中どう判断するか聞こうというのが趣旨だろ
いつのまに
>「OSベンダがOSを作る話」なのだから
になったんだよ。　それを私が理解できてなかったとか
書いてなければ理解できるはずがないね
2025/06/24(火) 13:20:01.54
>>16
いえ、流用というより、新規開発時から、保守フェーズの現在に至るまで、一貫して仕様書は作られていません。
でも、その状態で別なCPUに移植しろ、という指令は出続けています。
2025/06/24(火) 13:22:08.23
>>18
すみません、何か根本的に言葉が足りていなかったようですが、1で書いた内容は、「とあるOSベンダの開発体制の話」でした。
まあ、今読み返すと、確かにこれではわからんな・・・と思います。
2025/06/24(火) 13:26:27.43
>>17
>実装に必要な仕様が一切定義されていない(そういう文書がない)ので、μITRON4.0仕様書を読んでも実装・テストが実行できないので問題だ、と言っています。
よくあるわかりにくい文章として主語がありません。貴殿が主語として判断します。
でも、データキューのサイズがわかるのはソースがあるのでテストは可能だと考えますけどね
μITRONの仕様で一通りテストは可能です。NGになった部分について、実装依存、実装定義として詳しく調べればいいと思います。
ただ、テストしていない流用元を使うことのメリットは個人的には感じませんね。

>「いや、自社開発なんだから自分たちで作れよ」という話なるでしょ？
>「仕様書など要らん、でもOSを作れ」
まぁ社長の方針に合わないなら見切りつけるべきだね。
我慢してやるなら表向き仕様書作らない形で作業するしかないかな
2025/06/24(火) 13:27:33.43
>>19
移植なのに流用じゃなくて新規開発　とか　言葉が通じないレベルですが
2025/06/24(火) 13:31:24.03
>>19
あっそうか　流用は流用なんだね　流用元が新規開発時から仕様書がなかったという話ですね
>その状態で別なCPUに移植しろ、という指令は出続けています。
完成品であれば可能ですが、仕様書がないと時間はかかりますね。
製品が未完成ならなおさらです。　ヘッダーファイルはOSの主要製品の一部ですから
2025/06/24(火) 13:33:12.21
>>21
テストは不可能ではないのですが、
1) 仕様書のこの部分がソース・コードのこの部分で表現されている
2) ソース・コードのこの部分が、テストのこの部分で試験されている
というトレーサビリティはとれないのです。
あと、仕様書がなく、ソース由来のテストだと、「それ、テストしている意味あるの？」というテストになってしまいます。
(不具合がソース上に表現されていたが、それをもとにテストを作ったので、テストはパスしていたが、出荷後不具合がでた、ということもあり得ます。というか、ありました)
2025/06/24(火) 13:36:34.55
>>22
いや、新規開発時から仕様のなかった製品に対して、移植の指令が出る、という話です。
言葉足らずですみません。

>>23
おっしゃる通りです。
2025/06/24(火) 13:38:23.66
結局いろんなこと>1に書いてるけど
こんな状態はひどいからなんだというのか？
つまり普通より時間がかかる　それだけの話。
たぶんサラリーマンで仕事してるなら、残業すればお金が付くし
その辺の話じゃないかな
まぁこれだとこれくらい時間がかかると進言して拒否されたらできる人に
代わってもらえばいいと思う。
2025/06/24(火) 13:40:12.00
>>24
ソース由来じゃなくて　μITRON仕様のサービスコールの仕様に基づく試験をやってみたらと言ってます。
2025/06/24(火) 13:41:59.25
>>24
流用というか参考ソースなのでトレサビはいらんと思いますが
2025/06/24(火) 13:46:17.17
>>27
それも一つの手ですが、それだけだと全機能をテストすることができないので、やはりμITRON4.0仕様で実装定義となっているところの試験をどうするか？という問題は残ります。

>>28
言葉足らずですみません。
参考ソースではなく、そのソースそのものが会社の製品なので、ソースコードやライブラリ化したバイナリを出荷しようとすると、トレサビが要求されることもあると思います。
2025/06/24(火) 13:49:23.39
>>26
それはおっしゃる通りなのですが、職業倫理的に、こんなもの出荷していいのだろうか、とか思うこともありました。
あと、その会社は年俸制だったので、残業代は尽きませんでした。
進言した内容はすべて却下されたので、会社を辞めました。
2025/06/24(火) 13:49:50.96
>>29
>μITRON4.0仕様で実装定義となっているところの試験をどうするか？
仕様通りか試験するのだから、実装依存、定義はあぶりだせるんじゃないかな

>参考ソースではなく、そのソースそのものが会社の製品なので、ソースコードやライブラリ化したバイナリを出荷しようとする
未テストのものを出荷する会社なら、なすすべなし　だな
2025/06/24(火) 13:52:10.31
>>30
>進言した内容はすべて却下されたので、会社を辞めました。
ということは、過去を振り返って、自分の判断がどうだったか確認するのが趣旨ですかね
こんなところで確認するとか過去を振り返ってもしょうがないようにも思うけど
2025/06/29(日) 22:09:00.45
ブリアトーレ「良いこと思いついた！」
2025/07/07(月) 01:19:34.30
今更どうでもいいことをグチグチと…
女みたいなやつだな
35仕様書無しさん
垢版 |
2025/08/21(木) 09:31:04.00
【結婚難】違反SEへの制裁【孤独死】

☆時間外労働違反者を退治しろ！☆
★偽装委託多重派遣を撲滅しろ！★

金稼ぎ妨害！
共働き妨害！

時間外労働違反
　 ↓
偽装委託多重派遣
　 ↓
低技術
　　 ↓
低収入
　　 ↓
結婚難
　　 ↓
孤独死

反社会な孤独死の現場
https://i.imgur.com/pALCFXJ.jpg
2025/08/26(火) 14:25:40.15
公開交換日記終わったの？
37仕様書無しさん
垢版 |
2025/10/01(水) 08:36:19.14
【貧困】稼げないSEを退治しろ【非婚】

☆高負担で低速度で低生産だろ！☆
★文書でなく会話で作業をしろ！★

プログラマー作業を減らして
オペレーター作業を増やすな！

低技術で低収入は高技術で高収入の
技術者に迷惑だからIT業界から失せろ！
新着レスの表示
レスを投稿する

5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況