首页
关于程序正确性的定义:{P} A {Q} ,其中()的叙述是不正确的。
精华吧
→
答案
→
知到智慧树
→
未分类
关于程序正确性的定义:{P} A {Q} ,其中()的叙述是不正确的。
A.P是前置条件
B.Q是运行结果
C.Q是后置条件
D.A是执行功能
正确答案:Q是运行结果
Tag:
条件
正确性
定义
时间:2024-01-15 21:19:11
上一篇:
以下关于断言(assertion)的叙述,不正确的是()。
下一篇:
若类A仅在其方法Method1中定义并使用了类B的一个对象,类A其他部分的代码都不涉及类B,那么类A与类B的关系应为()。
相关答案
1.
用例描述有三种详细程度,以下叙述中,()不是有关用例描述的详细程度。
2.
如果两个顾客在世界的不同地方,要购买音乐会的最后一张票,如何分配这张票?()
3.
领域模型与数据模型之间的关系,下列()的描述比较贴切。
4.
领域模型设计的时候,涉及到一个低表示差异的概念,这个“低表示差异”是指()。
5.
在描述软件需求的时候,Vision是指()
6.
如图所示,这不是一个合适的领域模型,主要理由是()
7.
领域模型的主要组成部分,包括;概念类、概念类之间的关系、 以及()。
8.
以下()是创建领域模型的主要目标之一。
9.
为何需要领域模型? 是因为()
10.
面向对象()选择合适的面向对象程序设计语言,将程序组织为相互协作的对象集合,每个对象表示某个类的实例,类通过继承等关系进行组织。
热门答案
1.
对象、类、继承和消息传递是面向对象的4个核心概念。其中对象是封装()的整体。
2.
头脑风暴是执行CRC法寻找概念类的手段之一,其原则是()
3.
关于在适当的细节层面定义概念类,下面描述不正确的是()。
4.
CRC分析过程的输入信息是()。
5.
在面向对象分析设计过程中,CRC是一种寻找概念类的方法。CRC是指()。
6.
辨析一个概念类是属性还是类,一般可以参考以下准则(),判定这个概念是属性。
7.
CRC 方法寻找概念类的过程是很正式的行为,得出的结论也是正规的,不需要再修改了。对或错?
8.
在分析设计的早期,需要为每个概念类定义方法method,对或错?
9.
需求文档中的一个名词,究竟作为一个类,还是一个类的属性,需要具体情况具体分析。对或错?
10.
面向对象分析师需要把多种不同的寻找概念类的方法融合,实际工作中不再区分用了何种方法。对或错?