摘要: 【Testing VS Programming Correctness Proof】 Testing can help find and reveal errors in the program, which is an important means to ensure the reliabili 阅读全文
posted @ 2018-06-25 10:16 贝卡卡 阅读(274) 评论(5) 推荐(2) 编辑
摘要: 【History & Significance of Specification Language】 In the last 40 years, a large number of sepcification language have been proposed for the software 阅读全文
posted @ 2018-05-28 13:19 贝卡卡 阅读(365) 评论(0) 推荐(2) 编辑
摘要: These three weeks we have suffered from projects on Multiple Thread. Here is my summary of these three projects. 【1】ALS Elevator (version 2) (1) Desig 阅读全文
posted @ 2018-05-02 16:28 贝卡卡 阅读(295) 评论(2) 推荐(4) 编辑
摘要: 【1】Previous Coding Analysis (1) Poly Add (2) Idiot Elevator (3) ALS Elevator COMMENTS: Cyclomatic complexity is a software metric, used to indicate th 阅读全文
posted @ 2018-04-04 09:28 贝卡卡 阅读(471) 评论(2) 推荐(3) 编辑