【やってみた】Cursorと始める形式手法（Alloy）

この記事は毎週必ず記事がでるテックブログ "Loglass Tech Blog Sprint" の 68 週目の記事です！ 2 年間連続達成まで 残り 38 週 となりました！ はじめに（前置き） こんにちは、世界。 ログラスでQAエンジニアを担当している大平です。 突然ですが、みなさん、仕様のレビューをしていますか？レビューをしている場合は、どうやって行っていますか？ 私はQAエンジニアとして、過去に実施したテスト経験や起きた不具合、既存の機能との整合性や矛盾点、競合製品がどうなっているか、テストのしやすさなどの観点でレビューを実施します。 （ちなみにレビューについては、書籍「間違いだらけの設計レビュー」がお勧めです） ただ、過去を振り返ると、私の技量が足りないため、仕様の詳細な部分の指摘が漏れ、後工程で発覚することがQAエンジニアのキャリアの中で何度もありました。もちろん、複雑な仕様に

[dorapon2000]

“Alloyは、形式手法を簡潔に適用できるツールのひとつです。Alloyでは、システムの仕様を形式的に記述し、モデル検査のエンジンを通じてその仕様が正しいか、矛盾がないかを確認することができます。”

[camel-404]

みんなに助けられて書きました。

[masterq]

これは有望に感じる