麻省理工学院：《电气工程与计算机科学》学习资料_Week8

麻省理工学院：《电气工程与计算机科学》学习资料_diffusionequations

第一节对象模型的建立 第二节动态模型的建立 第三节功能模型的 第四节建立定义服务

Requirements specification: A structured document that sets out the services the system is expected to provide Should be precise so that it can act as a contract between the system procurer and software developer and thus needs to be understandable by procurers and developers

一、编码 二、软件测试基础 三、白盒测试技术 四、黑盒测试技术 五、测试策略 六、调试

第一节需求分析 第二节结构化分析方法 第三节其他具有结构化思想的需求分析方法

Too complex for complete analysis Separation into non-interacting subsystems distorts the results The most important properties are emergent Too organized for statistics Too much underlying structure that distorts the statistics Organized Complexity\(Weinberg) Copyright Nancy Leveson, Sept 1999

大约20年前,软件工程人员对做完的程序将不再 关心,犹如过时的报纸,程序被束之高阁或弃而不问。到1988年,软件界第一次提出“千年虫问题” ,工程人员不得不从洪水般的源代码中去寻找“时 间变量”。虽然,所需修改的仅仅是变量的类型或 长度,但在全球的软件行业中却掀起了巨大的波澜

opyright Nancy Leveson, Sept. 1999 Stage 1: Forming Team members begin to discover what behaviors are acceptable Usually highly unstructured environment Attempt to identify tasks, how to accomplish them Decisions on what information is needed Hesitant participation

一、功能 1.图书(书名、著、译者、出版社、单价、书号、出版时间)、期刊(期刊名、卷号、期号、主办单位)基本情况录入 2.借书登记(读者名,书名、借书日期、该读者已借书册数)