《软件平台技术》综合设计实验指导书(2016新)
软件综合实训教案
软件综合实训教案教案标题：软件综合实训教案教学目标：1. 理解软件综合实训的概念和重要性。
2. 学习并掌握软件综合实训的基本技能和知识。
3. 培养学生的团队合作、问题解决和创新思维能力。
4. 提高学生的软件开发和项目管理能力。
教学内容：1. 软件综合实训的概念和背景知识介绍。
2. 软件综合实训的基本流程和方法论。
3. 软件综合实训的项目策划和需求分析。
4. 软件综合实训的系统设计和开发。
5. 软件综合实训的测试和部署。
6. 软件综合实训的项目管理和团队合作。
教学步骤：1. 导入：通过引入一个实际案例或问题，激发学生对软件综合实训的兴趣和重要性。
2. 知识讲解：介绍软件综合实训的概念、流程和方法论，让学生了解其基本原理和操作步骤。
3. 分组讨论：将学生分成小组，让他们讨论并确定一个软件综合实训项目的主题和目标。
4. 项目策划和需求分析：指导学生进行项目策划和需求分析，包括项目目标、功能需求、技术要求等方面的考虑。
5. 系统设计和开发：引导学生进行系统设计和开发，包括数据库设计、界面设计和编码实现等环节。
6. 测试和部署：教授学生软件测试的方法和技巧，并指导他们进行系统测试和部署。
7. 项目管理和团队合作：培养学生的项目管理和团队合作能力，包括任务分配、进度控制和沟通协作等方面的训练。
8. 总结和评价：对学生的软件综合实训项目进行总结和评价，提供反馈和建议，帮助他们改进和提升。
教学资源：1. 讲义和课件：提供软件综合实训的相关知识和案例分析。
2. 实验室设备和软件：提供学生进行实际开发和测试的硬件和软件环境。
3. 参考书籍和文献：推荐一些相关的书籍和文献，供学生深入学习和参考。
教学评估：1. 项目成果评估：评估学生的软件综合实训项目成果，包括功能完整性、技术实现、界面设计等方面的考核。
2. 个人表现评估：评估学生在团队合作、问题解决和创新思维等方面的表现。
3. 学习笔记和报告：要求学生记录学习过程和心得体会，提交学习笔记和项目报告。
软件测试技术实验指导书2016版
《软件测试技术》实验指导书吴鸿韬河北工业大学计算机科学与软件学院2016年9月目录第一章实验要求 (1)第二章白盒测试实践 (3)第三章黑盒测试实践 (6)第四章自动化单元测试实践 (7)第五章自动化功能测试实践 (35)第六章自动化性能测试实践 (56)附录1实验报告封皮参考模版 (71)附录2小组实验报告封皮参考模版 (72)附录3软件测试计划参考模版 (73)附录4 测试用例参考模版 (77)附录5单元测试检查表参考模版 (81)附录6测试报告参考模版 (82)附录7软件测试分析报告参考模版 (87)第一章实验要求一、实验意义和目的软件测试是软件工程专业的一门重要的专业课，本课程教学目的是通过实际的测试实验，使学生系统地理解软件测试的基本概念和基本理论，掌握软件测试和软件测试过程的基本方法和基本工具，熟练掌握软件测试的流程、会设计测试用例、书写测试报告，为学生将来从事实际软件测试工作和进一步深入研究打下坚实的理论基础和实践基础。
本实验指导书共设计了2个设计型、3个验证型实验和一个综合型实验，如表1所示。
设计型实验包括白盒测试实践和黑盒测试实践，验证型实验包括自动化单元测试实践、自动化功能测试和自动化性能测试实践，主要目标是注重培养学生软件测试的实际动手能力，增强软件工程项目的质量管理意识。
通过实践教学，使学生掌握软件测试的方法和技术，并能运用测试工具软件进行自动化测试。
综合型实验以《软件设计与编程实践》课程相关实验题目为原型、在开发过程中进行测试设计与分析，实现软件开发过程中的测试管理，完成应用软件的测试工作，提高软件测试技能，进一步培养综合分析问题和解决问题的能力。
表1 实验内容安排实验内容学时实验性质实验要求实验一白盒测试实践 4 设计必做实验二黑盒测试实践 4 设计必做实验三自动化单元测试实践 4 验证必做实验四自动化功能测试实践 4 验证必做实验五自动化性能测试实践 4 验证必做实验六、综合测试实践课外综合选做二、实验环境NUnit、JUnit、LoadRunner、Quick Test Professional、VC6.0、VisualStudio 2010、SQL数据库。
《软件工程实验》实验指导书2016
了一些 Bug 用于演示，这些 Bug 在注释中都有说明。该类代码如下：
public class Calculator{
private static int result;
// 静态变量，用于存储运行结果
public void add(int n) { result = result + n; }
public void substract(int n) {
实验一 结对编程
一、实验目的
1）体验敏捷开发中的两人合作。 2）进一步提高个人编程技巧与实践。
二、实验内容及要求
1）选择一个程序实例，练习结对编程(pair programming)实践； 2）要求学生两人一组，自由组合。每组使用一台计算机，二人共同编码，完成实验要求。 3）要求在结对编程工作期间，两人的角色至少切换 4 次； 4）编程语言不限，版本不限。建议使用 Python 或 JAVA 进行编程。
用安装就可以在项目中测试相关的类，并且可以调试测试用例和被测类。下面以实例说明，如
何建立一个基于 JUnit4 的测试项目，对一个类当中的多个方法进行单元测试。
（1）新建一个名为 JUnitTest 的项目，在其中编写一个 Calculator 类，这是一个能够简单实
现加减乘除、平方、开方的计算器类，然后对这些功能进行单元测试。这个类中我们故意保留
“Run As ——>JUnit Test”来运行我们的测试，运行结果如下：
进度条是红颜色表示发现错误，具体的测试结果在进度条上面有表示“共进行了 4 个测试， 其中 1 个测试被忽略，一个测试失败”。
游戏在一个类似于围棋棋盘一样的，可以无限延伸的二维方格网中进行。例如，设想每个 方格中都可放置一个生命细胞，生命细胞只有两种状态：“生”或“死”。图中，用黑色的方 格表示该细胞为“死”, 其它颜色表示该细胞为“生” 。游戏开始时, 每个细胞可以随机地（或 给定地）被设定为“生”或“死”之一的某个状态, 然后，再根据如下生存定律计算下一代每 个细胞的状态：
《软件开发架构平台技术》实验指导书
《软件开发架构平台技术》课程实验指导书编写宋铁中南大学软件学院2013年8月实验一用AJAX改进用户体验一、实验目的熟悉AJAX相关技术，掌握异步交互的通信方式，熟练使用JavaScript以及CSS等客户端技术，熟练掌握XMLHttpRequest对象的使用，掌握用AJAX技术改善Web应用的用户体验。
二、实验内容AJAX开发。
在JSP/Servlet实现的JPetStore项目基础上，在表单验证、表单输入、订单更新等环节增加AJAX技术，改善项目的用户体验。
任务一：账号管理模块。
在新建账号和修改账号信息页面上用AJAX技术进行表单验证。
任务二：查询商品模块。
在主页面右上角的查询商品功能中添加自动补全功能。
任务三：商品展示模块。
在首页展示商品的图片上添加AJAX效果，即当鼠标移到某个商品图片上时，用悬浮窗展示该类型商品的信息。
三、实验要求1.熟练使用JavaScript+CSS进行客户端编程；2.熟练XMLHttpRequest对象与服务器异步交互；3.熟练使用AJAX技术改善Web应用的用户体验。
四、实验步骤1.将之前用JSP/Servlet完成的JPetStore项目部署并配置运行；2.用AJAX改善登录的用户体验。
五、实验报告要求1.简要列举项目应用了AJAX技术的功能模块以及有无使用框架。
2.说明应用AJAX技术的理由、具体实现方法和核心源代码。
3.应用了AJAX技术之后的效果截图4.打包提交所有源代码。
5.每个小组提交一份实验报告，在报告末尾列举小组成员分工。
附录（JPetStore相关说明）：1.JPetStore功能需求说明宠物店（Pet Store）是迄今为止最著名的一个学习Java Web编程和应用开发的经典入门案例。
宠物店软件有多个版本，包括原来Sun的Java Pet Store、iBATIS JPetStore（ClintonBegin）和Spring JPetStore（Juergen Hoeller）等等。
软件平台设计技术方案
软件平台设计技术方案一、项目背景随着信息技术的飞速发展，软件平台作为企业信息化建设的重要基础设施，已经成为企业提升核心竞争力、实现业务创新的关键手段。
为了满足企业日益增长的业务需求，提高系统稳定性、安全性和可扩展性，降低开发成本，提高开发效率，特制定本软件平台设计技术方案。
二、总体设计原则1. 遵循国家相关法律法规，符合行业标准和规范；2. 坚持以用户需求为导向，注重用户体验；3. 保证系统的高性能、高可用性和可扩展性；4. 采用成熟、稳定的技术架构，降低技术风险；5. 注重系统安全，确保数据安全和用户隐私；6. 强调代码的可读性、可维护性和可复用性；7. 建立完善的开发、测试、运维体系，提高系统质量。
三、技术选型1. 开发语言：Java、Python、C等；2. 数据库：MySQL、Oracle、MongoDB等；3. 服务器：Apache、Nginx、Tomcat等；4. 前端框架：Vue.js、React、Angular等；5. 后端框架：Spring Boot、Django、.NET Core等；6. 容器技术：Docker、Kubernetes等；7. 持续集成与持续部署（CI/CD）：Jenkins、GitLab CI等；8. 代码管理工具：Git、SVN等；9. 服务器端编程：Node.js、Express、Spring MVC等；10. 移动端开发：Android、iOS、React Native等。
四、系统架构设计1. 分层架构：采用分层架构，将系统分为表现层、业务逻辑层、数据访问层和基础设施层，实现各层的解耦和独立部署；2. 微服务架构：将系统拆分为多个独立的服务，每个服务负责一个特定的功能，实现服务之间的解耦和独立部署；3. 分布式架构：采用分布式架构，实现系统的高可用性和可扩展性；4. 集成架构：通过API接口、消息队列、事件总线等技术，实现系统内部及与其他系统的集成；5. 安全架构：采用多层次的安全防护措施，包括身份认证、授权、数据加密、访问控制等。
软件工程试验指导书
《软件工程》实验指导书任课教师：周喜平授课班级：2012级软件工程(软件开发方向)1班、2014计算机科学与技术专升本1班《软件工程（考试）》实验指导书实验目录实验一软件过程模型.......................................................................... 错误！未定义书签。
实验二可行性分析 ............................................................................. 错误！未定义书签。
实验三需求分析 ................................................................................. 错误！未定义书签。
实验四总体设计 ................................................................................. 错误！未定义书签。
实验五详细设计 ................................................................................. 错误！未定义书签。
实验六实现之编码 ............................................................................. 错误！未定义书签。
实验七实现之测试 ............................................................................. 错误！未定义书签。
实验八维护 ........................................................................................ 错误！未定义书签。
软件测试技术实验指导书2016版
《软件测试技术》实验指导书吴鸿韬河北工业大学计算机科学与软件学院2016年9月目录第一章实验要求 (1)第二章白盒测试实践 (3)第三章黑盒测试实践 (6)第四章自动化单元测试实践 (7)第五章自动化功能测试实践 (35)第六章自动化性能测试实践 (56)附录1实验报告封皮参考模版 (71)附录2小组实验报告封皮参考模版 (72)附录3软件测试计划参考模版 (73)附录4 测试用例参考模版 (77)附录5单元测试检查表参考模版 (81)附录6测试报告参考模版 (82)附录7软件测试分析报告参考模版 (87)第一章实验要求一、实验意义和目的软件测试是软件工程专业的一门重要的专业课，本课程教学目的是通过实际的测试实验，使学生系统地理解软件测试的基本概念和基本理论，掌握软件测试和软件测试过程的基本方法和基本工具，熟练掌握软件测试的流程、会设计测试用例、书写测试报告，为学生将来从事实际软件测试工作和进一步深入研究打下坚实的理论基础和实践基础。
本实验指导书共设计了2个设计型、3个验证型实验和一个综合型实验，如表1所示。
设计型实验包括白盒测试实践和黑盒测试实践，验证型实验包括自动化单元测试实践、自动化功能测试和自动化性能测试实践，主要目标是注重培养学生软件测试的实际动手能力，增强软件工程项目的质量管理意识。
通过实践教学，使学生掌握软件测试的方法和技术，并能运用测试工具软件进行自动化测试。
综合型实验以《软件设计与编程实践》课程相关实验题目为原型、在开发过程中进行测试设计与分析，实现软件开发过程中的测试管理，完成应用软件的测试工作，提高软件测试技能，进一步培养综合分析问题和解决问题的能力。
表1 实验内容安排实验内容学时实验性质实验要求实验一白盒测试实践4设计必做实验二黑盒测试实践4设计必做实验三自动化单元测试实践4验证必做实验四自动化功能测试实践4验证必做实验五自动化性能测试实践4验证必做实验六、综合测试实践课外综合选做二、实验环境NUnit、JUnit、LoadRunner、Quick Test Professional、VC6.0、Visual Studio 2010、SQL数据库。
《软件建模技术》实验指导书
《软件建模技术》实验指导书适用专业: 计算机科学与技术、软件工程第一部分课程与实验综述一．课程简介及实践要求：《软件建模技术》是以介绍面向对象的统一建模语言UML为主,使学生了解面向对象技术的基本概念,掌握面向对象的分析和设计方法,以及与面向对象技术相关的一些软件开发技术,同时掌握在Rational Rose环境下用UML进行分析和设计的技术。
本课程在教学内容方面着重基本理论、基本知识和基本方法，在培养实践能力方面着重设计构思和设计技能的基本训练，熟练的上机操作能力和分析能力。
实验实践训练是UML及应用教学的重要技能环节。
通过实验，使学生加深理解、验证、巩固课堂教学内容，特别是通过设计和综合实验，发挥学生的想象力和创新能力。
二．课程实验目的要求：通过UML的实验,学生应该:1．学会用面向对象的思想去分析和设计相关系统;2．学会用Rose建模工具进行软件建模。
三．课程实验参考资料1.(美)Joseph Schmuller著.UML基础、案例与应用.人民邮电出版社,20042.(美)Hans-Erik Eriksson.UML 2工具箱. 电子工业出版社,20043.吴际,金茂忠.UML面向对象分析.北京航空航天大学出版社,20024.赵从军.UML设计及应用.机械工业出版社,20045.Grady Booch,James Rumbaugh,Ivar Jacobson.UML用户指南.机械工业出版社,20016.吴建,郑潮,汪杰.UML基础与Rose建模案例.人民邮电出版社,2004练习一用例图、交互图一、目的1.学会分析系统中的参与者和用例2.掌握用例图的绘制方法3.学会用协作图实现用例4.掌握顺序图的绘制方法以及顺序图和协作图的相互转换。
二、器材1. 计算机一台；2. Rational Rose 工具软件；三、内容1. 画出ATM系统的用例图；2. 画出ATM取款的顺序图，并转换为协作图。
四、步骤（一）画出ATM系统的用例图1.分析ATM自动取款机：客户可以取钱，存钱，查询余额，转帐，修改密码。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
软件平台技术实验指导书目录第一部分软件平台技术验证与分析实验 (2)实验1软件系统开发和工具的选择 (2)实验2软件开发模型与应用 (2)实验3信息物理融合系统应用 (3)实验4智能交通新技术应用 (3)实验5智能交通平台项目管理 (4)实验6基于北斗导航技术的智能物流调度和客货追溯服务平台的解决方案 (5)第二部分软件平台技术综合设计性实验 (6)自选一信息物理融合系统建模与验证方法研究课题 (6)自选二智能物流调度和客货追溯服务平台项目研发应用 (7)自选三给定实验课题按照软件开发文档指南进行软件开发 (9)第三部分附录说明 (9)附录一实验课题 (9)题目一学院课程安排系统 (9)题目二学校教材定购系统 (10)题目三机票预定系统 (10)题目四学校内部工资管理系统 (11)题目五实验室设备管理系统 (11)题目六电子商务网站 (12)题目七高复用性的BBS论坛 (12)题目八毕业设计指导网站 (13)题目九自定义某软件进行开发设计 (13)提交打印封面格式: (14)提交文件名格式：《软件平台技术课题项目研发应用》班级姓名学号 (16)期末实验电子文档提交截止时间：17周日0时止，过时不候 (16)期末实验打印文档提交截止时间：19周二11时止，锡科301实验室，过时不候 (16)附录二软件开发文档指南 (16)附录三航空机票预订系统项目开发文档 (16)第一部分软件平台技术验证与分析实验实验1软件系统开发和工具的选择实验学时：4 实验类型：设计型一、实验目的与要求1、掌握软件系统开发的基本步骤和方法。
2、根据选定的软件开发工具进行操作并形成操作报告。
3、绘制软件系统工具的功能使用图。
4、用DOC,JPG,PPT等电子文件表达完成报告。
二、实验内容与安排方式1、实验内容与要求：（1）主要涉及的软件开发工具有哪些？（2）列出软件开发工具的基本功能说明并简要分析优缺点和适用环境。
（3）选择一个软件开发工具安装并把各个功能操作并制作使用报告。
（4）阐述软件开发工具的商业运营模式和开发成功的代表产品。
2、实验安排方式：本实验每组1人，每人1台计算机。
实验2 软件开发模型与应用实验学时：4 实验类型：设计型一、实验目的与要求1、掌握软件开发模型与应用的方法。
2、根据选定的软件开发模型进行操作并形成操作报告。
3、绘制软件开发模型工具的功能使用图。
4、熟悉计算机体系结构和软件体系结构相关研究5、用DOC电子文件表达完成报告。
二、实验内容与安排方式1、实验内容与要求：（1）阐述计算机体系结构和软件体系结构各自的研究范畴、发展历程、代表技术、产品应用和国内外研究机构、相应研究现状（用图、表、时间轴等描述）。
（2）主要涉及的软件开发模型（对应的英文名称）并列出各种软件开发模型及其工具的发展历程；列出软件开发模型的基本功能说明并简要分析各自的优缺点及其适用环境。
（3）选择一个软件开发模型及其工具，阐述这个工具的不同时期的版本新增的功能（用时间轴图），制作该软件开发模型应用工具的功能使用说明。
（4）阐述各种软件开发模型及其工具商业运营模式及其开发成功的代表产品。
2、实验安排方式：本实验每组1人，每人1台计算机。
实验3 信息物理融合系统应用实验学时：4 实验类型：设计型一、实验目的与要求1、了解信息物理融合系统新技术的应用.2、熟悉智能交通技术应用3、掌握智能交通系统的规划、设计、实施、设计、核心技术。
4、绘制工具的功能使用图。
5、用文字处理文档表达完成报告。
二、实验内容与安排方式1、实验内容与要求：（1）用时间轴图阐述计算机体系结构和软件体系结构的学科研究、发展与相关新技术应用等历程。
（2）阐述信息物理融合系统(Cyber Physical Systems)的研究范畴、国内外研究现状、研究机构、发展历程、新技术应用、代表产品的市场应用。
（3）以某城市为应用实例的智能交通相关的信息综合服务应用，综述智能交通系统的规划、设计、实施、使用、卫星导航核心技术应用。
（4）智能交通综合服务的经济效益、社会效益等进行分析；阐述当前智能交通综合信息系统应用中存在问题和改进措施等。
2、实验安排方式：本实验每组1人，每人1台计算机。
实验4 智能交通新技术应用实验学时：4 实验类型：设计型一、实验目的与要求1、了解软件项目实施的应用.2、熟悉智能交通新技术应用3、掌握智能交通公共信息综合服务平台应用。
4、绘制工具的功能使用图。
5、用文字处理文档表达完成报告。
二、实验内容与安排方式1、实验内容与要求：（1）以某城市的智能交通公共信息综合服务平台为项目实施实例，描述该项目的总体情况，项目主要内容、涉及范围。
（2）以某城市的智能交通公共信息综合服务平台为项目例实施实例，阐述现在或预期的主要经济、政治和社会效益。
（3）以某城市的智能交通公共信息综合服务平台为项目例实施实例(列出项目的应用图,功能图)，描述该项目的实施及执行过程中指标、计划调整情况及采取的相关措施；项目组织管理及执行情况。
（4）以某城市的智能交通公共信息综合服务平台为项目例实施实例，阐述项目实施后主要的经济和社会效益说明；项目实施的经验、做法、存在的问题和改进措施；项目的后续工作安排和有关建议；项目其他需要说明的问题。
2、实验安排方式：本实验每组1人，每人1台计算机。
实验5 智能交通平台项目管理实验学时：4 实验类型：设计型一、实验目的与要求1、了解软件项目管理2、熟悉智能交通平台技术应用3、掌握智能交通公共信息综合服务平台项目管理技术。
4、绘制工具的功能使用图。
5、用文字处理文档表达完成报告。
二、实验内容与安排方式1、实验内容与要求：（1）以某市的智能交通公共信息综合服务平台为项目开发设计为实例，阐述该项目实施所涉及的相关技术文档（如智能交通软件开发涉及的需求、设计、开发、测试文档、使用手册、产品说明书）。
（2）以某市的智能交通公共信息综合服务平台为项目管理为实例，列出该平台的所涉及的用户使用报告、技术成果、专利、服务协议、培训记录、仪器、设备等（图或表）。
（3）以某市的智能交通公共信息综合服务平台为项目实施为实例，描述该项目所采取的技术方法、工艺、研制过程、测试、关键技术与解决途径、性能指标、技术水平等。
（4）以某市的智能交通公共信息综合服务平台为项目的市场应用为实例，阐述该项目实施后项目建设情况详细文字说明，项目实施应用后主要的取得的经济和社会效益；阐述该项目实施的经验、做法、存在的问题和改进措施；说明该项目的后续工作安排和有关建议；项目其他需要说明的问题。
2、实验安排方式：本实验每组1人，每人1台计算机。
实验6 基于北斗导航技术的智能物流调度和客货追溯服务平台的解决方案实验学时：4 实验类型：设计型一、实验目的与要求1、了解北斗卫星导航新技术的应用.2、熟悉智能追溯系统的应用3、掌握基于北斗导航技术的智能物流调度和客货追溯服务平台的解决方案。
4、绘制工具的功能使用图。
5、用文字处理文档表达完成报告。
二、实验内容与安排方式1、实验内容与要求：（1）阐述北斗卫星导航定位系统的应用范畴、研发机构、发展历程、代表产品等相关新技术应用等历程。
分析某物流企业应用北斗导航技术对车辆进行实时监控跟踪，线路智能优化，如何实现对客货和车辆的全称监控和管理，如何增强货物运输的安全性，提供哪些统计分析、辅助决策等功能。
（2）阐述基于北斗导航技术的智能物流调度和客货追溯服务平台的解决方案平台及其运营管理子系统；北斗导航、定位和数据传输子系统；智能物流运输调度和客货追溯子系统的设计算法、代表产品等（用图、表）。
（3）以某物流企业为应用实例阐述基于北斗导航技术的智能物流调度和客货追溯服务平台的相关的技术应用（提示：基于北斗导航技术的智能物流中对客车（包括大中小型客车，出租车，公车，私家车等）所承载的旅客及其汽车和货车所承载的货品及其汽车提供追溯服务，对承载的人、车和货物可视化备案、追溯和查询），综述基于北斗导航技术的智能物流调度和客货追溯服务平台的解决方案的规划、算法设计、项目实施、平台使用、北斗卫星导航等相关核心技术应用（有图、表）。
（4）阐述基于北斗导航技术的智能物流调度和客货追溯服务平台的应用的经济效益、社会效益等；分析当前基于北斗导航技术的智能物流调度和客货追溯服务平台应用中存在问题和改进措施等。
2、实验安排方式：本实验每组1人，每人1台计算机。
第二部分软件平台技术综合设计性实验自选一信息物理融合系统建模与验证方法研究课题一、实验目的与要求1、了解信息物理融合系统新技术的应用.2、熟悉CPS的建模与验证方法3、掌握CPS的模型检验与定理证明4、熟悉CPS的分析和设计5、了解CPS在引入时间特性后工业软件工程的严格方法验证分析方法6、掌握物联信息感知运动时动态性验证和能量控制二、实验内容与安排方式1、实验内容与要求：（1）CPS的体系结构与特性分析1）阐述CPS的基本特性（包括信息与物体高度集成性、深度嵌入与连通性、事件驱动性、领域相关性、可靠性、实时性、适应性、并发性、异质（构）性、自治性、分布性、安全性、动态重组和重配置、能量控制等功能特性及其非功能特性）2）描述一种层次化的CPS体系结构（包括阐述这种体系结构的划分方法和结构特性，CPS的特性模型描述的一致性）（2）形式化方法在CPS中的应用1）阐述模型检验与定理证明相结合的形式化方法2）阐述解决形式化描述模型和CPS系统需求的一致性问题的方法（3）CPS的系统建模方法1）阐述一种域方法作为系统形式化描述模型的建模方法2）选取物联网的传感器控制系统作为试验的CPS的研究实例阐述主要功能包括物联网感知环境自动控制、安全防护、自主感知和能量自控等3）阐述一种基于对复杂系统进行划分的方法作为CPS系统建模的基本方法和切入点对域划分进行模型描述4）以物联网的传感器控制系统作为试验的CPS的研究实例阐述模型状态空间膨胀预防方法（4）CPS的系统特性验证方法1）以物联网的传感器控制系统作为试验的场景描述系统相关特性、系统功能以及系统性能等验证2）阐述域方法对预防状态空间膨胀的有效性3）阐述CPS在引入时间特性后工业软件工程的严格方法验证分析方法对物联信息感知运动时动态性验证和能量控制有效性4）阐述CPS的动力系统理论发展与应用新方法（5）以物联网传感器系统为应用测试实例，查找如下材料（文件附件形式提交）：1）需求分析报告2）系统模型设计报告3）形式化建模报告4）系统域特性，实时性，安全功能验证分析报告5）模型检验和定理证明形式化方法报告6）域方法及其组合分解，域场景交互一致性验证分析报告7）CPS域特性划分与组合、域元组的描述规则研究文献8）预防模型膨胀分析，能量控制有效性研究文献2、实验安排方式：本实验每组1人，每人1台计算机。