工業(yè)軟件研發(fā)、測(cè)試與質(zhì)量管理論叢

內(nèi)容概要

王蕾主編的《工業(yè)軟件研發(fā)測(cè)試與質(zhì)量管理論叢》精選的二十多篇高質(zhì)量的論文和技術(shù)報(bào)告，是高校、科研機(jī)構(gòu)和不同行業(yè)的具有豐富經(jīng)驗(yàn)的軟件測(cè)試和軟件質(zhì)量管理科研人員、教授、專家的理論研究和工作實(shí)踐的結(jié)晶。本書從理論、方法和應(yīng)用三個(gè)視角透視了上海地區(qū)廣大軟件測(cè)試和質(zhì)量管理科研人員經(jīng)過(guò)長(zhǎng)期探索、研究和實(shí)踐，在軟件測(cè)試?yán)碚?、技術(shù)和軟件質(zhì)量管理方面所取得的豐碩成果。

書籍目錄

序言
前言
理論篇
  工業(yè)軟件可靠性精確模型研究
  Linux進(jìn)程切換和優(yōu)先級(jí)倒置解除時(shí)間的精確測(cè)量
  優(yōu)化測(cè)試碼間距和提高隨機(jī)測(cè)試效率
  一個(gè)Java程序的動(dòng)態(tài)故障注入工具原型
  軟件測(cè)試性定義、研究現(xiàn)狀和熱點(diǎn)問(wèn)題
方法篇
  工業(yè)軟件測(cè)試模型與方法研究
  工業(yè)軟件公共測(cè)試與驗(yàn)證平臺(tái)及其應(yīng)用
  第三方工業(yè)軟件測(cè)試項(xiàng)目管理的方法論研究
  智能式斷路器用嵌入式軟件測(cè)試規(guī)范研究
  工業(yè)管理軟件系統(tǒng)的設(shè)計(jì)和實(shí)施
  CBTC仿真系統(tǒng)列車速度計(jì)算模型研究
  軌道交通運(yùn)控CBTC系統(tǒng)安全軟件的研發(fā)
應(yīng)用篇
  第三方品質(zhì)保障服務(wù)及其在工業(yè)軟件企業(yè)中的應(yīng)用
  搖號(hào)排序?qū)Ｓ密浖S機(jī)均勻性測(cè)試方法研究
  上海工業(yè)軟件測(cè)試行業(yè)發(fā)展對(duì)策研究孟
  項(xiàng)目管理理念在軟件測(cè)試項(xiàng)目管理中的應(yīng)用
  道岔監(jiān)測(cè)系統(tǒng)軟件設(shè)計(jì)與實(shí)現(xiàn)
  CBTC仿真驗(yàn)證系統(tǒng)中關(guān)于線路數(shù)據(jù)庫(kù)的設(shè)計(jì)與應(yīng)用
  網(wǎng)絡(luò)信息系統(tǒng)性能瓶頸定位及案例分析
  面向CRMS的化工企業(yè)SMT客戶數(shù)據(jù)挖掘案例分析
  YSlow在網(wǎng)上世博會(huì)體驗(yàn)型展館性能優(yōu)化中的應(yīng)用
  云計(jì)算平臺(tái)的測(cè)試與實(shí)踐
  基于數(shù)據(jù)挖掘技術(shù)的化工企業(yè)CRMS設(shè)計(jì)
  流程通在質(zhì)量管理中的應(yīng)用

章節(jié)摘錄

版權(quán)頁(yè)：   插圖：   對(duì)于軟件測(cè)試性的研究起步比較晚，IEEE在1990年出版的軟件工程技術(shù)術(shù)語(yǔ)中提出軟件測(cè)試性是：（1）為一個(gè)系統(tǒng)或構(gòu)件建立測(cè)試標(biāo)準(zhǔn)并通過(guò)執(zhí)行測(cè)試來(lái)確定該標(biāo)準(zhǔn)被滿足的難易程度；（2）對(duì)每一個(gè)聲明的需求建立一個(gè)測(cè)試標(biāo)準(zhǔn)并通過(guò)執(zhí)行測(cè)試來(lái)確定該標(biāo)準(zhǔn)被滿足的難易程度。該定義比較抽象和難以理解，"參考文獻(xiàn)"在對(duì)通信軟件的測(cè)試性定義時(shí)進(jìn)行了簡(jiǎn)化，認(rèn)為軟件測(cè)試性是軟件為易于應(yīng)用測(cè)試方法、發(fā)現(xiàn)存在的軟件錯(cuò)誤和更快地糾正錯(cuò)誤而提供便利的一種屬性。該文將錯(cuò)誤糾正也納入了軟件測(cè)試性范疇，軟件測(cè)試性是與軟件測(cè)試相關(guān)的軟件特性，而錯(cuò)誤糾正并不屬于軟件測(cè)試活動(dòng)，在軟件測(cè)試性中進(jìn)行討論不太合適。 "參考文獻(xiàn)"認(rèn)為軟件測(cè)試性是使用傳統(tǒng)的程序測(cè)試方法論證程序正確性的難易程度；"參考文獻(xiàn)"對(duì)軟件測(cè)試性的定義是測(cè)試軟件設(shè)計(jì)的難易程度；"參考文獻(xiàn)"將面向?qū)ο笙到y(tǒng)的軟件測(cè)試性定義為暴露軟件缺陷的相對(duì)難度和費(fèi)用；"參考文獻(xiàn)"將軟件測(cè)試性定義為測(cè)試軟件所需的費(fèi)用。上述定義都是將測(cè)試性與測(cè)試難易程度結(jié)合起來(lái)進(jìn)行考慮。軟件測(cè)試性與測(cè)試難易程度的確存在密切關(guān)系：測(cè)試性能夠預(yù)計(jì)測(cè)試的難易程度，測(cè)試難易程度同樣能反映測(cè)試性好壞。但兩者還是存在區(qū)別：軟件測(cè)試性是軟件本身的屬性，理論上只要軟件不發(fā)生變化，軟件測(cè)試性也不會(huì)發(fā)生變化；而測(cè)試的難易程度不僅與軟件相關(guān)還與測(cè)試的過(guò)程、方法、工具等外部條件相關(guān)，使用不同的測(cè)試方法、運(yùn)用不同的測(cè)試工具都會(huì)影響測(cè)試的難易程度。因此使用測(cè)試難易程度定義軟件測(cè)試性并不恰當(dāng)。 "參考文獻(xiàn)"認(rèn)為軟件測(cè)試性是在某一特定的輸入分布下，軟件中包含的一個(gè)缺陷在下一次測(cè)試執(zhí)行過(guò)程中失效的概率；"參考文獻(xiàn)"認(rèn)為軟件測(cè)試性不但與軟件的輸入分布和缺陷有關(guān)還與測(cè)試預(yù)言存在很大的關(guān)系，因此將軟件測(cè)試性定義為在程序有錯(cuò)并且給定了明確預(yù)言的條件下，從一個(gè)特定的輸入分布中抽取一個(gè)輸入進(jìn)行測(cè)試時(shí)被拒絕的概率。如果說(shuō)以往的研究者是從測(cè)試過(guò)程的角度研究軟件測(cè)試性對(duì)測(cè)試費(fèi)用、測(cè)試進(jìn)度的影響的話，那么，"參考文獻(xiàn)"定義的軟件測(cè)試性就是從測(cè)試結(jié)果的角度討論軟件暴露自身缺陷的能力。然而這些定義都是基于軟件的故障/失效模型，它們只反映了軟件實(shí)現(xiàn)（代碼）的測(cè)試性而不能表示軟件整體的測(cè)試性，因?yàn)樗鼈兾茨芸紤]軟件的其他方面如需求、設(shè)計(jì)等。

編輯推薦

《工業(yè)軟件研發(fā)、測(cè)試與質(zhì)量管理論叢》是在上海市軟件評(píng)測(cè)中心主辦、上海社會(huì)科學(xué)院信息研究所承辦的"工業(yè)軟件測(cè)試與質(zhì)量管理高峰論壇"的會(huì)議論文基礎(chǔ)上編輯而成的。編輯出版本論叢，旨在以論壇直接互動(dòng)平臺(tái)為基礎(chǔ)，為工業(yè)軟件領(lǐng)域的廣大工作者提供一個(gè)長(zhǎng)期交流、探討和分享智慧的平臺(tái)。

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    工業(yè)軟件研發(fā)、測(cè)試與質(zhì)量管理論叢 PDF格式下載

---