タグ

2011年12月22日のブックマーク (2件)

  • 逆引きソフトウェアテスト関連技術まとめ - >& STDOUT

    「Software Test & Quality Advent Calendar 2011」の8日目。アドベントカレンダーということで、普段と少しトーンを変えてソフトウェアテストにあまり造詣のない方へ向けて何か役に立つ記事を考えてみました。先の記事でも述べたとおり、ソフトウェアテストの関連技術を表す用語はそれが何に使えて、何に役立つのか、門外漢にはとってもわかり難いので、そちらを軸にした紹介があると便利かもしれないということで、関連技術を目的別に整理し、参考になる記事や資料にリンクする形でお届けします。 テストの戦略を定めたい ソフトウェアテストプロジェクトの最上流工程と考えられているテスト分析の方法論です。プロダクト、プロジェクトに対してそれぞれ独自の方式で戦略を検討します。テスト計画と一部被る部分もありますが、プロジェクトの予算やスケジュールをひとまずおいて技術的な視点から当に必要な

    逆引きソフトウェアテスト関連技術まとめ - >& STDOUT
    ssmtkmt
    ssmtkmt 2011/12/22
    テストにおいて「それが何に使えて、何に役立つのか」から手法を探す一覧。勉強にも使える
  • ISO26262 Part.6 ソフトウェア開発(手法)

    自動車分野向け機能安全規格「ISO26262」のソフトウェア開発(手法)概要 これまで自動車分野向けの機能安全規格「ISO26262」の概要について解説してきましたが、今回は最終回として、ソフトウェア開発における“手法”にフォーカスし、その内容を紹介したいと思います。 ISO26262の準形式手法、形式手法 機能安全規格では、要求や設計を「準形式手法」や「形式手法」で記載することがあります。 ここで使用する準形式手法は、ISO26262FDIS(最終ドラフト)版により、「UML」や「SADT」が推奨されており、汎用性や準形式検証(シミュレーション)を考慮するような場合には、UMLを利用することが多いと考えられます。 一方のSADTは、次のような図を用いた手法となります。 UMLについては他の連載や関連する情報が多く存在するので、稿では、これまであまり紹介されてこなかった形式手法について解

    ISO26262 Part.6 ソフトウェア開発(手法)
    ssmtkmt
    ssmtkmt 2011/12/22
    SDLってよく使われているのか。でもこれ単体でFormalな感じがしない。Promelaなどへ変換できるからFormalと言っているのかな