代碼“零缺陷” 文章 進(jìn)入代碼“零缺陷”技術(shù)社區(qū)
零缺陷軟件開發(fā)工具ZDSD

- 前言 在航空、航天、國防、核工業(yè)、通信、汽車、醫(yī)療、金融等尖端產(chǎn)業(yè),對(duì)應(yīng)用軟件的安全性、可靠性提出零缺陷的苛刻標(biāo)準(zhǔn)。從事零缺陷軟件開發(fā)的專業(yè)公司中,英國LDRA公司(Liverpool Data Research Associates)由Mike Hennell教授在1975年創(chuàng)建,它的零缺陷軟件開發(fā)(ZDSD)調(diào)試和測(cè)試工具是拳頭產(chǎn)品。下文對(duì)業(yè)界著名的嵌入式調(diào)試和測(cè)試工具ZDSD作簡(jiǎn)要介紹。 ZDSD解決方案 LDRA公司的ZDSD解決方案的層次模型如圖1所示。在嵌入式系統(tǒng)開發(fā)項(xiàng)目
- 關(guān)鍵字: 零缺陷 軟件開發(fā)工具 ZDSD
TMS320F2812代碼運(yùn)行性能的研究
- TMS320F2812是目前性能非常優(yōu)秀的32位定點(diǎn)DSP,集成了多種外設(shè)。對(duì)TMS320F2812開發(fā)通常利用TI公司的CCS2集成開發(fā)環(huán)境,使用JTAG接口仿真器連接目標(biāo)板,可以不占用用戶資源實(shí)現(xiàn)全速/斷點(diǎn)調(diào)試;
- 關(guān)鍵字: 研究 性能 運(yùn)行 代碼 TMS320F2812
Cypress與HI-TECH發(fā)布最新編譯器,加倍PSoC器件的存儲(chǔ)能力
- Cypress半導(dǎo)體公司和HI-TECHSoftware日前宣布了一項(xiàng)新的編譯技術(shù),能夠擴(kuò)展動(dòng)態(tài)可配置PSoC混合信號(hào)陣列的存...
- 關(guān)鍵字: 代碼 動(dòng)態(tài) 移植 周期
嵌入式系統(tǒng)中USB-HOST協(xié)議棧的設(shè)計(jì)
- 本文主要討論了嵌入式系統(tǒng)中USB-HOST協(xié)議棧的設(shè)計(jì)思路,整個(gè)軟件基于DSPBIOS系統(tǒng)在CCS的編譯環(huán)境下調(diào)試通過,經(jīng)...
- 關(guān)鍵字: 驅(qū)動(dòng) 代碼 兼容 頻率
ARM指令中的條件代碼
- ARM指令集中所有ARM指令都是可以帶條件執(zhí)行的。下面是條件代碼的列表: EQ : 等于 如果一次比較之后設(shè)置了 Z 標(biāo)志。 NE : 不等于 如果一次比較之后清除了 Z 標(biāo)志。 VS : 溢出設(shè)置 如果在一次算術(shù)操作之后設(shè)置了 V 標(biāo)志,計(jì)算的結(jié)果不適合放入一個(gè) 32bit 目標(biāo)寄存器中。 VC : 溢出清除 如果清除了 V 標(biāo)志,與 VS 相反。 HI : 高于(無符號(hào)) 如果一次比較之后設(shè)置了 C 標(biāo)志并清除了 Z 標(biāo)志。 LS : 低于或同于(無符號(hào)) 如果一次比較操作之后
- 關(guān)鍵字: ARM 代碼
風(fēng)河向Eclipse基金會(huì)提供30余萬行代碼
- 風(fēng)河系統(tǒng)公司日前向Eclipse基金會(huì)(Eclipse Foundation)公布了30多萬行代碼,解除了私有封閉開發(fā)工具的限制。此次公布的代碼涉及以下四個(gè)Eclipse項(xiàng)目:C/C++開發(fā)工具(CDT)項(xiàng)目、平臺(tái)項(xiàng)目以及同屬于設(shè)備軟件開發(fā)平臺(tái)(DSDP)項(xiàng)目的目標(biāo)管理(TM)和設(shè)備調(diào)試(DD)兩個(gè)子項(xiàng)目。此次代碼公布不僅將使廣大設(shè)備軟件開發(fā)人員受益,更為重要的是將推動(dòng)開放業(yè)界標(biāo)準(zhǔn)開發(fā)框架的成熟發(fā)展,從而使企業(yè)級(jí)和桌面級(jí)C/C++軟件開發(fā)人員相互促進(jìn)發(fā)展。 風(fēng)河公司開發(fā)工具產(chǎn)品主管Steven&
- 關(guān)鍵字: Eclipse 測(cè)量 測(cè)試 代碼 單片機(jī) 電源技術(shù) 風(fēng)河公司 基金會(huì) 模擬技術(shù) 嵌入式系統(tǒng)
ARM7TDMI-S在嵌入式系統(tǒng)中的Bootloader代碼設(shè)計(jì)
- ARM7TDMI-S在嵌入式系統(tǒng)中的Bootloader代碼設(shè)計(jì),ARM7TDMI-S是ARM公司設(shè)計(jì)的一款32位精簡(jiǎn)指令集處理器內(nèi)核,LPC210x系列是飛利浦半導(dǎo)體公司生產(chǎn)的基于ARM7TDMI
- 關(guān)鍵字: 代碼 設(shè)計(jì) Bootloader 系統(tǒng) 嵌入式 ARM7TDMI-S
代碼“零缺陷”介紹
您好,目前還沒有人創(chuàng)建詞條代碼“零缺陷”!
歡迎您創(chuàng)建該詞條,闡述對(duì)代碼“零缺陷”的理解,并與今后在此搜索代碼“零缺陷”的朋友們分享。 創(chuàng)建詞條
歡迎您創(chuàng)建該詞條,闡述對(duì)代碼“零缺陷”的理解,并與今后在此搜索代碼“零缺陷”的朋友們分享。 創(chuàng)建詞條
關(guān)于我們 -
廣告服務(wù) -
企業(yè)會(huì)員服務(wù) -
網(wǎng)站地圖 -
聯(lián)系我們 -
征稿 -
友情鏈接 -
手機(jī)EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權(quán)所有 北京東曉國際技術(shù)信息咨詢有限公司
京ICP備12027778號(hào)-2 北京市公安局備案:1101082052 京公網(wǎng)安備11010802012473
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權(quán)所有 北京東曉國際技術(shù)信息咨詢有限公司
