記事へのコメント36

    • 人気コメント
    • 新着コメント
    SWIMATH2 SWIMATH2 形式手法にいたるまでの過程の嬉しさと難しさがわかりやすくて良い

    2020/12/09 リンク

    その他
    tick2tack tick2tack 後半理解できてないが形式手法はこういう場面で有用だよということを知れてよかった。

    2020/05/30 リンク

    その他
    aprifield aprifield “なお上記のアプリについては、今回紹介した定理証明支援系とは別の形式手法である「モデル検査5」を試みました(詳細)。モデル検査は並列システムの網羅的な検証を得意としていて、私の悩みを解決できる有力な手

    2020/05/29 リンク

    その他
    misshiki misshiki “テストケースの増加につれ従来の自動テストに限界が訪れる 現実の設計で頻出する状態機械の合成はこの限界を超えてくる これに対応できる手段が形式手法である”

    2020/05/29 リンク

    その他
    syukit syukit これを実際にできる気がしないw

    2020/05/29 リンク

    その他
    nihonbuson nihonbuson とても良い内容!「自動テストの限界」というより「テスト設計の限界」も示唆していて、それに対して勘所という名の経験則を使うのとは全く別のアプローチを試みているのが大変良い。

    2020/05/29 リンク

    その他
    ledsun ledsun テストに形式手法。なるほど

    2020/05/29 リンク

    その他
    mkataigi mkataigi どっちが有用っていうより、使い分けようって話かなぁ。注釈3に書いてあることだけど、形式手法だと「アルゴリズム」の証明はできても、「コード」の検証はできない気がする。

    2020/05/29 リンク

    その他
    programmablekinoko programmablekinoko 抜き取り検査から定理証明へと言う感じ

    2020/05/29 リンク

    その他
    miya-jan miya-jan “従来のコードでさえ正しく書けないのに、より抽象度の高い論理式やモデルを最初から正しく書けるはずがないのです”

    2020/05/29 リンク

    その他
    raimon49 raimon49 Parameterized TestやProperty-based Testingといった抽象化の先にあるもの。

    2020/05/29 リンク

    その他
    otihateten3510 otihateten3510 プログラム検証の話でしょ?数学的に正しさを証明するみたいな。大学でやってたけど使い所としてはカーネルや衛星や医療、金融あたりに限られるよね。

    2020/05/29 リンク

    その他
    Rinta Rinta “どんな自然数 x であっても x + 0 = 0 を満たす” これは直しておこう。有益な記事お疲れ様。

    2020/05/29 リンク

    その他
    t-murachi t-murachi humm...

    2020/05/29 リンク

    その他
    skypenguins skypenguins やっぱ数理論理学って大事なんだな〜

    2020/05/29 リンク

    その他
    ytakano ytakano 大学の講義でアセンブラとマルチスレッドプログラミングと形式手法を組み合わせた簡単な課題を出してみたけれど、できる学生はかなり限られていた。分野を広くまたぐ必要があってなかなか難しい。

    2020/05/29 リンク

    その他
    zou3dazou zou3dazou "単条件のテストケース追加 → Parameterized Test → 同値分割・境界値分析 → (入出力の具体性の壁) → Property-based Testing → (網羅性の壁) → 可能なら入力空間の制限 → (扱える入力空間の大きさの壁) → 形式手法"

    2020/05/28 リンク

    その他
    mickn mickn [

    2020/05/28 リンク

    その他
    snowcrush snowcrush "したがって形式手法においても自分の記述したモデルや論理式が自分の意図通りになっているか確かめる作業は避けて通れません" テストが複雑になればなるほどテストプログラムそのものの正当性に確信が持てなくなる

    2020/05/28 リンク

    その他
    tanority tanority テスト

    2020/05/28 リンク

    その他
    Phenomenon Phenomenon これ系って滅んでてスマートコントラクト回りで使われてるだけかと思ってた

    2020/05/28 リンク

    その他
    raitu raitu たしかFeliCaは形式手法で作ってたよな/ ipaが形式手法導入事例まとめ資料作ってた https://www.ipa.go.jp/files/000005473.pdf

    2020/05/28 リンク

    その他
    kwhrtsk kwhrtsk AWSがDynamoやS3の検証に使ってたのはTLA+だっけ。

    2020/05/28 リンク

    その他
    jagaimojanaizo jagaimojanaizo [[テスト]‌][プログラミング]

    2020/05/28 リンク

    その他
    kirakking kirakking それで工業面で使えるのかと思う人向けに: Isabelle/HOLだと8700行程のOSカーネル(seL4)の正しさの証明も出来ているよ。 https://m-hiyama-memo.hatenablog.jp/entry/20170811/1502431494 http://isw3.naist.jp/IS/Curriculum/18/Colloquium/colloquium-a/180605.pdf

    2020/05/28 リンク

    その他
    ngmy ngmy 林晋先生かと思ったら違った。 http://www.shayashi.jp/myfailures.pdf

    2020/05/28 リンク

    その他
    unsoluble_sugar unsoluble_sugar めも

    2020/05/28 リンク

    その他
    n314 n314 15年くらい前に大学でやったけど、それっきりだな。実際に業務で使うための最初の一歩が全然分からない…。

    2020/05/28 リンク

    その他
    akiramaz akiramaz すごい

    2020/05/28 リンク

    その他
    t-tanaka t-tanaka 自動テストについて,「限界があるからやらない」は間違っている。まずは限界までやってみるべき。その上で,カバーできない範囲のことを考える。

    2020/05/28 リンク

    その他

    人気コメント算出アルゴリズムの一部にヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    関連記事

    自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み

    長らく自動テストテスト容易設計生業としてきましたが、最近は色々な限界を感じて形式手法に取り組...

    ブックマークしたユーザー

    • m2ym2021/07/25 m2ym
    • isgk2020/12/19 isgk
    • thotentry_hatebu1972020/12/11 thotentry_hatebu197
    • SWIMATH22020/12/09 SWIMATH2
    • r_jimano2020/11/29 r_jimano
    • konafx2020/10/16 konafx
    • a2ikm2020/10/13 a2ikm
    • golden_eggg2020/09/16 golden_eggg
    • ofsilvers2020/09/10 ofsilvers
    • dhesusan46492020/07/08 dhesusan4649
    • ys00002020/07/05 ys0000
    • mMQnaZ7vL2DWkoU2020/07/02 mMQnaZ7vL2DWkoU
    • TakayukiN6272020/06/22 TakayukiN627
    • hitotakuchan2020/06/19 hitotakuchan
    • takabonyade2020/06/10 takabonyade
    • panzer-jagdironscrap12020/06/08 panzer-jagdironscrap1
    • takamaru77772020/06/07 takamaru7777
    • TYRANT2020/06/07 TYRANT
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    退職の前座エントリ - 若くない何かの悩み

    29 users https://blog.kuniwak.com/

    googkit を使ったカンタン Closure Library 開発のすすめ - 若くない何かの悩み

    9 users https://blog.kuniwak.com/