DeNA Testing Blog

Make Testing Fun, Smart, and Delighting End-Users

2020-09-01から1ヶ月間の記事一覧

形式手法でデータ構造を記述・検査してみよう:Alloy編

形式手法のツールAlloyを使って、データ構造のStackをビジュアライズしてみましょう。未経験者でもステップバイステップで試せるよう構成しました。