カテゴリ: プログラミング言語

"プログラミング言語" の記事

• ホワイトボックスとブラックボックスの違いを実測した — 分岐カバレッジ 100% でミューテーションスコアは 0% と 100%

  2026年9月17日

  ホワイトボックステストとブラックボックステストの違いを実測した。同じ関数・同じ分岐カバレッジ 100% の 4 スイートのうち、境界値分析を仕様から導出した側だけが off-by-one を検出。ミューテーションスコアは 0% と 100% に割れた。AI エージェントに実装を見せてテストを書かせると何が起きるかも測った。

• テストを信じる前に、テストを壊す — mutation harness で「緑」に意味を持たせる

  2026年9月16日

  テストが全部緑でも、コードについて何も分かっていない。わざとコードを壊してテストが落ちるかを見るミューテーション（mutation）テストを、専用ツールなしの 30 行の Python スクリプトで回した実例。到達不能な死んだガードの見つけ方、GREEN の 3 分類、踏んだ 6 つの罠、そして AI コーディングエージェントに検査を任せるときの指示の書き方までをまとめる。

• 「対策済みのはず」のバグはなぜ生まれるのか — 規約が形だけ守られて意図を外すとき

  2026年6月16日

  pytest のテストが常に緑なのにバグが通り抜けた。マイグレーション fixture の忠実度ギャップとテスト DB 分離不備、その共通根本原因と autouse fixture による「規約の機構化」を解説する。

• pytest.mark.chaos で始めるカオスエンジニアリング — Python テストに障害注入を組み込む

  2026年4月17日

• EDINET XBRLをPythonで扱う — edinet-xbrlライブラリの使い方

  2026年4月6日

  EDINETのXBRLファイルをPythonで解析する方法を解説。edinet-xbrlライブラリのインストールからXBRLパース、EDINET APIでの書類取得まで、サンプルコード付きで紹介

• Swift for Android vs Kotlin Multiplatform — マルチプラットフォーム時代の「Xbox vs PlayStation」

  2026年3月5日

• 請求入金

  更新日:2025年2月17日

• hatch

  2025年1月26日

• nix

  2025年1月5日

• SQLModel

  更新日:2024年10月18日