软件工程完成版.docVIP

软件工程期末考试复习资料整理 -- 2013年1月11日 形式化方法 所谓形式化方法，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。形式化方法有： 有穷状态机、Petri网、Z语言。 Petri网 用于确定系统中隐含的定时问题的一种有效技术，这种技术一个很大的优点是它可用在设计中，有效地描述并发活动。 Petri网包含4中元素：一组位置P、一组转换T、输入函数I以及输出函数O. ----------------------------------------------------完--------------------------------------------------------------- 参考以下内容，便于理解Petri网： （Petri网是一个四元组C=(P,T,I,O)，其中： 一组位置P为{P1,P2,P3,P4}，在图中用圆圈代表位置。②一组转换T为{t1,t2}，在图中用短直线表示转换。③两个用于转换的输入函数I，用由位置指向转换的箭头表示：I(t1)={P2,P4}、I(t2)={P2}④两个用于转换的输出函数O，用由转换指向位置的箭头表示：O(t1)={P1}、O(t2)={P3,P3}⑥输出函数O(t2)中有两个P2，是因为有两个箭头由t2指向P2。） 环形复杂度 根