Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 235

Warning: Undefined array key "media" in /home/user/lab-homepage/publish/home/feed.php on line 305
https://base.sjtu.edu.cn/home/ 2026-05-16T02:19:23+00:00 https://base.sjtu.edu.cn/home/ https://base.sjtu.edu.cn/home/lib/tpl/dokuwiki/images/favicon.ico text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:1&rev=1712570373&do=diff 本课题拟以开源软件生态为基础，网构软件范型为途径，实现软件工程方法在质量保证方面的如下转变，即：从“主要关注客观证据、软件实体的正确性和质量”到“关注主客观融合，环境感知自适应演进式的质量保证”。主要表现在，从仅以功能正确性和软件执行效率为重点，到更为强调用户体验为中心的质量关注，包括能耗、隐私、可信、易用性、社交性等非传统质量属性的转变；从软件自身正确性与可靠性为重点，到更为强调主客观融合的可信性的转变；从面向单个构件、细粒度代码的可信，到更为强调软件系统整体可信、多环境下适应性的转变。 在此基础上，本课题将以“主客观融合的软件系统可信性评估与服务质量保障”这一关键科学问题为主要关注点，以群体驱动的开发模型为基础，以网构化软件为载体，深入剖析开源生态下的网构化软件特征，探索基于开源生态的网构化软件全生命周期的可信性评估与保证方法。本课题的主要研究内容包括：… text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:2&rev=1712570373&do=diff 群体软件工程正成为云时代软件开发新模式，它利用群体开发力量和群体智能技术，快速构造规模庞大、功能复杂、技术创新的软件。然而群体协同开发面临大规模数据的挑战：几十万名开发人员、千万行代码、上千版本版次、大量的需求、设计模型、测试用例、缺陷、变更、任务、讨论记录和邮件等等，如何从这些分布异构的大规模数据中高效地知晓信息和发现知识成为难题。… text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:3&rev=1712570373&do=diff 互联网技术正在改变我们的生活。在交通方面，我们看到了自动驾驶技术的出现，以及车联网的到来。当汽车变得越来越像轮子上的计算机，当车辆、路况数据都在云端进行分析，未来的交通会是什么样子?交通灯是否应该更为智能化?车联网将在近几年成为继移动互联网后的新趋势。除了汽车制造商、销售商和服务商投入其中，BAT等大公司也纷纷投入了巨大资金。 text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:4&rev=1712570373&do=diff 本课题的研究旨在根据各类网站的用户注册信息、发帖信息、预订信息、用户登录信息、交易信息、HTTP POST数据等海量数据，建立网站、网页、用户、管理员、产品/服务、银行卡、IP地址、贴子等之间的关联数据（Linked Data）语义网，进行用户身份同一性(SameAs)分析与归并，并对关联数据进行可视化展示，以帮助识别出犯罪嫌疑人，进而反推得到访问的网站和交易信息，发现更多的违法行为和违法犯罪网站。上述研究成果最终将以原型系统的方式呈现，并应用于实际数据，用以验证该成果的可行性。… text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:5&rev=1712570373&do=diff 近年来，电子商务蓬勃发展，以电子商务为核心的信息化已成为社会和经济发展的主要发展趋势。作为一种新型交易方式，电子商务能够简化交易程序、降低交易成本。但是，由于我国电子商务起步较晚，电子商务信用建设的步伐也比较缓慢。由于电子商务的网络化、虚拟性和不可感知性，加大了交易各方的信用风险，为各种网络违法欺诈行为提供了空间和可能。信用问题随着经济社会发展，逐渐引起学者和企业界的关注和研究。其服务的业务模式、平台建设是当前一个亟需解决的问题。… text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:6&rev=1712570373&do=diff 知识网络化是人类文明发展史上又一个重要转折期，信息技术革命正在快速推动传统的知识传播渠道从纸面书本走向更宽广的新媒体。网络经济时代的三大定律表明：网络化知识的规模价值和传播速率，将大大推动未来知识经济的发展。2008欧共体未来互联网大会的报告提出，物联网、知联网、人联网和务联网是未来互联网的四大支柱。其中被专家们称为是“未来的未来”的知联网（Internet of Knowledge and Contents-IoK）就是下一个研究突破的智慧中国的重要基础设施。… text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:7&rev=1712570373&do=diff 本课题以社会工程学为导向，研究提出并实现了一种通过分析与挖掘互联网社交网络应用中的用户数据，发现用户弱点的方法和技术。该方法将基于社会工程学理论，从多种应用源（包括社交网络、搜索引擎等）搜集用户的社交活动数据，借助社交网络图和可视化等技术，对互联网应用的数据进行分析、挖据和显示。 text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:8&rev=1712570373&do=diff 近年来，电子商务蓬勃发展，以电子商务为核心的信息化已成为社会和经济发展的主要发展趋势。作为一种新型交易方式，电子商务能够简化交易程序、降低交易成本。但是，由于我国电子商务起步较晚，电子商务信用建设的步伐也比较缓慢。由于电子商务的网络化、虚拟性和不可感知性，加大了交易各方的信用风险，为各种网络违法欺诈行为提供了空间和可能。信用问题随着经济社会发展，逐渐引起学者和企业界的关注和研究。其服务的业务模式、平台建设是当前一个亟需解决的问题。… text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:9&rev=1712570373&do=diff 本课题隶属实证软件工程 Evidence-based Software Engineering (EBSE)，又称Empirical Software Engineering，它对软件开发过程中留下来的数据集中在软件仓库中，进行分析和挖掘，找出其中隐藏的有关软件开发的信息，达到对软件开发的规律发现、过程改进、估量与预测、项目监控的目的，例如： text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:10&rev=1712570373&do=diff 物联网是继计算机、互联网和移动通信之后引发新一轮信息产业浪潮的核心领域，发达国家和地区已纷纷开展物联网领域的规划布局。它是指将物体通过传感设备、通信手段实现全面互联的网络，包括物与物之间的互联互通，也包括人与物之间的互联互通。物联网是应用信息通信技术的最新产物，可实现智能化的实时管理和控制，从而提高资源利用率和生产率，已成为国际新一轮信息技术竞争的关键点和制高点。… text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:11&rev=1712570373&do=diff 本课题隶属实证软件工程 Evidence-based Software Engineering (EBSE)，又称Empirical Software Engineering，它对软件开发过程中留下来的数据集中在软件仓库中，进行分析和挖掘，找出其中隐藏的有关软件开发的信息，达到对软件开发的规律发现、过程改进、估量与预测、项目监控的目的，例如： text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:12&rev=1712570373&do=diff 物联网是继计算机、互联网和移动通信之后引发新一轮信息产业浪潮的核心领域，发达国家和地区已纷纷开展物联网领域的规划布局。它是指将物体通过传感设备、通信手段实现全面互联的网络，包括物与物之间的互联互通，也包括人与物之间的互联互通。物联网是应用信息通信技术的最新产物，可实现智能化的实时管理和控制，从而提高资源利用率和生产率，已成为国际新一轮信息技术竞争的关键点和制高点。… text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:13&rev=1712570373&do=diff 所谓软件运维服务管理，是指软件在运营和维护时的突发事件管理、配置管理、问题管理、变更管理、发布管理、服务能力和水平管理、连续性管理、可用性管理等一系列活动。和软件开发过程相比，软件运维服务管理过程不仅在内容上新增了突发事件管理、服务水平管理、连续性管理、可用性管理等活动，而且在技术上由于以下特征更具挑战性： text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:14&rev=1712570373&do=diff 随着我国航天事业的快速发展，控制软件已成为航天型号产品的重要组成部分，当前航天型号的许多关键、复杂的功能都是软件来实现。在载人航天、大运载、航天武器型号、深空探测等国家重大工程中，软件发挥的作用越来越大。航天控制软件具有功能关键、运行环境苛刻、可靠性安全性要求高，这些特征对软件的可信性提出了很高的要求。目前，软件可信性已直接关系到型号任务的成败。如何保障型号软件的高可信，进而保证整个型号任务的高可信已成为航天控制软件重点关注且亟待解决的问题。航天控制软件可信性的增强必须依赖软件可信技术的创新和发展，而可信的国家软件资源共享与协同生产环境（即Trustie）所提出的技术和生产线是其中的核心环节。… text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:15&rev=1712570373&do=diff 伴随着因特网的快速发展，电子商务已经成为了一种新的商务模式，越来越的人被吸引到了电子商务中来，这种新的交易方式给人们带了了方便和快捷。但是，电子商务由于其所具有的远程性、记录的可更改性、主体的复杂性及其身份的模糊性等特征正面临极大的信用挑战。传统交易模式中，人们总是通过面对面的方式进行交流，凭借自己的经验和直觉来做出判断；然而电子交易的方式并不能很好地支持直接的交流。通常买家只能浏览到卖家提供在网上的一些商品照片和描述，买家也只能通过网络和卖家进行联系。对于买家来说，仅仅靠这些是很难建立对卖家的信任进而进行交易的。如今，信用缺失已经成为电子商务发展的瓶颈。… text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:16&rev=1712570373&do=diff 信息安全产品通常侧重对监测目标的安全性检测与防范，忽略其自身的安全性，导致安全产品推出即遭受安全攻击。如“绿坝”刚推出就遭受2种远程攻击。目前，针对这些信息安全软件产品的脆弱性检测比较难以展开实施。检测部门在检测过程中常常会遇到误报漏报率高、检测耗时等问题。 text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:17&rev=1712570373&do=diff SaaS (Software as a Service，软件即服务)作为一种全球兴起的新型软件服务形式，由于其投人低、收益高、易于实施和管理等特点，正对中小企业信息化产生深远影响。但同时SaaS应用由于其复杂性向开发技术和质量评估方法提出了新的挑战。 text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:25&rev=1712570373&do=diff OLAP和报表生成等软件的需求是动态，要求最终用户在软件运行时根据需求编写SQL查询语句，设计在线分析与报表。然而，学习SQL语言及关系型数据库的相关知识对于最终用户来说学习成本太高。为了提高开发效率并降低学习成本，SQL代码自动生成是一条有效的途径。 text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:26&rev=1712570373&do=diff 现代软件具有深度行业渗透、广度领域融合、高度行为交互等特征，与之相伴的急速膨胀的编程现场大数据、急剧提升的即时响应要求及常态化的大规模跨地域协同开发，给软件的快速高质量开发带来了全新的机遇与挑战。 text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:27&rev=1712570373&do=diff 随着信息技术的发展，人类社会迎来了人机物融合的泛在系统时代，为系统软件发展带来了全新的历史机遇。泛在系统以实现在任何时间、任何地点的人类社会、信息空间、物理世界互联融合为目标，涵盖现代信息社会的全要素、全产业链、全价值链。因此，泛在系统规模将远超移动互联网规模。由于泛在系统具有计算资源异构、器件可编程、应用场景化等特征，尚不存在适配所有应用场景的单一系统软件，这是我国系统软件发展的重要战略机遇。… text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:28&rev=1712570373&do=diff 软件缺陷的预测、检测、定位与修复是软件工程领域的研究热点。这些研究通常都依赖于大规模缺陷库以评估其有效性。此外，随着数据挖掘和机器学习技术的发展，数据驱动的缺陷预测、检测、定位与修复正成为新的研究热点。但缺乏大规模高质量的软件缺陷库严重制约了此类研究的进展。为此，本项目计划研究大规模高质量软件缺陷库的构造方法。研究内容包括: text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:code&rev=1712570373&do=diff Code text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:dataset&rev=1712570373&do=diff Dataset text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:paper&rev=1712570373&do=diff Paper text/html 2024-04-08T17:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://base.sjtu.edu.cn/home/doku.php?id=res:tutorial&rev=1712570373&do=diff Tutorial