Control application - Revision history

Uwe: /* Using llvm-cov */

2026-08-01T09:42:44Z

Using llvm-cov

← Older revision		Revision as of 11:42, 1 August 2026
Line 183:		Line 183:

	=== Using llvm-cov ===		=== Using llvm-cov ===
	<code>cargo +nightly llvm-cov --features "test-utils" --html --ignore-filename-regex '(main\.rs\|._channels\.rs\|mock.\.rs\|pingable\.rs\|privilege_check\.rs)'</code>		<code>cargo +nightly llvm-cov --features "test-utils" --html --ignore-filename-regex '(main\.rs\|._channels\.rs\|mock.\.rs\|pingable\.rs\|privilege_check\.rs\|recorder_data_frame\.rs)'</code>

	The excluded files contain primarily debug functionality or wrappers without intrinsic logic which distorts the coverage measurement and where adding test cases would be meaningless.		The excluded files contain primarily debug functionality or wrappers without intrinsic logic which distorts the coverage measurement and where adding test cases would be meaningless.

Uwe: /* Using llvm-cov */

2026-08-01T06:39:45Z

Using llvm-cov

← Older revision		Revision as of 08:39, 1 August 2026
Line 183:		Line 183:

	=== Using llvm-cov ===		=== Using llvm-cov ===
	<code>cargo llvm-cov --features "test-utils" --html --ignore-filename-regex '(main\.rs\|._channels\.rs\|mock.\.rs\|pingable\.rs\|privilege_check\.rs)'</code>		<code>cargo +nightly llvm-cov --features "test-utils" --html --ignore-filename-regex '(main\.rs\|._channels\.rs\|mock.\.rs\|pingable\.rs\|privilege_check\.rs)'</code>

	The excluded files contain primarily debug functionality or wrappers without intrinsic logic which distorts the coverage measurement and where adding test cases would be meaningless.		The excluded files contain primarily debug functionality or wrappers without intrinsic logic which distorts the coverage measurement and where adding test cases would be meaningless.

			The nightly compiler build needs to be used because the application uses gating to exclude the unit tests from the coverage measurement: <code>#[cfg_attr(coverage_nightly, coverage(off))]</code>

	The measurements takes app. 8 minutes.		The measurements takes app. 8 minutes.

Uwe: /* Using llvm-cov */

2026-07-31T17:15:58Z

Using llvm-cov

← Older revision		Revision as of 19:15, 31 July 2026
Line 185:		Line 185:
	<code>cargo llvm-cov --features "test-utils" --html --ignore-filename-regex '(main\.rs\|._channels\.rs\|mock.\.rs\|pingable\.rs\|privilege_check\.rs)'</code>		<code>cargo llvm-cov --features "test-utils" --html --ignore-filename-regex '(main\.rs\|._channels\.rs\|mock.\.rs\|pingable\.rs\|privilege_check\.rs)'</code>

	The excluded files contain primarily debug functionality which distorts the coverage measurement and where adding test cases would be meaningless.		The excluded files contain primarily debug functionality or wrappers without intrinsic logic which distorts the coverage measurement and where adding test cases would be meaningless.

	The measurements takes app. 8 minutes.		The measurements takes app. 8 minutes.

Uwe: /* Using llvm-cov */

2026-07-31T17:15:34Z

Using llvm-cov

← Older revision		Revision as of 19:15, 31 July 2026
Line 183:		Line 183:

	=== Using llvm-cov ===		=== Using llvm-cov ===
	<code>cargo llvm-cov --features "test-utils" --html --ignore-filename-regex '(main\.rs\|._channels\.rs\|mock.\.rs\|pingable\.rs)'</code>		<code>cargo llvm-cov --features "test-utils" --html --ignore-filename-regex '(main\.rs\|._channels\.rs\|mock.\.rs\|pingable\.rs\|privilege_check\.rs)'</code>

	The excluded files contain primarily debug functionality which distorts the coverage measurement and where adding test cases would be meaningless.		The excluded files contain primarily debug functionality which distorts the coverage measurement and where adding test cases would be meaningless.

	The measurements takes app. 8 minutes.		The measurements takes app. 8 minutes.

	=== Comparing the results from llvm-cov and tarpaulin ===		=== Comparing the results from llvm-cov and tarpaulin ===
	Based on commit <code>8f557814f679c30ebd70e181f2a3f996ce0e295c</code>.		Based on commit <code>8f557814f679c30ebd70e181f2a3f996ce0e295c</code>.

Uwe: /* Code coverage measurement */

2026-07-31T06:18:08Z

Code coverage measurement

← Older revision		Revision as of 08:18, 31 July 2026
Line 183:		Line 183:

	=== Using llvm-cov ===		=== Using llvm-cov ===
	<code>cargo llvm-cov --features "test-utils" --html </code>		<code>cargo llvm-cov --features "test-utils" --html --ignore-filename-regex '(main\.rs\|._channels\.rs\|mock.\.rs\|pingable\.rs)'</code>

			The excluded files contain primarily debug functionality which distorts the coverage measurement and where adding test cases would be meaningless.

	The measurements takes app. 8 minutes.		The measurements takes app. 8 minutes.

Uwe: /* Requirements */

2026-07-26T06:43:49Z

Requirements

← Older revision		Revision as of 08:43, 26 July 2026
Line 36:		Line 36:
	* system requirements		* system requirements
	* software requirements		* software requirements

			The requirements coverage report is generated with the following command: <code>oft trace doc src tests -o Html > doc/req/coverage.html</code>

	The linkage of the software requirements to the implementation and related test cases has been reverse engineered using the following two prompts for each function group:		The linkage of the software requirements to the implementation and related test cases has been reverse engineered using the following two prompts for each function group:

Uwe: /* Requirements */

2026-07-26T06:41:46Z

Requirements

← Older revision		Revision as of 08:41, 26 July 2026
Line 32:		Line 32:

	= Requirements =		= Requirements =

			The requirement are structured in two levels:
			* system requirements
			* software requirements

	The linkage of the software requirements to the implementation and related test cases has been reverse engineered using the following two prompts for each function group:		The linkage of the software requirements to the implementation and related test cases has been reverse engineered using the following two prompts for each function group:

Uwe: /* Requirements */

2026-07-26T06:38:59Z

Requirements

← Older revision		Revision as of 08:38, 26 July 2026
Line 33:		Line 33:
	= Requirements =		= Requirements =

	<~~quote~~>Now do the reverse: Go through the implementation and test cases in src/sensors and the integration tests in tests/sensors and label every test case and at least every function linking to a matching software requirement from sensors.md.</~~quote~~>		The linkage of the software requirements to the implementation and related test cases has been reverse engineered using the following two prompts for each function group:

			<blockquote>Check all software requirements of thermal.md if you can find the matching implementations and tests.</blockquote>

			<blockquote>Now do the reverse: Go through the implementation and test cases in src/sensors and the integration tests in tests/sensors and label every test case and at least every function linking to a matching software requirement from sensors.md.</blockquote>

	= Architecture =		= Architecture =

Uwe at 06:34, 26 July 2026

2026-07-26T06:34:14Z

← Older revision		Revision as of 08:34, 26 July 2026
Line 30:		Line 30:

	There is a [[Release procedure\|release procedure]] which is highly recommended to be followed also by anyone developing the SW further.		There is a [[Release procedure\|release procedure]] which is highly recommended to be followed also by anyone developing the SW further.

			= Requirements =

			<quote>Now do the reverse: Go through the implementation and test cases in src/sensors and the integration tests in tests/sensors and label every test case and at least every function linking to a matching software requirement from sensors.md.</quote>

	= Architecture =		= Architecture =

Uwe: /* Comparing the results from llvm-cov and tarpaulin */

2026-07-25T09:53:29Z

Comparing the results from llvm-cov and tarpaulin

← Older revision		Revision as of 11:53, 25 July 2026
Line 173:		Line 173:
	The measurements takes app. 8 minutes.		The measurements takes app. 8 minutes.
	=== Comparing the results from llvm-cov and tarpaulin ===		=== Comparing the results from llvm-cov and tarpaulin ===
			Based on commit <code>8f557814f679c30ebd70e181f2a3f996ce0e295c</code>.

	{\| class="wikitable sortable"		{\| class="wikitable sortable"
	\|+ Module Summary Comparison: llvm-cov vs. tarpaulin (Line Coverage)		\|+ Module Summary Comparison: llvm-cov vs. tarpaulin (Line Coverage)