一、用例(Use Case)框架
(1)概念:用例是软件工程或系统工程中对系统如何反应外界请求的描述,是一种经过用户的使用场景来获取需求的技术。工具
(2)做用:每一个用例提供了一个或多个场景,该场景说明了系统是如何和最终用户或其它系统互动,也就是谁能够用系统作什么,从而得到一个明确的业务目标。测试
(3)注意点:编写用例时要避免使用技术术语,而应该用最终用户或者领域专家的语言。spa
(4)用例通常是由软件开发者和最终用户共同创做的。3d
二、用例建模的步骤blog
(1)肯定参与者事件
参与者:存在于系统外部,与系统交互的人、硬件和其余系统开发
肯定方法:回答下列问题it
a.系统开发完成后,有哪些人会使用这些系统?软件
b.系统在使用过程当中须要从哪些人或者系统中得到数据?
c.系统须要为哪些人或者系统提供数据?
d.系统与哪些系统具备关联性?
e.系统由谁进行维护和管理?
(2)肯定用例
用例:考察每一个参与者与系统的交互和须要系统提供的服务
一般规则:用例应该典型地描绘系统的某个功能从开始到结束的过程
肯定方法:针对每个参与者,回答下列问题
a.参与者为何要使用这个系统?
b.参与者是否会在系统中建立、修改、删除、访问、存储数据?若是是,参与者是如何完成这些操做的?
c.参与者是否会将外部的某些事件通知给该系统?
d.系统是否会将内部的某些事件通知该参与者?
(3)识别参与者和用例之间的关系,绘制和检查用例图
(4)细化每一个用例的用例规约
包括:简要说明、事件流、特殊需求、前置和后置条件
(5)用例模型检查
包括:功能需求的完备性、模型是否易于理解、是否存在不一致性、避免二义性语义
2、项目需求
一、工程实践题目:智能合约的工具调研
二、项目需求:对目前流行的智能合约领域的分析、测试、验证等相关工具或者框架展开调研,主要内容包括工具类型、可检测到的漏洞种类、工具开发语言、存在的不足及改进方法,选取其中两个工具进行完善,开发一个系统进行以上内容的整合。
3、用例图
一、系统用例
二、工具用例——以Slither为例