摘要:
一、论述测试与正确性论证的效果差异,比较其优缺点 程序的正确性论证是用户提出需求后,开发人员根据用户需求进行分析,得到需求规格,论证所写的程序程序是否符合规格的过程。因为规格往往是布尔型或自然语言,对程序员来说并不如代码和测试数据直观,且工作量巨大。但相应的,好处是对代码整体进行了具体的剖析,在规格 阅读全文
摘要:
OO的代码作业到这里要告一段落了,以后可以少熬夜多睡觉了,撒花~~~ 一、调研 (1)总结介绍规格化设计的大致发展历史 ->落后的软件生产方式无法满足迅速增长的计算机软件需求,软件的开发与维护出现一系列严重问题。 ->由此提出结构化程序设计,以模块化设计为中心,分而治之,引出了规格化抽象。 ->软件 阅读全文
摘要:
又完成了三次OO作业,这三次有关多线程的作业对我来说可谓是很大(保护头发)的挑战。 一、从多线程的协同和同步控制方面,分析和总结自己三次作业来的设计策略及变化 第五次作业是设计⼀套由 3 部电梯组成的多电梯调度系统,通过采⽤线程机制,在第三次作业所实现程序的基础上完成新的调度系统程序。第三次作业是调 阅读全文