以下のような問題を抱えている人に是非聞いて頂きたい話をします:

• 複雑でメンテナンスが困難なアプリケーションをメンテナンスしている
• 既存のコードを誤って壊してしまう
• オペレーションミスが多い

安全なアプリケーションとはなんでしょうか？
一般的には、以下のような要素があると思います:

• クラッシュしにくい
• オペレーションを間違えにくい
• データを破壊しにくい
• コードを書き換えても壊しにくい

たとえば、Webアプリケーションの開発においては、誤ったデータベースの変更や決済処理を正しい状態に戻すことは難しいでしょう。 また、iOSやAndroid向けのアプリケーションの開発においては、リリースしてしまったコードを消すことはできません。 ソフトウェアにはこのようなリスクに対する安全性が求められます。

本セッションではこれらの問題に対して安全工学の視点を取り入れつつ、基本的にどのように考えると良いかについて僕の考えを話します。 なお、セキュリティに関連する話も安全性に大きく関わるところではありますが、本セッションでは時間の都合上扱わない予定です。

トピック:

• ソフトウェアにおける「安全」とはなにか
  • ハインリッヒの法則
  • フォルトツリー解析
• 安全性を担保するための考え方
  • ポカヨケ
  • etc..
• 安全性を担保するための言語機能
  • 型制約
  • Optional
  • etc..
• 安全性を担保するためのライブラリ
  • strict.pm/warnings.pm
  • Perl::Lint/Perl::Critic/etc..
  • DBIx::TransactionManager
  • etc..
• 安全性を担保するためのプラクティス
  • assertion
  • defer/guard object
  • max reqs per child
  • 静的解析
  • テストカバレッジ
  • コードメトリクス
  • 継続的インテグレーション
  • etc..

in English

(write it later)