• Haskell関数の正しさを証明/モデル検査/検証することは可能か?

    質問 でのアイデアの続きです。 証明可能な実世界の言語はあるのでしょうか? あなたはどうか知りませんが、私は 保証できないコードを書くのにうんざりしています。 上記の質問をし、驚異的な応答を得た後 (みんなありがとう!)、私は証明可能で実用的な、次のようなアプローチのために私の検索を狭めることに決めました。 ハスケル . 私が Haskell を選んだのは、それが実際に

    2023-10-24 10:31:58
  • go testで一部のテストをスキップする

    質問 で実行されるいくつかのテストをスキップしたり除外したりすることは可能ですか? go test ? 私は、標準的な go テストとして書かれた、レストサービスを呼び出すかなり大量の統合型テストを持っており、そのテストは go test . たとえば、新しい機能がまだテストサーバーにデプロイされておらず、既存のすべてのテスト (新しい機能をテストする新しいものを除く) をまだ実行した

    2023-08-25 16:40:25
  • [解決済み] 負荷テストとストレステストの比較【終了

    質問 <余談 閉じた。 この質問には答えられない スタックオーバーフローのガイドライン . 現在、回答は受け付けておりません。 <パス この質問を改善したいですか? 質問内容を更新して、それが オントロピ Stack Overflowの

    2023-08-18 13:59:06
  • [解決済み] テスト/サンプル用に予約されたソーシャルセキュリティ番号はありますか?

    質問 慣習的に使用され、誰が見ても本物の SSN ではないと理解できるような、正規のテスト SSN はありますか? どのように解決するのですか? ウィキペディアの回答を展開すること。 社会保障庁 (SSA) はこの文書で、最初の数字のグループの &quot;000&quot; を持つことは &quot;will NEVER be a valid SSN&quot; と明言していま

    2023-08-18 08:02:43
  • [解決済み] React Nativeアプリはブラウザでテストできるのか?

    質問 React Native アプリはシミュレータを使用して開発/テストするように設計されていますが、Web ブラウザを使用してアプリケーションをテストすることは可能でしょうか。 以下のようなサービス https://rnplay.org/ は存在しますが、私の懸念は、それが https://appetize.io/ で駆動しているため、月間の使用時間が制限される可能性

    2023-07-27 15:44:03
  • [解決済み] 大量のPDFファイルを比較するツール?[クローズド]

    質問 現在のところ、この質問は私たちのQ&amp;A形式には適していません。私たちは回答が事実、参考文献、専門知識によって裏付けられていることを期待していますが、この質問はおそらく討論、議論、投票、または拡大した議論を求めるものでしょう。この質問を改善し、再開できる可能性があると思われる場合 ヘルプセンターへ を

    2023-06-06 20:52:39
  • [解決済み] Gradleのテスト依存性

    質問 プロジェクトAとプロジェクトBがあります。どちらもgroovyで書かれており、ビルドシステムとしてgradleを使用しています。 プロジェクトAはプロジェクトBを必要とします。 これはコンパイルとテストの両方のコードに当てはまります。 プロジェクトAのテストクラスがプロジェクトBのテストクラスにアクセスできるように設定するにはどうしたらよいでしょうか。 どのように解決するの

    2023-05-18 08:12:12
  • [解決済み] Golangのテスト。"テストファイルなし"

    質問 パッケージディレクトリにreverseTest.goという簡単なテストを作成しています。 package main import "testing" func TestReverse(t *testing.T) { cases := []struct { in, want string }{ {"Hello, world", "dl

    2023-04-02 06:30:26
  • [解決済み] IntelliJで、mavenのテストゴールをデバッグするにはどうしたらいいですか?

    質問 intellij と maven pom ファイルを使用して、maven test goal 内で実行されたテストをデバッグするにはどうすればよいですか。 私はそれらをコードで直接実行すると、プロファイルがないことについて何か文句を言いますが、私はintellijのMaven Projectsの中でチェックしました。 どのように解決するのですか? 目標を右クリックして、[D

    2023-03-26 07:21:03
  • [解決済み] コマンドラインからテストなしでsbtのアセンブリコマンドを実行するには?

    質問 質問を読みました。 この そして あれ . sbtファイルを修正するように言われました。しかし、私は sbt clean assembly をテストなしで実行し、sbtのビルドファイルは変更しないでください。それはsbtで可能ですか?mavenでは -DskipTest=true パラメータがありますが、sbtのためのアナログはありますか? どのように解決するの

    2023-01-20 21:11:39
  • [解決済み] IntelliJ IDEAで複数のモジュールからまとめて単体テストを実行する

    質問 2つ以上のIDEAモジュールのテストを一度に実行するにはどうしたらよいですか? 多くのモジュールを使用しており、すべてのユニットテストを頻繁に実行することが重要です。実行するために複数のフォルダを選択すると、コンテキストメニューに「実行」オプションがもうありません。 どのように解決するのでしょうか。 最良の方法方法。 (3年後に編集) さらに良い方法があります。か

    2023-01-09 15:55:59
  • [解決済み] Haskellのテストワークフロー

    質問 私はちょうど新しいHaskellプロジェクトを始め、最初から良いテストワークフローをセットアップしたいと思いました。 Haskell には、多くの優れたユニークなテストツールと、それらを統合する多くの異なる方法があるように思われます。 私は調べました。 HUnit クイックチェック ベンチプレス ハイパースペック 複雑性 これらはすべ

    2023-01-04 14:33:02
  • [解決済み] モックデータを生成するためのツール?[クローズド]

    質問 終了しました。 この質問は Stack Overflow ガイドライン . 現在、回答を受け付けていません。 この質問を改善したいですか? 質問を更新して、それが オントピック になるように更新します。

    2022-11-28 02:41:32
  • [解決済み] Golangでマップの等価性をテストするには?

    質問 このようなテーブル駆動のテストケースがあります。 func CountWords(s string) map[string]int func TestCountWords(t *testing.T) { var tests = []struct { input string want map[string]int }{ {"foo", map[str

    2022-10-30 08:54:49
  • [解決済み] Jestの「toBe」と「toEqual」の違いは何ですか?

    質問 Jestのドキュメントを読みます。 toBeは、値が期待通りのものであるかどうかをチェックするだけです。厳密な等価性をチェックするために===を使用します。 そして toEqual : 2つのオブジェクトが同じ値を持っていることを確認したい場合は、.toEqualを使用します。このマッチャーは、オブジェクトの同一性をチェックするのではなく、すべてのフィールドの等し

    2022-08-20 15:56:22
  • [解決済み] angular2のテスト。ngModel' は 'input' の既知のプロパティではないので、バインドできない

    質問 私は、angular2 の双方向バインディングをテストしようとしています。 input . 以下はエラーです。 Can't bind to 'ngModel' since it isn't a known property of 'input'. app.component.htmlは &lt;input id="name" type="text" [(ngModel)]="

    2022-07-24 05:04:19
  • [解決済み] SpockテストフレームワークにおけるMock/Stub/Spyの相違点

    質問 SpockテストにおけるMock、Stub、Spyの違いがわからず、ネットで見ているチュートリアルでも詳しく説明されていません。 どのように解決するのですか? 注意してください。私はこれからの段落で、簡略化しすぎたり、もしかしたら少し誤魔化したりするつもりです。より詳細な情報については Martin Fowlerのウェブサイト . モックは本物のクラスを置き換える

    2022-05-14 01:49:25