關於程序正確性的定義：{P} A {Q} ，其中（）的敘述是不正確的。 - 播寶寶

首頁題庫

題目：關於程序正確性的定義：{P} A {Q} ，其中（）的敘述是不正確的。

騰訊雲服務器2核/2G/3M（61元/首年） 騰訊輕量雲2核/2G/4M（99元/年續費同價）騰訊雲服務器老用戶專享

關於程序正確性的定義：{P} A {Q} ，其中（）的敘述是不正確的。

A.P是前置條件

B.Q是運行結果

C.Q是後置條件

D.A是執行功能

正確答案：Q是運行結果

關鍵字：智慧樹

相關試題

1.若類A僅在其方法Method1中定義並使用瞭類B的一個對象，類A其他部分的代碼都不涉及類B，那麼類A與類B的關系應為（）。 2.判斷一個用例是否是一個合適的用例，以下（）不是一個好的方法。 3.契約式設計（Design by Contract）的核心思想，不包括以下（）。 4.針對重要的系統事件定義操作契約，以下（）不是操作契約要求的內容。 5.需求與領域分析階段的主要工作，不包括（）。

推薦

返回頂部