問(wèn)答題

【簡(jiǎn)答題】什么是形式驗(yàn)證？形式驗(yàn)證有哪兩種主要技術(shù)？

答案：形式驗(yàn)證就是基于已建立的形式規(guī)格，對(duì)所規(guī)格系統(tǒng)的相關(guān)特性進(jìn)行分析和驗(yàn)證，以評(píng)判系統(tǒng)是否滿足期望的特性。
形式驗(yàn)...

你可能感興趣的試題

問(wèn)答題

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

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

問(wèn)答題

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

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