問(wèn)答題

【簡(jiǎn)答題】使用形式化方法的原因是什么？

答案：（1）高質(zhì)量軟件生產(chǎn)的要求
軟件中存在的缺陷，會(huì)引起很多問(wèn)題，如給客戶的業(yè)務(wù)造成損失，甚至危及生命。研究表明，...

你可能感興趣的試題

問(wèn)答題

【簡(jiǎn)答題】形式規(guī)格描述的是什么？

答案：規(guī)格就是對(duì)系統(tǒng)或者對(duì)象及其期望的特性或者行為進(jìn)行的描述。規(guī)格所要描述的內(nèi)容包括：功能特性、行為特性、結(jié)構(gòu)特性、時(shí)間特性。...

問(wèn)答題

【簡(jiǎn)答題】軟件系統(tǒng)構(gòu)建的關(guān)鍵是什么？

答案：形式規(guī)格是系統(tǒng)構(gòu)建的關(guān)鍵。它包括客戶需求的定義、程序?qū)嵤⒔Y(jié)果測(cè)試和程序文檔等內(nèi)容。形式規(guī)格有助于系統(tǒng)參與方各自的意見(jiàn)達(dá)...