MISRA C まとめ #include <misra_c.h>、OSEK(99), coding(38) - Qiita
module FatalError class InvalidArgument < Base end end class Device VALID_STATUSES = { :deleted => 0, :activated => 1, } def status=(new_status) if new_status.is_a?(String) super VALID_STATUSES[new_status.underscore.to_sym] elsif new_status.is_a?(Symbol) super VALID_STATUSES[new_status] else # 想定外の値が指定されたので例外にする raise FatalError::InvalidArgument end end end 「elsif句を使った場合とか、case文では必ずelse句をつけなさいという先
Microsoft PowerPoint - SWEST17MISRA公開用0820.pptx
組み込み開発者におくる MISRA‐C:2012 日本語版解説書ができるまで ＭＩＳＲＡ－Ｃ研究会 (株)デンソー 電子技術１部 池田 元三 １/36 目次 １．Introduction ２．MISRA‐Cとは？ ３．MISRA‐C:2012について ４．MISRA‐C研究会とは？ ５．MISRA‐C解説書ができるまで ６．Summary ２/36 １-1．Introduction（目的） 【目的】 今回の講演において、MISRA‐C自体およびMISRA‐C:2012と どう付き合えばいいかをある程度理解してもらうとともに、 MISRA‐C研究会（NPO法人組込みソフトウェア管理者・技術者 育成協会:SESSAMEのWG３）の行っている活動および、 その活動の成果物である「MISRA‐C解説書」についてどういう ものか？どう読めばいいか？を何となく理解してもらいたい と思っています。 そし
ホンダの協調AIは機能別に開発、全国の高速道路を3D化して検証を網羅的に
ソフトウエアの重要性が様々な製品・サービスの中で増す中、その品質をどう担保し、管理していくかについての注目度も高まっている。筆者が実行委員会の委員長を務める「ソフトウェア品質シンポジウム2023」（2023年9月7～8日、主催：日本科学技術連盟）では本田技術研究所の先進技術研究所知能化領域エグゼクティブチーフエンジニアの安井裕司氏に特別講演をお願いした。講演タイトルは「人びとの暮らしを支えるインテリジェントモビリティとその進化」。今回はホンダにおける自動運転システムの設計、検証について解説する。 前回、ホンダにおける自動運転／運転支援技術の取り組みについて概要を紹介した。2021年に上市した高速道路渋滞時自動運転機能に続く、さらなる進化のコアとなっているのが、周辺環境に働きかけて反応を見ながら制御する「協調人工知能」（Cooperative Intelligence、以下CI）と呼ぶ人工知
アメリカの職場ではなぜドキュメントも無いのに人が去っても問題ないのだろう？｜牛尾 剛
アメリカの職場にいると、日本にいるときよりも身近でレイオフだとか、職を変えるというのを頻繁に見かける。先日もそういう場面があったのだが昔日本で働いていた時のことを思い出した。 ドキュメントを書く理由 日本のソフトウェア企業にいたときは、「納品物であるから」という理由以外にも、「人がいなくなったときに会社が困るから」という理由でもドキュメントを書くことが推奨されていた。しかし、少なくとも今の職場ではそんな理由でドキュメントを書くのは推奨されていないのに、なぜ問題にならないのだろうとふと思った。 うちのマネージャは、バディ制ににして、みんな休暇できるようにしようとは言っているが、多分本当に退職対策ではないと思う。 チームのメンバーが抜けたときも、「とても残念で、ワークロードをどうしようという問題はあるけど、彼女の門出を祝福しよう」言っていた。つまり、こちらでも「工数」は問題になるけど、「引継ぎ
ソニーが挑むソフト設計工程の改善、欠陥リスクを発見する「パターン」とは
開発時間が限られる中でも、開発工程の上流から効率的に品質をつくり込むことで、ソフトウエアのQCD（品質・コスト・デリバリー）をより良くしたい――。筆者らが所属するソニーグローバルマニュファクチャリング＆オペレーションズ（SGMO）は、この考えで設計の改善に取り組んでいる。SGMOはソニーの子会社で、ゲーム機の「PlayStation5」や愛犬ロボットの「aibo」、テレビの「ブラビア」、デジタルカメラの「α（アルファ）」「VLOGCAM」、医療機器などを製造している。それらの製品に組み込むソフトウエアの役割やQCD向上は近年ますます重要になっている。 ソフトウエア開発では実装やテストの工程で欠陥が見つかり手戻りが発生すると、QCDに悪影響を及ぼす。上流工程である設計において、後工程で顕在化するかもしれない欠陥リスクを見つけて対処しておくのが望ましい（設計の段階では後工程で欠陥が顕在化するか
上流工程の“ひと手間”で手戻りリスクは大きく減らせる ソフトウェアテストのプロが贈る、QCD改善のヒント
「システム開発に関わるコストを減らしたい」「テストでバグが多すぎるので何とかしたい」「テスト工程まで来てから手戻りが発生し、現場がどんどん疲弊していく」。これらの悩みは開発に関わるPM・SEであれば誰もが直面することです。「PM/SEのための上流工程戦略会議」では、2事例を挙げ、上流工程において“少しの手間”を掛けることで、品質とコストに大きな効果を上げることができるポイントを共有しました。全4回。1回目は、上流工程で曖昧な仕様をつぶすための3つの方法について。 篠原新治氏の自己紹介 司会者：本日の登壇者はこちらの方々です。今回はテスト・アライアンス事業部の事業部長である石原さんと、エンタープライズ品質サービス事業部金融ソリューションサービスグループの副部長である畠山さんの2名にご登壇いただきます。Q＆Aコーナーのファシリテーターは、グループ開発事業推進部長の篠原さんに務めていただきます。
バグ密度＆テスト密度の基準値とゾーン分析を紹介！テスト工程がうまくできているか不安な方は必見です！ | 今が最高のプレゼント Present is the best gift
プロジェクトファシリテーターのじゅんです。 今回はシステム開発を行う際に必ず実施するテスト工程に関するお話です。 ユーザー企業様、システム開発企業様、どちらの企業様ともお仕事をする機会がありますが、情報システムを導入する場合に、相談されることの一つに、「どこまでテストしたらいいんですかね？」という内容があります。 私は、金融業界のシステム開発における品質保証に関する部門の立ち上げやシステム開発における標準化の取り組みを行った経験から、目安となる基準をご紹介することがあるので、その内容を今回はブログとしてまとめます。 スポンサーリンク 情報システムのテストってどのくらいやればいいの？ちゃんとできてるのかな？ 情報システムを開発する際に必ず「テスト」を実行します。 「テスト」とだけ書くと何か特別なことをするとイメージする方もいらっしゃるかおしれませんが、 例えばわたしのブログだったら、 ①「リ
ソフトウェア品質とセキュリティ品質の温故知新――先人たちの築いた指標に学ぶ脆弱性対策【デブサミ2021】
ソフトウェアの導入やDX推進に伴い、サイバーインシデントのリスクも増加している。保険・金融サービスを提供しているAllianz Global Corporate & Specialty（AGCS）の発表によれば、サイバーインシデントによるリスクの大きさは自然災害をも上回っているという。企業にとって、いかにしてソフトウェアのセキュリティを向上させるかは喫緊の課題だ。本セッションでは日本シノプシス合同会社の松岡正人氏が、日本やアメリカで制定されたSQuBOKやBSIなどの知識体系を紹介したうえで、脆弱性を管理するために有益なSBOMについても解説。ソフトウェア品質とセキュリティ品質を向上させるための知見を語った。 日本シノプシス合同会社 ソフトウェア インテグリティ グループ シニアプロダクトマーケティングマネージャ 松岡正人氏 SQuBOKやBSIは何を目指して策定されたのか セッション序盤
ソフトウェアテストの国際規格 ISO/IEC/IEEE 29119 とは？| Qbook
ソフトウェア開発において、標準的な進め方や遵守するべき基準などを定めた規格を参照して利用することがよくあります。 たとえば、機能安全について定められた「IEC 61508」や、自動車の機能安全規格である「ISO/IEC 26262」、ソフトウェアライフサイクルプロセスを定めた「ISO/IEC 12207」などが有名です。 規格の目的や役割はさまざまですが、ソフトウェアテストの国際的な規格として、「ISO/IEC/IEEE 29119」というものがあります。 本記事では、ISO/IEC/IEEE 29119がどういうものか概要を解説すると共に、ISO/IEC/IEEE 29119を実際のテストプロジェクトに適用する際の注意点についても解説します。 もくじ ISO/IEC/IEEE 29119が策定された背景 ISO/IEC/IEEE 29119の構成 Part 1: テストの概念と定義（Co
ISO 26262との向き合い方 (7) 自動車ソフトの未来予想図 - ある組込みソフトエンジニアの日記
正月休みの間、自動車業界が直面するであろう安全ソフトウェアの問題(=自動車ソフトウェアの未来予想図）について二つのシナリオ考えてみた。まずは、これら未来のシナリオを読んでみていただきたい。 ■シナリオ1 電気自動車の時代 の不具合 2020年、電気自動車用の充電プラグは家庭やコンビニエンスストアにも普及が進み、郊外には電気スタンドもよく見かけるようになってきた。充電場所が増えるにつれて、それまで聞いたこともない電気自動車メーカー、ブランドの車も数多く現れてきた。電気自動車の販売価格帯は二極化しており、老舗の自動車メーカーの150万円以上のブランド車と、アジアのメーカーの100万円以下の車に人気が集中している。低価格電気自動車は安いものなら50〜60万円で買えるようになり、都心の若い世代ではこのような低価格電気自動車を個人で購入するのではなく、電気自動車がシェアカーとして用意されているマンシ
ゼロから品質組織を立ち上げてきた話 - LIFULL Creators Blog
こんにちは！品質改善推進ユニットの藤澤です。 この記事はLIFULLアドベントカレンダー3の15日目です。 今年のアドベントカレンダーは何を書こうかと考えていたところ、CTOからお題が飛んできました。 ゼロから立ち上げてきたというのは正しくなく、最初に立ち上げた方は他にいまして、取り組みの一つひとつもみんなの積み重ねですが、現在この組織で歴史を一番長く知っている人間として、代表してLIFULLの品質組織の歴史や取り組みをご紹介したいと思います。 誰に何を伝えたいか 品質管理・品質保証の仕事は正解がありません。ビジネスドメインや会社の文化、構造によって、やるべきことは変わってきます。 しかし事業会社における品質担当者が実際どんな仕事をしているかについての情報は、勉強会が盛んな現在においても、見かける機会が多くありません。 そこで、この記事では当社の品質組織に関して、これまでの歴史や取り組みを
クリティカル・システムに使う市販ソフトウェアの検証方法(2) ―― 誰が，何をもって市販ソフトウェアが信頼できることを証明するのか
クリティカル・システムに使う市販ソフトウェアの検証方法(2) ―― 誰が，何をもって市販ソフトウェアが信頼できることを証明するのか 酒井 由夫 本連載では，市販ソフトウェアの使用に際して求められるリスク分析や検証作業，市販ソフトウェアの検証記録の作り方について解説する．今回は，市販ソフトウェアをクリティカル・システムに組み込むにあたって，どのような確認が必要なのかを考える．また，米国FDA（食品医薬品局）が発行しているガイダンスに基づいて，市販ソフトウェアの信頼性証明に必要な情報を考える．（編集部） 技術解説・連載「クリティカル・システムに使う市販ソフトウェアの検証方法」 記事一覧 第1回 ソフトウェア品質論の推移とシステムの安全性確保の考え方 第2回 誰が，何をもって市販ソフトウェアが信頼できることを証明するのか 第3回 検証記録に含めるべき事項を考える 第4回 市販ソフトウェア・ベンダ
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編）
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡
グーグルのバグ予測アルゴリズムを実装したツール「bugspots」、オープンソースで公開
ソースコードのなかでバグが多いのは、より高頻度に、かつ最近になって集中的に直している部分。これが、グーグルで採用された「バグ予測アルゴリズム」であることを、先月の記事「グーグルはコードの品質向上のため「バグ予測アルゴリズム」を採用している」で紹介しました。 そのバグ予測アルゴリズムを実装したツール「bugspots」がオープンソースとして公開されています。 gitのレポジトリを分析 bugspotsはRubyで記述されており、gitのレポジトリから履歴を読み込んで分析し、どのモジュールにバグが含まれている確率が高いかを示してくれます。 以下のようにインストールして実行（説明ページから引用）。 $> gem install bugspots $> git bugspots /path/to/repo $> git bugspots . # (in current git directory)
グーグルはコードの品質向上のため「バグ予測アルゴリズム」を採用している
グーグルでは、社内のプログラマによって作り出される大量のコードの品質を保つため、チェックイン前にユニットテストとコードレビューが行われているそうです。しかし、コードが大量になってくると、ユニットテストやレビューをすり抜けるバグも少なからず発生します。 そこでコードの品質をさらに高めるために、グーグルでは「バグ予測アルゴリズム」を採用。バグがありそうな部分をレビュアーにアドバイスする仕組みを採用したとのこと。 そのバグ予測アルゴリズムとはどんなものなのか。Google Engineering Toolsブログに投稿されたエントリ「Bug Prediction at Google」（グーグルにおけるバグ予測）で説明されています。 ソースコードの修正履歴を基に予測 コードの中にバグがありそうな箇所を分析する手法としては、「ソフトウェアメトリクス」がよく用いられます。これはコードを静的に分析して、
ソフトが揺さぶる製品安全
目立たないながらも、製品の多機能化や高性能化を陰で支えてきたことから、「黒子」にも例えられる組み込みソフトウエア。使い勝手の良さから、その存在感はぐんぐん高まっている。だが、その弊害も目立ち始めてきた。ソフトの欠陥による製品の不具合が相次いで起きているのだ。とはいえ、「ソフトが悪い」と決めつけられるほど話は単純ではない。ソフトの恩恵を享受しつつも、安全を確保するにはどうすればよいのか、進むべき道を探る。（高野 敦） 第1部：発想を転換する 電子制御が変える設計の常識 信頼性の追求では限界に 「最先端の技術が満載されているだろうとは思っていたが、これほど複雑な制御とは思いもよらなかった。どのように安全を確保しているのか、検討も付かない」。ある技術者は、トヨタ自動車のハイブリッド車「プリウス」についてこう語る。 高度な電子制御技術を駆使することで、優れた燃費や快適性を実現していたプリウス。同社
仕様書をチェックしてソフトウェアの欠陥を予防する ――日本アイ・ビー・エム サービス事業 品質技術 細川宣啓氏に聞く
仕様書をチェックしてソフトウェアの欠陥を予防する ――日本アイ・ビー・エム サービス事業 品質技術 細川宣啓氏に聞く 組み込みネット編集部 日本アイ・ビー・エムでは，ソフトウェアの欠陥を検出するために，「Quality Inspection」と名づけた手法を（組み込み機器開発の部署も含めて）実践している．これは，仕様書を熟視して矛盾や不整合を見つけ出すことにより，ソフトウェアの欠陥を仕様書の段階で検出する方法である．「インスペクション」というとコード・インスペクションが有名だが，Quality Inspectionは，審査の対象がコードではなく仕様書である点，会議の形態をとらずに個々人が作業を分担して実施する点などが異なっている．ここでは，Quality Inspection担当部署である日本アイ・ビー・エム サービス事業 品質技術 プロジェクト品質技術担当の細川宣啓氏に話を聞いた（写真1
想定されないバグ: 知識ゼロから学ぶ ソフトウェアテスト
私はよく日本信号のトラブルの例を出して話すことが多い http://juichi.blog.so-net.ne.jp/2007-12-22 あるときその説明に対して質問が出た。「たしかにあの件はバグだが、日本信号のある人に聞いたら想定されないユースケースだったと言っていた。そういう場合はどうやってテストで未然に防ぐのですか」 この業界に長くいると、だいたいの質問に対して水が流れるように答えることができる。ただこの質問はちょっと困った。想定されないユースケースは無限にある、それをすべて要求仕様として定義するのは非常に困難である。また全ての異常系のテストをするのもまた困難である。 そのときなんと答えたかというと、基本的には日本信号のケースはテストしていないswitch文に入ったバグなので、default処理なり特別な例外処理に関してはすみやかなシャットダウンや、なんらかのフェールセーフルーチン
dfltweb1.onamae.com – このドメインはお名前.comで取得されています。
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日本のドメイン登録業者(レジストラ)（「ICANNがレジストラとして認定した企業」一覧（InterNIC提供）内に「Japan」の記載があるもの）を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2023年5月時点の調査。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://shiftasia.com/ja/column/%E7%8B%A9%E9%87%8E%E3%83%A2%E3%83%87%E3%83%AB%E3%81%8B%E3%82%89%E6%8E%A2%E3%82%8B%E5%93%81%E8%B3%AA/
