Kết quả thực hiện chương trình được trả về qua biến testResult

Một phần của tài liệu (LUẬN văn THẠC sĩ) các kỹ thuật kiểm thử phần mềm nhúng và ứng dụng (Trang 55 - 74)

Qua quá trình chạy chương trình kết quả thu được là tất cả các Test Case đều PASS. Kết quả thực hiện kiểm thử được lưu trong file “Test Cases List and Report Results.excel”. Từ kết quả kiểm thử cho thấy rằng các hàm trong phần mềm SSD đã thực hiện được các yêu cầu, đảm bảo chạy đúng như mong đợi. Người dùng có thể an tâm sử dụng các hàm này.

KẾT LUẬN

Trong quá trình thực hiện luận văn tôi đã được tìm hiểu về lĩnh vực kiểm thử phần mềm. Nắm được khái niệm, quy trình kiểm thử phần mềm cơ bản, các mức kiểm thử phần mềm và một số chiến lược kiểm thử phần mềm nói chung.

Tôi đã nghiên cứu, tìm hiểu tổng quan về hệ thống nhúng và phần mềm nhúng. Đặc biệt là các kỹ thuật kiểm thử phần mềm nhúng. Ngày nayhệ thống nhúng và phần mềm nhúng đang dần trở thành một ngành phát triển mạnh mẽ trong lĩnh vực công nghệ thông tin,với những ứng dụng rộng rãi trong công nghiệp và đời sống. Vì vậy kiểm thử phần mềm nhúng càng trở nên quan trọng, việc nghiên cứu các kỹ thuật này có thể áp dụng để kiểm thử các phần mềm nhúng trong các hệ thống nhúng.

Tôi cũng đã có sự tìm hiểu so sánh đánh giá kiểm thử phần mềm nhúng với kiểm thử phần mềm nói chung để thấy được những khó khăn trong việc kiểm thử phần mềm nhúng.

Ngoài ra tôi đã áp dụng các kỹ thuật kiểm thử phần mềm nhúngđã nghiên cứu cụ thể là kỹ thuật thiết kế kiểm thử - Kiểm thử điều khiển luồng để tiến hành kiểm thử phần mềm điều khiển chuẩn cho mô-đun flash của mạch MKL46Z256. Từ việc viết tài liệu mô tả chi tiết yêu cầu của từng hàm, vẽ sơ đồ khối của từng hàm cho phần mềm này đến việc viết chương trình phần mềm, thiết kế test case, viết chương trình cho từng test case, thực hiện kiểm thử và báo cáo kết quả. Mục đích là ứng dụng các kỹ thuật kiểm thử phần mềm nhúng đã nghiên cứu vào thực tế, giúp cho mọi người hiểu được rõ hơn việc kiểm thử phần mềm nhúng.

PHỤ LỤC

Phụ lục A: Tài liệu thiết kế chi tiết của phần mềm SSD 1.FlashCommandSequence() 1.FlashCommandSequence()

1.1 Tổng quan

Hàm này được dùng để thực hiện ghi chuỗi lệnh xuống flash.

1.2 Prototype

UINT32 FlashCommandSequence (PFLASH_SSD_CONFIG PSSDConfig, \ UINT8 index, \

UINT8* pCommandArray)

1.3 Giá trị trả về

Bảng 1: Các giá trị trả về của hàm FlashCommandSequence()

Kiểu dữ liệu

Mô tả Các giá trị có thể trả về

UINT32 Thực hiện thành công FTFx_OK

Giá trị lỗi FTFx_ERR_ACCERR

FTFx_ERR_PVIOL FTFx_ERR_MGSTAT0

BEGIN

Check if the CCIF bit is

set

Check if FPVIOL or ACCERR bits

are set

Clear the PVIOL or/and ACCERR bits Yes

Yes

Write to FCCOB register to load the required command parameter.

No

More Parameters?

Clear the CCIF bit in FSTAT register to launch the command

Read FSTAT register

Check if CCIF bit is set No END Check if the ACCERR bit is set in the FSTAT

register

Return code to state 'FTFx_ERR_ACCERR' Yes

Check if the FPVIOL bit

is set

Return code to state 'FTFx_ERR_PVIOL'

Check if the MGSTAT0 bit is

set No

Return code to state ‘FTFx_ERR_MGSTAT0’

No

set returnCode to 'FTFx_OK'

FlashCommandSequence()

Read Flash status register

No Yes No Yes Yes Yes

Call CallBack function if it is set

No

2.FlashEraseAllBlock() 2. 1 Tổng quan

Hàm này sẽ xoá tất cả bộ nhớ flash, kiểm tra toàn bộ nội dung bộ nhớ flash và trả về trạng thái bảo mật của chip.

FlashEraseAllBlock() sẽ bị huỷ và trả về lỗi nếu có bất kỳ một vùng của bộ nhớ flash ở trạng thái được bảo vệ (Protected).

2.2 Prototype

UINT32 FlashEraseAllBlock (PFLASH_SSD_CONFIG PSSDConfig, \ pFLASHCOMMANDSEQUENCE FlashCommandSequence)

2.3 Giá trị trả về

Bảng2: Các giá trị trả về của hàm FlashEraseAllBlock()

Kiểu dữ liệu

Mô tả Các giá trị có thể trả về

UINT32 Thực hiện thành công FTFx_OK

Giá trị lỗi FTFx_ERR_PVIOL

2.4 Sơ đồ khối

BEGIN

END

Prepare passing parameters for FlashCommandSquence API

Return with returnCode Call the

FlashCommandSequence for erase all block

FlashEraseAllBlock()

Set the returncode to state "OK"

Hình A. 2: Sơ đồ khối của hàm FlashEraseAllBlock()

3. FlashEraseSector() 3.1 Tổng quan

Hàm này cho phép xoá tất cả địa chỉ của một hoặc nhiều sector trong bộ nhớ P- Flash.

FlashEraseSector() sẽ bị huỷ và trả về lỗi nếu vùng được chọn để xoá ở trạng thái được bảo vệ (Protected).

UINT32 FlashEraseSector(PFLASH_SSD_CONFIG PSSDConfig, \ UINT32 destination, \

UINT32 size, \

pFLASHCOMMANDSEQUENCE FlashCommandSequence)

3.3 Giá trị trả về

Bảng3: Các giá trị trả về của hàm FlashEraseSector()

Kiểu dữ liệu

Mô tả Các giá trị có thể trả về

UINT32 Thực hiện thành công FTFx_OK

Giá trị lỗi FTFx_ERR_ACCERR

FTFx_ERR_ADDR FTFx_ERR_SIZE FTFx_ERR_RANGE FTFx_ERR_PVIOL

BEGIN Call the FlashCommandSequence Check if target address is aligned? No END Return with returnCode Prepare passing parameters for FlashCommandSquence

for sector erase

FlashEraseSector()

Check if end address is within

valid range

No

Return code to state ‘invalid address’

Return code to state ‘invalid range’ Set Return code to

‘OK’ Check if size > 0 Check if return code is "OK" Yes Yes Yes No Check if size is aligned on sector size

Return code to state ‘invalid size’ Yes

Yes

No

Updated size and target address

No Check

if target address is within valid range

Yes

Return code to state ‘invalid range’ No

4. FlashVerifyAllBlock() 4.1 Tổng quan

Hàm này sẽ kiểm tra xem tất cả nội dung bộ nhớ P-Fl ash đã được xoá hay chưa với các mức read margin được chỉ định.

Read Margin Choice có 3 mức:

 Read margin choice = 0x0: Use the „Normal‟ read level  Read margin choice = 0x1: Use the „User‟ read

 Read margin choice = 0x2: Use the „Factory‟ read

FlashVerifyAllBlock() sẽ trả về lỗi nếu tất cả nội dunghoặc một phần bộ nhớ flash không ở trạng thái được xoá (erased).

4.2 Prototype

UINT32 FlashVerifyAllBlock (PFLASH_SSD_CONFIG PSSDConfig, \ UINT8 marginLevel, \

pFLASHCOMMANDSEQUENCE FlashCommandSequence)

4.3 Giá trị trả về

Bảng4: Các giá trị trả về của hàm FlashVerifyAllBlock()

Kiểu dữ liệu

Mô tả Các giá trị có thể trả về

UINT32 Thực hiện thành công FTFx_OK

Giá trị lỗi FTFx_ERR_ACCERR

FTFx_ERR_MGSTAT0 4.4 Sơ đồ khối BEGIN Call the FlashCommandSequence END

Return with returnCode Prepare passing parameters for FlashCommandSquence

for Verify all Block

FlashVerifyAllBlock()

Set Return code to ‘OK’

5. FlashVerifySection() 5.1 Tổng quan

Hàm này sẽ kiểm tra xem một vùng (1 sector) bộ nhớ P-Flash đã được xoá hay chưa với các mức readmargin được chỉ định.

Read Margin Choice có 3 mức:

 Read margin choice = 0x0: Use the „Normal‟ read level  Read margin choice = 0x1: Use the „User‟ read

 Read margin choice = 0x2: Use the „Factory‟ read

FlashVerifySection() sẽ trả về lỗi nếu vùngđược chọn để xoá không ở trạng thái được xoá (erased).

5.2 Prototype

UINT32 FlashVerifySection (PFLASH_SSD_CONFIG PSSDConfig, \ UINT32 destination, \

UINT16 Number, \ UINT8 marginLevel, \

pFLASHCOMMANDSEQUENCE FlashCommandSequence)

5.3 Giá trị trả về

Bảng5: Các giá trị trả về của hàm FlashVerifySection()

Kiểu dữ liệu

Mô tả Các giá trị có thể trả về

UINT32 Thực hiện thành công FTFx_OK

Giá trị lỗi FTFx_ERR_ACCERR

FTFx_ERR_ADDR FTFx_ERR_RANGE FTFx_ERR_MGSTAT0

BEGIN

Call the FlashCommandSequence

END Return with returnCode Prepare passing parameters for FlashCommandSquence

for section verify

FlashVerifySection()

Check if end address is within

valid range

No Return code to state ‘invalid range’ Set Return code to

‘OK’

Yes Check if target address is

phrase aligned?

Return Code to state 'invalid address'

Yes

No Check

if target address is within valid range

Yes

Return code to state ‘invalid range’ No

Hình A. 5: Sơ đồ khối của hàm FlashVerifySection()

6. FlashProgramCheck() 6.1 Tổng quan

Hàm này sẽ kiểm tra việc ghi dữ liệu vào bộ nhớ P-Flash trước đó có đúng hay không với mức margin được chỉ định.

Read Margin Choice có 2 mức:

 Read margin choice = 0x1: Use the „User‟ read  Read margin choice = 0x2: Use the „Factory‟ read

FlashProgramCheck() sẽ trả về lỗi nếu việc so sánh dữ liệu thực tế đọc ra từ flash được ghi vào trước đó với dữ liệu mong đợi được truyền vào qua các thanh ghi không giống nhau.

6.2 Prototype

UINT32FlashProgramCheck (PFLASH_SSD_CONFIG PSSDConfig, \ UINT32 destination, \ UINT32 size, \ UINT8* pExpectedData, \ UINT32* pFailAddr, \ UINT8 marginLevel, \ pFLASHCOMMANDSEQUENCE FlashCommandSequence) 6.3 Giá trị trả về

Bảng6: Các giá trị trả về của hàm FlashProgramCheck()

Kiểu dữ liệu

Mô tả Các giá trị có thể trả về

UINT32 Thực hiện thành công FTFx_OK

Giá trị lỗi FTFx_ERR_ACCERR

FTFx_ERR_ADDR FTFx_ERR_SIZE FTFx_ERR_RANGE FTFx_ERR_MGSTAT0

BEGIN

Call the FlashCommandSequence

END

Prepare passing parameters for FlashCommandSquence

for Program Check

FlashProgramCheck()

Check

if target address is within valid range

No Return code to state ‘invalid range’

Yes Check if target address is

longword aligned?

Return Code to state 'invalid address' No Check if size is longword aligned? Yes Yes

Return code to state ‘invalid size’ No Check if size > 0 Yes Check if return code is "OK" No

Updated size, destination and pExpectedData

Yes

No Set Return code to

‘OK’

Updated pFailAddr

Return with returnCode

7. FlashProgramLongword() 7.1 Tổng quan

Hàm này được dùng để ghi 4 byte dữ liệu liên tiếp vào bộ nhớ P-Flash.

FlashProgramLongword() sẽ trả về lỗi nếu vùng được chọn để ghidữ liệu vào bộ nhớ flash ở trạng thái được bảo vệ (Protected).

7.2 Prototype

UINT32FlashProgramLongword (PFLASH_SSD_CONFIG PSSDConfig, \ UINT32 destination, \

UINT32 size, \

UINT8* pData, \

pFLASHCOMMANDSEQUENCE FlashCommandSequence)

7.3 Giá trị trả về

Bảng7: Các giá trị trả về của hàm FlashProgramLongword()

Kiểu dữ liệu

Mô tả Các giá trị có thể trả về

UINT32 Thực hiện thành công FTFx_OK

Giá trị lỗi FTFx_ERR_ACCERR

FTFx_ERR_ADDR FTFx_ERR_PVIOL FTFx_ERR_SIZE FTFx_ERR_RANGE

BEGIN

Check if target address is within

valid range

No

Yes

Prepare passing parameters for FlashCommandSequence to perform the

FlashProgramLongword

Call FlashCommandSequence to perform the required command

END FlashProgramLongword() Check if return code is "OK" No Check if size > 0 Yes No Check if size is longword aligned? Yes Check if target address is longword aligned?

Return code to state ‘invalid address’ No

Yes

Yes

No

Return Code to state 'invalid size'

Return Code to state 'invalid range’

Updated size, destination and pData

Return with returnCode Set return Code to

'OK'

8. PFlashGetProtection() 8. 1 Tổng quan

Hàm này lấy ra trạng thái bảo vệ hiện tại của P-Flash.

8.2 Prototype

UINT32 PFlashGetProtection(PFLASH_SSD_CONFIG pSSDConfig, \ UINT32* protectStatus)

8.3 Giá trị trả về

Bảng 8: Các giá trị trả về của hàm PFlashGetProtection() Kiểu dữ

liệu

Mô tả Các giá trị có thể trả về

UINT32 Thực hiện thành công FTFx_OK

8.4 Sơ đồ khối

BEGIN

END

Store the value of FPROT register in the designated

variable

PFlashGetProtection()

Read FPROT registers value

Return FTFx_OK

Hình A. 8: Sơ đồ khối của hàm PFlashGetProtection()

9. PFlashSetProtection() 9. 1 Tổng quan

Hàm này thiết lập bảo vệ vùng P-Flash theo trạng thái bảo vệ mong đợi. Việc thiết lập trạng thái bảo vệ cho vùng P-Flash được thực hiện thành công khi tăng vùng P-Flash cần bảo vệ trong phạm vi cho phép. Nếu giảm vùng P-Flash cần bảo vệ sẽ trả về lỗi và trạng thái bảo vệ hiện tại sẽ không được thay đổi. Muốn P-Flash trở về trạng thái ban đầu thì phải khởi động lại mạch.

9.2 Prototype

UINT32 PFlashSetProtection(PFLASH_SSD_CONFIG pSSDConfig, \ UINT32 protectStatus)

9.3 Giá trị trả về

Bảng 9: Các giá trị trả về của hàm PFlashSetProtection() Kiểu dữ

liệu

Mô tả Các giá trị có thể trả về

UINT32 Thực hiện thành công FTFx_OK

Giá trị lỗi FTFx_ERR_CHANGEPROT

9.4 Sơ đồ khối

BEGIN

END Return with returnCode

PFlashSetProtection()

Set return Code to 'OK' Write the new protection value in

the FPROT registers

Yes Check

if the requested protection status transition is a valid

possibility

Return code to state ‘ERR_CHANGEPROT’ No

Hình A. 9: Sơ đồ khối của hàm PFlashSetProtection()

Phụ lục B: Danh sách test case của từng hàm trong phần mềm SSD

Test case No.

Function Name Description

1.1

FlashEraseAllBlock()

To demonstrate that FlashEraseAllBlock() will return OK if the Flash is unprotected.

1.2

To demonstrate that FlashEraseAllBlock() will return an error if any region of the P-Flash memory is protected.

2.1

FlashEraseSector()

To demonstrate that FlashEraseSector() will return an error if Flash destination is out of valid range on Pflash.

2.2

To demonstrate that FlashEraseSector() will return an error if Flash address is not sector aligned.

2.3 To demonstrate that FlashEraseSector() will return an error if the size is not sector aligned. 2.4

To demonstrate that FlashEraseSector() will return an error if size makes out of valid range on Pflash.

2.5

To demonstrate that FlashEraseSector will return OK if user wants to erase on Pflash with sector size = 0.

2.6

To demonstrate that FlashEraseSector will return OK if all parameters is valid. The flash is

unprotected. 2.7

To demonstrate that FlashEraseSector() will return an error if user wants to erase protected flash sector on Pflash.

3.1

FlashVerifyAllBlock()

To demonstrate that FlashVerifyAllBlock() will return an error if user provides invalid margin level.

3.2

To demonstrate that FlashVerifyAllBlock() will return OK if entire memory is erased (test with different margin level )and there is no area protected.

3.3

To demonstrate that FlashVerifyAllBlock() will return an error if there is any non blanked

location on Pflash and there is no area protected. 3.4

To demonstrate that FlashVerifyAllBlock() will return OK if entire memory is erased (test with different margin level )and some location on Pflash is protected.

3.5

To demonstrate that FlashVerifyAllBlock() will return error if there is any non blanked location on Pflash and this non blanked location on Pflash is protected.

4.1

FlashVerifySection()

To demonstrate that FlashVerifySection() will return an error if invalid margin level provided on PFlash.

4.2

To demonstrate that FlashVerifySection() will return an error if misaligned destination provided on Pflash. Test with all margin levels.

4.3

To demonstrate that FlashVerifySection() will return an error if input provided make destination to be out of range on Pflash.

4.4

To demonstrate that FlashVerifySection() will return an error if input provided make end address to be out of range on Pflash.

4.5

To demonstrate that FlashVerifySection() will return an error if requested number of longword is zero on Pflash. Test with all margin levels. 4.6

To demonstrate that FlashVerifySection() will return OK if the section to be verified is blanked and there is no area protected.

4.7

To demonstrate that FlashVerifySection() will return an error if the section to be verified is non blanked and there is no area protected.

4.8

To demonstrate that FlashVerifySection() will return OK if the section to be verified is blanked and this section on Pflash is protected.

4.9

To demonstrate that FlashVerifySection() will return an error if the section to be verified is non blanked and this section on Pflash is protected. 5.1

FlashProgramCheck()

To demonstrate that FlashProgramCheck() will return an error if margin level provided by user is invalid.

5.2

To demonstrate that FlashProgramCheck() will return an error if destination provided by user is not algined on Pflash.

5.3

To demonstrate that FlashProgramCheck() will return an error if size provided by user is not algined on Pflash.

5.4

To demonstrate that FlashProgramCheck() will return an error if destination provided by user makes out of flash range on Pflash.

5.5

To demonstrate that FlashProgramCheck() will return an error if size provided by user makes out of flash range on Pflash.

5.6

To demonstrate that FlashProgramCheck() will return an error if destination is mismatched to source data. In this case, FailAddr will report the fisrt failing addr.

5.7

To demonstrate that FlashProgramCheck() will return OK if user want to program check with size = 0.

5.8

To demonstrate that FlashProgramCheck() will return OK if destination is matched to source data. User provided arguments are valid. 6.1 FlashProgramLongword()

To demonstrate that FlashProgramLongword() will return an error if destination provided by user is not longword aligned.

6.2

To demonstrate that FlashProgramLongword() will return an error if size provided by user is not longword aligned.

6.3

To demonstrate that FlashProgramLongword() will return an error if destination provided by user makes out of flash range on Pflash. 6.4

To demonstrate that FlashProgramLongword() will return an error if size provided by user makes out of flash range on Pflash.

6.5 To demonstrate that FlashProgramLongword() will return OK if the Flash is unprotected. 6.6

To demonstrate that FlashProgramLongword() will return OK if user want to program with size = 0 to entire Pflash.

6.7

To demonstrate that FlashProgramLongword() will return an error if user want to program to protected area on Pflash.

7.1

PFlashGetSetProtection()

To demonstrate that PFlashGetProtection() and PFlashSetProtection() can set the protection status to some areas of Flash.

7.2

To demonstrate that PFlashSetProtection() can increase the protection range of Flash and return FTFx_OK.

7.3

To demonstrate that PFlashSetProtection() can not decrease the protection range of Flash and return FTFx_ERR_CHANGEPORT.

TÀI LIỆU THAM KHẢO

Tiếng Anh

[1] Bart Broekman and Edwin Notenboon, Testing Embedded Software First Published in Great Britain in 2003.

[2] David E. Simon, An Embedded Software Primer, Person Education Publishing. [3]Freescale, KL46P121M48SF4__Reference_Manaual, July 2013.

[4] Glenford J. Myers, Tom Badgett, Corey Sandler, The Art of Software Testing,

Third Edition, John Wiley and Sons, Inc.

[5] Ilene Burnstein, Practical Software Testing, 2003 springer – Verlag New York. [6] Melissa Hunter, Production Flash Programming Best Practices for Kinetis K- and L-series MCUs, 05/2014.

[7] Ron Patton, Software Testing, Second Edition, Sams Publishing.

Các website [8] Website: http://www.corelis.com/education/JTAG_Tutorial.htm [9] Website: http://www.arm.com/products/system-ip/debug-trace/coresight-soc- components/serial-wire-debug.php [10] Website: http://www.freescale.com [11]Website: http://www.jtag.com

Một phần của tài liệu (LUẬN văn THẠC sĩ) các kỹ thuật kiểm thử phần mềm nhúng và ứng dụng (Trang 55 - 74)

Tải bản đầy đủ (PDF)

(74 trang)