購入フローのテスト組合せ爆発対策で形式検証に入門した
購入フローが抱えている課題 購入で起きた変更障害を分析したところ以下のような傾向が見られた。 購入フローにおいて取りうる状態やアクションが組合せ爆発しておりテストしきれず、実際にマイナーな組み合わせで障害が起きることが多い 購入フローはユーザの決済を挟むことなどにより、TXが何段にも分離・分岐する。改修時にTX単体のテストはできているが、 TX間の契約(事前条件・事後条件)がうまく噛み合わず取りこぼして終端に辿り着かず障害になるというケースが多い まず実際の購入の状態遷移を分析して図示してみる。ノードが状態、エッジがアクション(API, バッチなど)を表す。この図からもいくつかの...
出典: Zenn AI(配信元の紹介文より引用)
このニュースの全文は、配信元でお読みいただけます。 Zenn AIで元記事を読む →
