qq_50854528的博客

原创 软件测试复习

原创 附加-课后题二（第四章）

原创 附加-课后题一（二~三章）

作业题一

原创 附加-专题复习

持续更新中。。。

原创 四、模式和规格说明

1.模式描述功能（重点掌握）1.1 模式描述状态1.2 模式描述操作2.模式的修饰和包含（重点掌握）2.1 模式的修饰2.2 模式包含2.3 和2.4 初始状态模式3.模式运算（重点掌握）3.1 命题连接词连接模式3.2 前置条件模式4.模式类型和通用模式5.规格说明文档的结构

原创 三、关系和函数

考试类型：

原创 二、Z类型与构造单元

5Co。

原创 一.一阶逻辑

一个大写英文字母后边有括号，括号内是若干个参数，用以表示客体的属性或者客体之间的关系，称之为谓词。如果括号内有n个参数，成谓词为n元谓词。