Conclude unit testing section

Author: rubidijum

ProjectAnalysisReport.md

@@ -191,14 +191,78 @@ Dakle, ima smisla udubiti se u kod i razmisljati na drugi nacin, odnosno ne samo
 
 Kao sto smo vec spomenuli, mozemo se fokusirati na nekoliko funkcija za koje smo vec napisali testove. Za ovo cemo napraviti novi folder channel_sounding_behavior u koji cemo smestiti spomenuta prosirenja. Pogledajmo prvo `bt_le_cs_security_enable` funkciju i njeno ocekivano ponasanje. Funkcija pravi bafer HCI komande, popunjava ga sa pokazivacem na konekciju i salje komandu sinhrono. Vec smo pokrili tzv. happy path, odnosno slucaj u kome je sve kao sto ocekujemo. Uz to, testirali smo i slucaj u kome `bt_hci_cmd_create` funkcija vrati nepravilan bafer (NULL). Slucajevi koje bismo jos mogli pokriti jesu kada se kao pokazivac na konekciju prosledi NULL vrednost kao i slucaj kada `bt_hci_cmd_send_sync` funkcija pukne. Ova dva slucaja su pokrivena testovima `test_sec_enable_hci_cmd_fail_null_conn` i `test_sec_enable_cmd_send_fail`. Na slican nacun su dodati i sledeci testovi:
 
-TODO(avra): pobrojati testove i dodati kratak opis (mozda tabela)
-* `test_read_remote_supported_capabilities_complete_null_buf` - Provera ponasanja funkcije sa prosledjenim nevalidnim baferom (Ocekivano ponasanje - vraca gresku)
-* `test_read_remote_supported_capabilities_complete_invalid_buf_len` - Provera ponasanja funkcije sa pogresnom velicinom ulaznog bafera (Ocekivano ponasanje - funkcija se zavrsava ranim izlaskom)
-* `test_read_remote_supported_capabilities_complete_evt_status_fail` - Provera ponasanja funkcije kada `bt_conn_lookup_handle` vrati dogadjaj sa statusom greske (Ocekivano ponasanje - funkcija se zavrsava ranim izlaskom)
-* `test_read_remote_supported_capabilities_complete_conn_lookup_handle_fail` - Provera ponasanja funkcije kada `bt_conn_lookup_handle` vrati NULL pokazivac (Ocekivano ponasanje - funkcija se zavrsava ranim izlaskom)
-* `test_read_remote_fae_table_hci_cmd_fail` - Provera ponasanja funkcije kada 
-* `test_read_remote_fae_table_send_sync_failed` - 
-
+### Testovi za `bt_le_cs_security_enable`
+
+1. **`test_sec_enable_hci_cmd_fail`**  
+   * Provera ponašanja kada `bt_hci_cmd_create` ne uspe (vrati NULL)  
+   * Očekivano: Vraća `-ENOBUFS`  
+   * ✅ **NAPOMENA**: Test je prolazio i pre izmena
+
+2. **`test_sec_enable_hci_cmd_fail_null_conn`**  
+   * Provera ponašanja sa NULL parametrom za konekciju  
+   * Očekivano: Vraća `-ENOBUFS`  
+   * ✅ **NAPOMENA**: Test je prolazio i pre izmena
+
+3. **`test_sec_enable_cmd_send_fail`**  
+   * Provera ponašanja kada `bt_hci_cmd_send_sync` ne uspe  
+   * Očekivano: Vraća grešku sa sinhronizacije  
+   * ✅ **NAPOMENA**: Test je prolazio i pre izmena
+
+### Testovi za `bt_hci_le_cs_read_remote_supported_capabilities_complete`
+
+4. **`test_read_remote_supported_capabilities_complete_null_buf`**  
+   * Provera ponašanja sa NULL baferom  
+   * Očekivano: Prekid bez operacija  
+   * ✅ **NAPOMENA**: Test je prolazio i pre izmena
+
+5. **`test_read_remote_supported_capabilities_complete_invalid_buf_len`**  
+   * Provera ponašanja sa nevalidnom dužinom bafera  
+   * Očekivano: Prekid izvršavanja  
+   * :warning: **NAPOMENA**: Test nije prolazio pre izmena (nedostajala je provera dužine)
+
+6. **`test_read_remote_supported_capabilities_complete_evt_status_fail`**  
+   * Provera ponašanja kada status događaja pokazuje grešku  
+   * Očekivano: Prekid izvršavanja  
+   * ✅ **NAPOMENA**: Test je prolazio i pre izmena
+
+7. **`test_read_remote_supported_capabilities_complete_conn_lookup_handle_fail`**  
+   * Provera ponašanja kada pretraga konekcije ne uspe  
+   * Očekivano: Prekid izvršavanja  
+   * :warning: **NAPOMENA**: Test nije prolazio pre izmena (nedostajala je provera za NULL)
+
+### Testovi za `bt_le_cs_read_remote_fae_table`
+
+8. **`test_read_remote_fae_table_hci_cmd_fail`**  
+   * Provera ponašanja kada kreiranje HCI komande ne uspe  
+   * Očekivano: Vraća `-ENOBUFS`  
+   * ✅ **NAPOMENA**: Test je prolazio i pre izmena
+
+9. **`test_read_remote_fae_table_null_conn`**  
+   * Provera ponašanja sa NULL parametrom za konekciju  
+   * Očekivano: Vraća `-EFAULT`  
+   * ✅ **NAPOMENA**: Test je prolazio i pre izmena
+
+10. **`test_read_remote_fae_table_send_sync_failed`**  
+    * Provera ponašanja kada sinhronizacija komande ne uspe  
+    * Očekivano: Vraća grešku sa sinhronizacije  
+    * ✅ **NAPOMENA**: Test je prolazio i pre izmena
+
+### Testovi za `bt_hci_le_cs_read_remote_fae_table_complete`
+
+11. **`test_bt_hci_le_cs_read_remote_fae_table_complete_invalid_buf_size_fail`**  
+    * Provera ponašanja sa nevalidnom veličinom bafera  
+    * Očekivano: Prekid izvršavanja  
+    * :warning: **NAPOMENA**: Test nije prolazio pre izmena (nedostajala provera dužine)
+
+12. **`test_bt_hci_le_cs_read_remote_fae_table_complete_evt_status_fail`**  
+    * Provera ponašanja kada status događaja pokazuje grešku  
+    * Očekivano: Prekid izvršavanja  
+    * ✅ **NAPOMENA**: Test je prolazio i pre izmena
+
+13. **`test_bt_hci_le_cs_read_remote_fae_table_complete_conn_lookup_fail`**  
+    * Provera ponašanja kada pretraga konekcije ne uspe  
+    * Očekivano: Prekid izvršavanja  
+    * :warning: **NAPOMENA**: Test nije prolazio pre izmena (nedostajala provera za NULL)
 
 _Napomena_: kod funkcija koje se zavrsavaju ranije ocekujemo da neke podfunkcije nikada nece biti pozvane. Ovaj uslov eksplicitno ukljucujemo u ocekivanja testa pomocu `zasser_` funkcija.
 
@@ -326,9 +390,9 @@ PROJECT EXECUTION FAILED
 
 Ovog puta nismo dobili veliki broj palih testova, ali dobijamo indikaciju da mozda treba obratiti paznju na baratanje neispravnim ulaznim vrednostima u funkcije.
 
-Vidimo da nije svuda rigorozno proveravano da li se prosledjuju ispravne vrednosti, tako da cemo tu proveru dodati u izvorni kod i ponovo pokrenuti testove. Izmene koje su dodate ticu se uglavnom provere ulaznih argumenata funkcija (TODO dodati ako je jos nesto nadjeno) i mogu se pogledati u <patch_name.patch>. Nakon primene izmena, ponovo je pokrenuta skripta i vidimo da sada svi testovi prolaze. Mozemo nastaviti sa generisanjem izvestaja pokrivenosti za ispravljene testove. Krajnji rezultati su prikazani na slici ispod:
+Vidimo da nije svuda rigorozno proveravano da li se prosledjuju ispravne vrednosti, tako da cemo tu proveru dodati u izvorni kod i ponovo pokrenuti testove. Izmene koje su dodate ticu se uglavnom provere ulaznih argumenata funkcija i mogu se pogledati u `cs_error_handling.patch`. Nakon primene izmena, ponovo je pokrenuta skripta i vidimo da sada svi testovi prolaze. Mozemo nastaviti sa generisanjem izvestaja pokrivenosti za ispravljene testove. Krajnji rezultati pokrivenosti su prikazani na slici ispod:
 
-TODO: slika
+![Final unit test coverage](images/final_ut_coverage.png)
 
 #### Integration tests
 

images/final_ut_coverage.png

@@ -0,0 +1,52 @@
+diff --git a/subsys/bluetooth/host/cs.c b/subsys/bluetooth/host/cs.c
+index da2480739d1..8a87be8bfef 100644
+--- a/subsys/bluetooth/host/cs.c
++++ b/subsys/bluetooth/host/cs.c
+@@ -297,6 +297,11 @@ void bt_hci_le_cs_read_remote_supported_capabilities_complete(struct net_buf *bu
+ 	struct bt_conn_le_cs_capabilities remote_cs_capabilities;
+ 	struct bt_hci_evt_le_cs_read_remote_supported_capabilities_complete *evt;
+ 
++	if (!buf) {
++		LOG_ERR("Input buffer is NULL");
++		return;
++	}
++
+ 	if (buf->len < sizeof(*evt)) {
+ 		LOG_ERR("Unexpected end of buffer");
+ 		return;
+@@ -446,6 +451,11 @@ int bt_le_cs_read_remote_fae_table(struct bt_conn *conn)
+ 	}
+ 
+ 	cp = net_buf_add(buf, sizeof(*cp));
++
++	if (!cp) {
++		return -EFAULT;
++	}
++
+ 	cp->handle = sys_cpu_to_le16(conn->handle);
+ 
+ 	return bt_hci_cmd_send_sync(BT_HCI_OP_LE_CS_READ_REMOTE_FAE_TABLE, buf, NULL);
+@@ -463,6 +473,12 @@ void bt_hci_le_cs_read_remote_fae_table_complete(struct net_buf *buf)
+ 	}
+ 
+ 	evt = net_buf_pull_mem(buf, sizeof(*evt));
++
++	if(!evt) {
++		LOG_ERR("Could not pull memory for evt");
++		return;
++	}
++
+ 	if (evt->status) {
+ 		LOG_WRN("Read Remote FAE Table failed with status 0x%02X", evt->status);
+ 		return;
+@@ -900,6 +916,10 @@ int bt_le_cs_security_enable(struct bt_conn *conn)
+ 	struct bt_hci_cp_le_security_enable *cp;
+ 	struct net_buf *buf;
+ 
++	if (!conn) {
++		return -ENOBUFS;
++	}
++
+ 	buf = bt_hci_cmd_create(BT_HCI_OP_LE_CS_SECURITY_ENABLE, sizeof(*cp));
+ 	if (!buf) {
+ 		return -ENOBUFS;

patches/cs_error_handling.patch

@@ -65,7 +65,7 @@ ZTEST(channel_sounding_tests_error_handling, test_sec_enable_hci_cmd_fail_null_c
 	zassert_equal(net_buf_simple_add_fake.call_count, 0);
 }
 
-ZTEST(channel_sounding_tests, test_sec_enable_cmd_send_fail)
+ZTEST(channel_sounding_tests_error_handling, test_sec_enable_cmd_send_fail)
 {
 	// [Given]
 	// Assign the mock structure to test connection
@@ -107,17 +107,17 @@ ZTEST(channel_sounding_tests, test_sec_enable_cmd_send_fail)
 	zassert_equal(bt_hci_cmd_send_sync_fake.call_count, 1);
 }
 
-// ZTEST(channel_sounding_tests_error_handling, test_read_remote_supported_capabilities_complete_null_buf)
-// {
-// 	// Function under test
-// 	bt_hci_le_cs_read_remote_supported_capabilities_complete(NULL);
+ZTEST(channel_sounding_tests_error_handling, test_read_remote_supported_capabilities_complete_null_buf)
+{
+	// Function under test
+	bt_hci_le_cs_read_remote_supported_capabilities_complete(NULL);
 
-// 	// Assertions
-// 	zassert_equal(net_buf_simple_pull_mem_fake.call_count, 0, "net_buf_simple_pull_mem unexpectedly called!");
-// 	zassert_equal(bt_conn_lookup_handle_fake.call_count, 0, "bt_conn_lookup_handle unexpectedly called!");
-// 	zassert_equal(notify_remote_cs_capabilities_fake.call_count, 0, "notify_remote_cs_capabilities unexpectedly called!");
-// 	zassert_equal(bt_conn_unref_fake.call_count, 0, "bt_conn_unref unexpectedly called!");
-// }
+	// Assertions
+	zassert_equal(net_buf_simple_pull_mem_fake.call_count, 0, "net_buf_simple_pull_mem unexpectedly called!");
+	zassert_equal(bt_conn_lookup_handle_fake.call_count, 0, "bt_conn_lookup_handle unexpectedly called!");
+	zassert_equal(notify_remote_cs_capabilities_fake.call_count, 0, "notify_remote_cs_capabilities unexpectedly called!");
+	zassert_equal(bt_conn_unref_fake.call_count, 0, "bt_conn_unref unexpectedly called!");
+}
 
 ZTEST(channel_sounding_tests_error_handling, test_read_remote_supported_capabilities_complete_invalid_buf_len){
     // Setup
@@ -279,32 +279,32 @@ ZTEST(channel_sounding_tests_error_handling, test_read_remote_fae_table_hci_cmd_
 	zassert_equal_ptr(net_buf_simple_add_fake.call_count, 0, "net_buf_simple_add called more times than expected!");
 }
 
-// ZTEST(channel_sounding_tests_error_handling, test_read_remote_fae_table_null_conn)
-// {
-// 	// Setup
-//     struct bt_conn *test_conn = &test_conn_mock;
-//     // struct net_buf buf;
-
-// 	static uint8_t test_data[256];
-// 	static struct net_buf test_buf = {.b = {
-// 						  .data = test_data,
-// 						  .len = 0,
-// 						  .size = sizeof(test_data),
-// 					  }};
+ZTEST(channel_sounding_tests_error_handling, test_read_remote_fae_table_null_conn)
+{
+	// Setup
+    struct bt_conn *test_conn = &test_conn_mock;
+    // struct net_buf buf;
+
+	static uint8_t test_data[256];
+	static struct net_buf test_buf = {.b = {
+						  .data = test_data,
+						  .len = 0,
+						  .size = sizeof(test_data),
+					  }};
 
-//     bt_hci_cmd_create_fake.return_val = &test_buf;
+    bt_hci_cmd_create_fake.return_val = &test_buf;
 
-// 	// Replace generic mock implementation with stubbed function
-// 	net_buf_simple_add_fake.return_val= NULL;
+	// Replace generic mock implementation with stubbed function
+	net_buf_simple_add_fake.return_val= NULL;
 
-//     // Test
-//     int ret = bt_le_cs_read_remote_fae_table(test_conn);
+    // Function under test
+    int ret = bt_le_cs_read_remote_fae_table(test_conn);
 
-//     // Assertions
-//     zassert_equal(ret, 0, "Function failed");
-//     zassert_equal(bt_hci_cmd_create_fake.call_count, 1, "bt_hci_cmd_create not called");
-//     zassert_equal(bt_hci_cmd_send_sync_fake.call_count, 0, "bt_hci_cmd_send_sync called more times than expected!");
-// }
+    // Assertions
+    zassert_equal(ret, -EFAULT, "Function failed");
+    zassert_equal(bt_hci_cmd_create_fake.call_count, 1, "bt_hci_cmd_create not called");
+    zassert_equal(bt_hci_cmd_send_sync_fake.call_count, 0, "bt_hci_cmd_send_sync called more times than expected!");
+}
 
 ZTEST(channel_sounding_tests_error_handling, test_read_remote_fae_table_send_sync_failed)
 {

testing/unit/channel_sounding_behavior/src/error_handling.c

@@ -206,7 +206,7 @@ void *net_buf_simple_pull_mem_mock(struct net_buf_simple *buf, size_t len)
 	return data;            // Return the original data pointer
 }
 
-ZTEST(channel_sounding_tests, test_successful_read)
+ZTEST(channel_sounding_tests, test_bt_hci_le_cs_read_remote_fae_table_complete_success)
 {
 	struct bt_conn *test_conn = &test_conn_mock;