AIの鬼
#開発・実装 Zenn AI

購入フローのテスト組合せ爆発対策で形式検証に入門した

購入フローのテスト組合せ爆発対策で形式検証に入門した(内容を表す図ではないイメージ画像)
イメージ

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

出典: Zenn AI(配信元の紹介文より引用)
御社でもAIを使ってみませんか
まずはここから 御社でもAIを使ってみませんか? 御社の実際の業務を題材に、AIで何ができるかを一緒に考えます。 「ChatGPTの使い方」を教えるだけの研修ではありません。 AI研修・AI活用相談 →