Difference between revisions of "CirqBuff and MBox QuickCheck Models"

Revision as of 17:15, 27 December 2016 (view source) Ceres (Talk | contribs) ← Older edit		Revision as of 18:03, 27 December 2016 (view source) Ceres (Talk | contribs) Newer edit →
Line 2:		Line 2:
−	=== File1 ===	+	=== source_path.hrl ===
		+
		+	<pre>
		+	</pre>
		+
		+	=== qc_cb.hrl ===
		+
		+	<pre>
		+	</pre>
		+
		+	=== qc_cb_setup.erl ===
		+
		+	<pre>
		+	</pre>
		+
		+	=== qc_cb.erl ===
		+
		+	<pre>
		+	</pre>
		+
		+	=== qc_mbox.hrl ===
		+
		+	<pre>
		+	</pre>
		+
		+	=== qc_mbox_capi.erl ===
		+
		+	<pre>
		+	</pre>
		+
		+	=== qc_mbox_setup.erl ===
		+
		+	<pre>
		+	</pre>
		+
		+	=== qc_mbox.erl ===
		+
		+	<pre>
		+	</pre>
		+
		+	=== qc_cluster.erl ===
	<pre>		<pre>
−	File one contents.
	</pre>		</pre>

---

Revision as of 18:03, 27 December 2016

This page contains the complete CirqBuff and MBox QuickCheck models described in the paper entitled Modelling of Autosar Libraries for Large Scale Testing by Wojciech Mostowski, Thomas Arts, and John Hughes. The complete model archive can be downloaded here, below the complete model quote.

source_path.hrl

qc_cb.hrl

qc_cb_setup.erl

qc_cb.erl

qc_mbox.hrl

qc_mbox_capi.erl

qc_mbox_setup.erl

qc_mbox.erl

qc_cluster.erl