自動化されたテストケース生成の研究プロジェクトに Alloy4 を使用したいと考えています。誰でもこれで私を助けてくれますか？Alloy で生成されたインスタンスを使用して Java インスタンス オブジェクトを作成するために Alloy を使用するにはどうすればよいですか?
質問する
300 次
2 に答える
3
復活したゾンビのように見えて申し訳ありませんが、jDollyは Alloy ベースの Java プログラム ジェネレーターです。見てみな！
于 2012-12-10T21:41:13.527 に答える
2
SAT を使用したテスト ケースの生成に関しては、UT オースティンで教鞭を執る Sarfraz Khurshid 博士が論文「Generating Structurally Complex Tests from Declarative Constraints」を書き、SAT の解決 (彼の場合は合金) に基づいていることを知っています。彼の論文はオンラインで見つけることができます。
アブストラクトから引用すると、
この論文では、構造的に複雑なデータを入力として受け取るプログラムの体系的な制約ベースのテスト生成の方法について説明し、そのようなプログラムをテストするための自動化された SAT ベースのフレームワークを提示します。
.
ただし、アロイ仕様から Java クラスを作成する作業については詳しくありません。
于 2012-07-25T19:35:03.547 に答える