Smart-Corpus: an Organized Repository of Ethereum Smart Contracts Source Code and Metrics
许多经验性的软件工程研究表明，有一个巨大的需求，源代码的获取，过滤和分类库。在过去的几年里，以太坊区块浏览器服务已经成为一个流行的项目，用于探索和搜索以太坊区块链数据，如交易，地址，令牌，智能合约的源代码，价格和以太坊区块链上发生的其他活动。尽管这种服务是可用的，但检索对经验软件工程研究有用的特定信息，例如研究智能合约的软件指标，可能需要许多子任务，例如搜索块中的特定交易，解析HTML格式的文件以及过滤智能合约以删除重复的代码或未使用的智能合约。在本文中，我们提出了创建智能语料库的问题，智能语料库是一个有组织的、合理的、最新的存储库中的智能合约语料库，在这个存储库中，可以轻松、系统地检索Solidity源代码和其他关于以太坊智能合约的元数据。我们介绍了智能语料库的设计及其初步实现，并展示了如何查询和处理各种程序设计语言的智能合约源代码的数据集，获得有关智能合约及其软件度量的有用信息。智能语料库旨在创建一个智能合约存储库，其中智能合约数据（源代码，ABI和字节码）可以免费立即获得，并根据科学文献中确定的主要软件指标进行分类。智能合约的源代码已经过EtherScan验证，每个合约都有自己的相关软件指标，由免费软件PASO计算。此外，智能语料库可以很容易地扩展，因为新的智能合约的数量每天都在增加。
2020-11-03 cs.SE
Data Driven Reference Architecture for Smart City Ecosystems
随着信息和电信技术的融合，智慧城市的愿景正在迅速成为现实。越来越多国家的市政府正在利用这些进步来改善其公民的生活，并提高效率和可持续性。在本文中，我们详细介绍了智慧城市项目的参考架构smartCityRA，它是创建智慧城市蓝图的设计语言。这样的蓝图迎合了不同的利益相关者、设备、平台和技术。我们报告了我们与阿联酋一家主要电信提供商合作开展概念验证用例的经验。在此过程中，我们改进了初始smartCityRA参考架构的多视图模型。我们表明，智慧城市应用中的数据驱动着整个开发生命周期，应该在开发周期的早期考虑。此外，数据会影响smartCityRA中的所有其他视图，因此数据视图需要位于整个smartCityRA的核心。使用像Data Hub这样的组件实现Data视图有助于为来自不同来源的不同数据创建一个中央集成位置，从而使开发人员不必单独处理多个实体。最后，我们表明，任何智慧城市参考架构，如smartCityRA，都应该处于正确的抽象级别，以实现不同利益相关者和组件采用和适应的灵活性。
2018-05-03 cs.SE
Smart Contracts Software Metrics: a First Study
智能合约（SC）是驻留并运行在区块链上的软件代码。代码可以用不同的语言编写，其共同目的是在托管区块链上实现各种交易，它们由区块链基础设施管理，并工作以满足传统合同的典型条件。与传统的软件代码相比，软件代码必须满足强上下文相关的约束。特别是，由于字节码是在托管区块链中上传的，因此大小，计算资源，软件不同部分之间的交互都是有限的，即使特定的软件语言实现了或多或少与传统语言相同的结构，也没有正常软件开发中的自由。SC软件预计将反映这些约束SC软件度量，应该显示度量值的域的特性，并从更传统的软件度量不同。我们在超过12000个用Solidity编写并上传到以太坊区块链上的SC代码上测试了这个假设。我们从一个公共存储库中下载了SC，并计算了一组与SC相关的软件度量的统计数据，并将它们与从更传统的软件项目中提取的度量进行了比较。我们的研究结果表明，通常智能合约指标的范围比传统软件系统中的相应指标更受限制。一些程式化的事实，如一些指标分布尾部的幂律，只是近似的，但代码行遵循对数正态分布，这让人想起在传统软件系统中已经发现的相同行为。
2018-02-07 cs.SE
Quality Characteristics of a Software Platform for Human-AI Teaming in Smart Manufacturing
随着支持AI的软件系统在智能制造中变得越来越普遍，它们的角色从被动转向主动，为机器操作员提供特定于上下文的支持。在一个国际研究项目的背景下，我们开发了一个基于人工智能的软件平台，该平台将促进人类操作员和制造机器之间的协作。我们与潜在软件平台的利益相关者进行了14次结构化访谈，以确定选定的质量特征与智能制造中人工智能团队的个体相关性。这些特征包括ISO 25010：2011软件质量标准和AI特定的质量特征，如可信性，可解释性和可解释性。受访者认为可信性、功能适用性、可靠性和安全性是这种情况下最重要的质量特征，而可移植性、兼容性和可维护性是最不重要的。此外，我们观察到协议的相关性，具有相同的作用的受访者之间的质量特征。另一方面，每个质量特征的相关性取决于预期软件平台的具体用例。受访者还被问及与智能制造中的人工智能合作相关的关键成功因素。他们将改善生产周期、提高操作员效率、减少废料和降低人体工程学风险确定为关键成功标准。在本文中，我们还讨论了度量这些质量特性的实现，我们打算在未来的软件平台的操作过程中操作和监控的度量。
2022-05-31 cs.SE
Inheritance software metrics on smart contracts
区块链系统最近获得了巨大的吸引力，部分原因是分散的不可变的经济活动调解的潜力。以太坊是一个突出的例子，它提供了执行被称为智能合约的有状态计算脚本。这些智能合约类似于传统程序，但不变性是核心区别因素。考虑到它们的不变性和潜在的高货币价值，开发高质量的智能合约势在必行。软件度量传统上是确定编程质量的重要工具。考虑到智能合约（用Solidity for Ethereum编写）和面向对象（OO）编程之间的相似性，OO指标似乎是适用的。在本文中，我们实证评估了应用于智能合约的基于继承的指标。我们之所以关注这一点，是因为传统上，继承与更复杂的代码库相关联，而我们认为基于Solidity的智能合约并非如此。在这项工作中，我们评估了一个假设，即由于智能合约和OO程序的背景不同，使用相同的基于继承的指标进行评估可能是不合适的。
2020-07-16 cs.PL cs.SE
Emergent Software Service Platform and its Application in a Smart Mobility Setting
针对动态自主演进的系统格局难以控制的问题，提出涌现式软件服务平台架构，并通过智能停车场场景验证了其可行性。
2024-02-05 cs.SE
From Smarter to Hungrier: the Role of Energy Efficiency in Software-defined Vehicles
University of Oulu（奥卢大学）
本文探讨软件定义汽车因智能化而能耗增加对可持续性和环境伦理的威胁，强调需新工具测量、管理和优化能耗，并提出设计指导与建议。
2026-09-21 cs.SE
MLD: An Intelligent Memory Leak Detection Scheme Based on Defect Modes in Smart Grids
随着智能电网系统软件规模和复杂性的不断扩大，智能电网软件缺陷检测成为研究热点。由于现有智能电网软件代码规模庞大，现有智能电网缺陷检测算法的效率和准确性都不高。提出了一种基于缺陷模式MLD的智能内存泄漏检测方案。在分析现有内存泄漏缺陷模式的基础上，总结了内存操作行为（分配、释放和转移），提出了一种状态机模型。我们采用基于正则表达式的模糊匹配算法来确定内存操作行为，然后分析状态机的变化来评估源代码中的漏洞。为了提高检测效率，解决函数调用点重复检测的问题，提出了一种内存操作行为的函数摘要方法。实验结果表明，该方法具有较高的检测速度和准确性。该算法能够识别智能电网运行软件的缺陷，保证电网的安全运行。
2020-08-22 cs.SE
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry
在本文中，我们针对嵌入式软件的自动化单元覆盖率为基础的测试。为了实现这一目标，通过分析工业需求和我们以前在自动化单元测试工具CAUT上的工作，我们重新构建了一个新的工具SmartUnit，以解决我们合作伙伴公司的工程需求。SmartUnit是一个动态符号执行实现，支持语句、分支、边界值和MC/DC覆盖。SmartUnit已经在实际项目中测试了超过一百万行代码。出于保密动机，我们选择了三个内部真实项目进行实证评估。我们还对两个开源数据库项目SQLite和PostgreSQL进行了评估，以测试我们的工具的可扩展性，因为嵌入式软件项目的规模大多不大，平均只有5 K-50 K行代码。从我们的实验结果来看，一般来说，商业嵌入式软件中90%以上的函数实现了100%的语句、分支、MC/DC覆盖，SQLite中80%以上的函数实现了100%的MC/DC覆盖，PostgreSQL中60%以上的函数实现了100%的MC/DC覆盖。此外，SmartUnit能够在单元测试级别找到运行时异常。我们还报告了SQLite中的异常，如数组索引越界和被零除。此外，我们还分析了自动化单元测试覆盖率低的原因，并对工业上手工单元测试相对于自动化单元测试的情况进行了调查。
2018-06-17 cs.SE
Maintaining Smart Contracts on Ethereum: Issues, Techniques, and Future Challenges
软件开发是一个非常广泛的活动，涵盖了软件的整个生存周期，包括设计，编程，维护等。在这项研究中，我们专注于智能合约部署后的维护相关问题。智能合约是在区块链上运行的自我执行程序。它们一旦部署就无法修改，因此与传统软件相比，它们带来了独特的维护挑战。根据ISO/IEC 14764的定义，软件维护有四种类型，即，纠正性、适应性、完善性和预防性维护。本研究旨在回答（i）智能合约开发人员在部署到以太坊后，在纠正性、自适应性、完善性和预防性维护方面会遇到什么样的问题？(ii)目前智能合约使用的维护相关方法有哪些？为了获得这些研究问题的答案，我们首先进行了系统的文献综述，分析了2014年至2020年发表的131篇智能合约相关研究论文。由于以太坊生态系统正在快速发展，以前出版物中的一些结果可能已经过时，学术界和工业界之间可能存在差距。为了解决这个问题，我们在Github上对智能合约开发人员进行了在线调查，以验证我们的发现，并收到了165个有用的回复。基于调查反馈和文献回顾，我们提出了第一个关于智能合约维护相关问题的实证研究。我们的研究可以帮助智能合约开发人员更好地维护他们基于智能合约的项目，我们强调了一些关键的未来研究方向，以改善以太坊生态系统。
2021-08-17 cs.SE
How Smart Is Your GUI Agent? A Framework for the Future of Software Interaction
The Chinese University of Hong Kong（香港中文大学）；Technical University of Munich（慕尼黑工业大学）
本文提出GUI代理自主级别框架，旨在明确自主性并评估软件交互的可信赖性进展。
2026-02-12 cs.AI cs.CV cs.HC
Digital Twin Evolution for Sustainable Smart Ecosystems
针对数字孪生演进中软硬件交织、现有软件演化知识难应用的问题，本文以公民能源社区为案例，用4种场景阐释数字孪生演进7R分类法，为从业者提供管理指引，填补软件工程实践落地智能生态系统的缺口。
2024-08-19 cs.ET cs.SE
Smart Fuzzing of 5G Wireless Software Implementation
本文结合AFL++模糊测试与大语言模型自动解读参数，提升OAI5G开源5G软件框架的安全性、可靠性和可理解性。
2023-09-22 cs.SE
Geant4 Maintainability Assessed with Respect to Software Engineering References
我们报告了一种方法，定量评估Geant 4的可维护性方面的软件工程参考。可维护性的水平是通过结合一组度量值来确定的，这些度量值的参考文献在文献中有记载。
2017-04-19 cs.SE
Towards a Reference Software Architecture for Human-AI Teaming in Smart Manufacturing
Software Competence Center Hagenberg（哈根贝格软件能力中心）；Pak-Austria Fachhochschule - Institute of Applied Sciences and Technology（巴基斯坦-奥地利应用科学与技术学院）
随着智能制造中支持AI的软件系统的激增，此类系统的角色从被动角色转变为主动角色，为制造运营商提供特定于上下文的支持。在欧盟资助的Teaming.AI项目的框架中，我们确定了人类-AI协作中团队合作方面的监控，道德政策的运行时监控和验证，以及对数据和机器学习算法实验的支持，这些都是智能制造中人类-AI团队合作最相关的挑战。基于这些挑战，我们开发了一个参考软件架构，该架构基于知识图谱、跟踪和景物分析，以及用于关系型机器学习的组件，并特别关注其可扩展性。我们的方法使用知识图谱来捕获制造过程中的产品和过程特定知识，并将其用于关系机器学习。这允许在制造过程中针对具体情况提出行动建议，以优化产品质量并防止物理伤害。该软件架构的实证验证将与汽车、能源系统和精密加工领域的三家大型公司合作进行。在本文中，我们讨论了这样一个参考软件架构所面临的挑战，目前其初步状态，并勾勒出我们在这个项目中进一步的研究愿景。
2022-01-21 cs.AI cs.SE
Real-Time Agile Software Management for Edge and Fog Computing Based Smart City Infrastructure
针对智慧城市实时处理受云带宽、延迟与能耗限制的问题，提出基于ROOF框架的边缘与雾计算敏捷软件管理方案，并通过三城案例验证其在交通与环境监测中的有效性。
2025-06-14 cs.SE
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
区块链已经变得特别受欢迎，因为它承诺在非常不同的领域（例如，零售、供应链、医疗保健）。区块链系统依赖于复杂的中间件，如以太坊或Hyperledger Fabric，这些中间件允许运行智能合约，这些智能合约在合作应用程序中指定业务逻辑。这些合同中存在的软件缺陷或故障是导致合同失败的主要原因，包括严重的安全问题。在本文中，我们使用软件实现的故障注入（SWIFI）技术来评估存在故障智能合约的许可区块链系统的行为。我们模拟一般软件故障的发生（例如，缺少变量初始化）以及区块链特定的软件故障（例如，缺少关于交易发送方的require语句）来观察对整个系统可靠性的影响（即，可靠性和完整性）。我们还研究了形式化验证的有效性（即，由Solc-Verify完成）和运行时保护（例如，使用断言语句）机制来检测注入的故障。结果表明，形式化验证以及额外的运行时保护必须补充内置的平台检查，以保证区块链系统和应用程序的适当可靠性。本文中提出的工作使智能合约开发人员能够意识到智能合约中可能存在的错误，并了解它们的存在所产生的影响。它还为中间件开发人员提供了有价值的信息来改进行为（例如，总体容错）。
2020-10-22 cs.SE
Versioned Analysis of Software Quality Indicators and Self-admitted Technical Debt in Ethereum Smart Contracts with Ethstractor
本文提出首个智能合约收集工具 Ethstractor，用于构建版本化合约数据集，研究发现代码指标无法有效指示漏洞，漏洞数量随时间保持一致，且多数自认技术债务从未被移除。
2024-07-22 cs.CR cs.DC cs.SE
Reference and Structure of Software Engineering Theories
本文试图有助于解决SE文献中提出的一个重要问题：什么是软件工程（SE）的具体理论？SE特有的理论的主要特征是什么？在本文中，我们将使用传统科学中使用的“理论”一词。其他使用的术语“理论”进行了讨论。最后，我们建议把重点放在参考类和结构SE理论作为进一步发展的基础。
2016-04-27 cs.SE
Characterizing Tests in IoT Software: Practices, Challenges and Opportunities
McGill University（麦吉尔大学）；The Hong Kong University of Science and Technology（香港科技大学）
通过首个开源物联网软件测试用例实证研究，评估测试有效性，识别与外部依赖交互的挑战，并分析模拟对象的使用潜力。
2026-06-12 cs.SE
Detecting Outdated Code Element References in Software Repository Documentation
过时的文档是软件开发中的一个普遍问题，它妨碍了软件的有效使用，并误导了用户和开发人员。我们认为，文档如此容易变得不同步的一个可能原因是开发人员不知道他们的源代码修改何时会使文档过时。确保文档始终与源代码同步需要相当大的努力，特别是对于大型代码库。为了解决这种情况，我们提出了一种方法，可以自动检测代码元素引用后，所有的源代码实例已被删除的文档中生存。在这项工作中，我们分析了3,000多个GitHub项目，发现大多数项目在其历史的某个时刻至少包含一个过时的代码元素引用。我们将GitHub问题提交给现实世界的项目，其中包含我们的方法检测到的过时引用，其中一些已经导致文档修复。作为保持软件存储库中文档最新的一项举措，我们已经为开发人员提供了我们的实现，以扫描他们的GitHub项目以查找过时的代码元素引用。
2022-12-02 cs.SE
Smart Contracts Formal Verification: A Systematic Literature Review
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas - Facultad de Ingeniería, Universidad Nacional Autónoma de México（墨西哥国立自治大学数学应用与系统研究所-工程学院）
本文系统综述智能合约形式化验证相关文献，梳理规格说明、验证工具与实验，并提出基于描述逻辑的替代验证方法。
2025-10-15 cs.LO cs.SE
Assessing Support for Industry Standards in Reference Medical Software Architectures
开发医疗器械软件的行业标准规定了合格器械必须满足的要求。已经提出了许多参考软件架构来开发这样的软件。ISO/IEC 25010：2011系列标准提供了一个全面的软件产品质量模型，包括医疗器械中高度期望的特性。此外，像4+1视图这样的框架提供了一个强大的框架来开发任何软件（包括医疗器械）的软件架构或高级设计。然而，医疗器械软件的工业标准和参考架构与ISO/IEC 25010：2011和4+1视图之间的一致性尚未得到很好的理解。本文旨在探讨ISO/IEC 25010：2011和4+1视图如何得到当前标准（即ISO 13485：2016、ISO 14971：2012、IEC 62304：2006和IEC 62366：2015）以及当前医疗器械软件参考架构的支持。我们将医疗器械标准的要求分类为ISO/IEC 25010：2011的质量和4+1视图的架构视图。遵循系统性文献综述（SLR）方法，对当前参考软件体系结构进行了评审，并映射了它们对上一步骤中识别的ISO/IEC 25010：2011质量的支持。我们的研究结果表明，ISO/IEC 25010：2011质量，如功能适用性，可移植性，可维护性，可用性，安全性，可靠性和兼容性在医疗器械标准中得到高度重视。此外，我们表明，目前的参考架构只部分支持这些品质。本文可以帮助医疗设备开发人员确定开发符合标准的软件的重点领域。一项涉及开发中医疗设备的更…
2021-07-17 cs.SE
A Reference Architecture for Embedding Quantum Software Into Enterprise Systems
Münster University of Applied Sciences（明斯特应用科学大学）；University of Münster（明斯特大学）
本文提出了一种模块化的参考架构，用于将量子软件嵌入企业系统，通过可执行的BPMN模型实现稳定且可重用的管道，用于解决运筹学中的组合挑战。
2025-12-12 cs.SE
Enabling Automated Integration Testing of Smart Farming Applications via Digital Twin Prototypes
本文提出数字孪生原型方法，通过仿真硬件接口实现智能农业应用（如青贮饲料制作）的自动化集成测试，并支持持续集成与Docker容器持续部署。
2023-11-09 cs.SE
Model-Based Monitoring for IoTs Smart Cities Applications
智慧城市是未来的城市聚合体，其中众多异构系统和物联网设备相互作用，以提供更安全，更高效，更环保的环境。智慧城市的愿景正在相应地适应软件和基于物联网的服务的发展。目前的趋势不是要有一个大的综合系统，而是要有过多的小的、集成良好的系统，这些系统相互作用。由于多种原因，监测这些类型的系统具有挑战性。
2018-07-19 cs.SE
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
Research Center Trustworthy Data Science and Security（可信数据科学与安全研究中心）；TU Dortmund University（图腾大学）
本文提出一种利用大语言模型自动合成形式化模型的方法，通过转译、填空和迭代修复三阶段流程，显著降低智能合约形式化验证所需的时间和专业知识门槛。
2025-01-22 cs.AI cs.SE
Computer Vision Intelligence Test Modeling and Generation: A Case Study on Smart OCR
San Jose State University（圣何塞州立大学）；ALPSTouchStone, Inc.（ALPSTouchStone公司）
针对AI软件质量评估难题，提出含3D分类模型、测试覆盖准则与四项评估指标的AI软件功能测试框架，并通过移动端OCR案例验证其有效性。
2024-09-14 cs.AI cs.CV cs.SE
Domain Specific Software Architecture for Design Center Automation
特定领域软件体系结构通过构建领域体系结构参考模型来实现软件复用。构造的参考模型呈现一组单独的组件及其交互点。当开始一个新的大型软件项目时，设计工程师从预先构建的模型开始，可以很容易地浏览并在新的解决方案设计中找到使用机会。本报告讨论了领域参考设计方法的应用，通过推导领域特定的参考体系结构的产品订购系统在设计中心。这种情况下的产品是在一个大型供应商店从不同制造商的库存和特殊订单百叶窗。本报告的目的不是为该领域开发成熟的特定领域参考软件体系结构。然而，本报告希望说明其中一个过程所使用的方法，这是本报告的主要关注点。这份报告列出了这样一个过程的主观细节，适用于从一个大型家庭建筑和商品供应商店订购定制和库存百叶窗的领域。本报告还详细描述了知识模型的推导过程，统一的知识模型和参考架构，为这个领域。然而，该领域模型仅是部分完整的，其可能不用于任何实际应用。本报告是在研究这一方法时进行的一个课程项目的结果。
2008-09-08 cs.SE
A Functional Software Reference Architecture for LLM-Integrated Systems
本文提出一个初步的功能参考架构，用于指导大语言模型集成系统的设计、评估与演进，并通过三个开源系统验证其适用性。
2025-01-22 cs.SE
Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies
本文献综述探讨了深度学习在车联网系统中引发的固有安全漏洞与威胁（如对抗性攻击和模型中毒），分析了其对入侵检测等关键安全方面的影响，并强调需开发新型安全解决方案以增强DL赋能的IoV环境的安全性与弹性。
2024-07-23 cs.CR cs.SE
Towards Human-Centred Crowd Computing: Software for Better Use of Computational Resources
互联网连接的智能设备正以指数级速度增长。这些功能强大的设备创造了一个尚未开发的闲置资源池，可用于在资源枯竭的环境中处理数据。最近，从基础设施可行性的角度研究了将一组智能设备用于"人群计算“（CC）的想法。然而，对于CC范例是成功的，许多社会技术和软件工程（SE），特别是需求工程（RE）相关的因素在发挥作用，并没有在文献中进行调查。在本文中，我们激励CC的SE相关方面和实现CC场景所需的移动应用程序的想法。我们提出了初步研究的结果，了解人的方面，激励用户的激励措施，CC应用程序的要求，并提出我们未来的发展计划，在这个相对较新的研究领域的SE应用程序。
2023-02-11 cs.SE
Using Feature Models for Distributed Deployment in Extended Smart Home Architecture
如今，灵巧家庭已经超越了房屋本身，涵盖了云上的连接平台以及移动个人设备。这种灵巧家庭扩展架构（SHEA）可帮助客户随时随地与家中保持联系。SHEA中家庭和外部连接设备的不断增加使任何应用的部署可能性成倍增加。因此，SHEA应该从现在开始作为灵巧家庭应用部署的实际目标平台。每个家庭都是不同的，应用程序根据客户的喜好提供不同的服务。为了管理这种可变性，我们扩展了部署约束的软件产品线域的特征建模，我们提出了一个模型的例子，可以解决这个部署的挑战。
2015-07-29 cs.SE
A Reference Framework for Variability Management of Software Product Lines
本文通过定性元综合比较现有软件产品线可变性管理方法，提出涵盖可变性发生维度与关键概念的参考框架，并经定性评估发现实践组织通常只关注单一维度。
2023-06-06 cs.SE
Towards a Software Reference Architecture for Natural Language Processing Tools in Requirements Engineering
Chalmers University of Technology（查尔姆斯理工大学）；University of Gothenburg, Sweden（哥德堡大学）
本文提出面向需求工程中NLP工具的软件参考架构愿景，旨在通过模块化和互操作性提升工具的可持续性和重用性。
2026-02-19 cs.SE
Wait, wasn't that code here before? Detecting Outdated Software Documentation
本文针对软件文档易过时的问题，基于作者此前提出的过时代码引用检测方法，开发了一个 GitHub Actions 工具，可在每次提交拉取请求时自动扫描项目文档中的过时引用，帮助开发者维护文档时效性。
2023-07-10 cs.SE
The Architecture Tradeoff and Risk Analysis Framework (ATRAF): A Unified Approach for Evaluating Software Architectures, Reference Architectures, and Architectural Frameworks
本文提出统一的场景驱动框架ATRAF，通过ATRAM、RATRAM和AFTRAM三种迭代方法，系统评估软件架构、参考架构和架构框架在不同抽象层级上的权衡与风险，弥补了ATAM等现有方法无法处理高层级架构的不足。
2025-05-01 cs.SE
Human Side of Smart Contract Fuzzing: An Empirical Study
本文通过分析Echidna与Foundry的381个GitHub issue并开展用户研究，构建智能合约模糊测试挑战分类法，揭示区块链仿真、文档与自动化等问题，为工具设计改进提供依据。
2025-06-09 cs.HC cs.SE
ML-Quadrat & DriotData: A Model-Driven Engineering Tool and a Low-Code Platform for Smart IoT Services
DriotData UG（DriotData UG公司）；Flanders Make（法兰德斯制造研究院）；Munich Data Science Institute（慕尼黑数据科学研究院）
在本文中，我们提出了ML-Quadrat，这是一个开源的研究原型，它基于Eclipse建模框架（EMF）和智能网络物理系统（CPS）和物联网（IoT）的模型驱动软件工程（MDSE）文献中的最新技术。其设想的用户主要是软件开发人员，他们可能在异构物联网平台和各种人工智能（AI）技术方面没有深入的知识和技能，特别是关于机器学习（ML）。ML-Quadrat在Github上根据Apache 2.0许可证条款发布。此外，我们还展示了DriotData的早期工具原型，DriotData是一个面向公民数据科学家和公民/最终用户软件开发人员的基于Web的低代码平台。DriotData在行业中利用并采用了ML-Quadrat，将其扩展版本作为基于订阅的服务提供给公司，主要是中小型企业（SME）。DriotData目前的初步版本有三种基于Web的模型编辑器：基于文本的，基于树/表单的和基于XML的。后者专为问题或用例领域（即物联网垂直领域）的领域专家而设计，他们可能不具备IT领域的知识和技能。最后，YouTube上有一个演示工具的简短视频：https://youtu.be/VAuz25w0a5k
2022-02-16 cs.AI cs.LG cs.SE
Data Analytics and Machine Learning Methods, Techniques and Tool for Model-Driven Engineering of Smart IoT Services
Technical University of Munich（慕尼黑工业大学）
本博士论文提出了一种新的方法来加强物联网（IoT）和智能网络物理系统（CPS）的智能服务的发展。所提出的方法提供了抽象和自动化的软件工程过程，以及数据分析（DA）和机器学习（ML）的做法。这是以集成和无缝的方式实现的。我们通过扩展一个名为ThingML的开源建模工具来实现和验证所提出的方法。ThingML是一种特定于领域的语言和建模工具，可为IoT/CPS领域生成代码生成。ThingML和任何其他IoT/CPS建模工具都不支持建模级别的DA/ML。因此，作为博士论文的主要贡献，我们将有关DA/ML方法和技术的必要语法和语义添加到ThingML的建模语言中。此外，我们支持多个ML库和框架的API，用于自动生成Python和Java中目标软件的源代码。我们的方法支持独立于平台的模型以及特定于平台的模型。此外，我们通过在后台（专家模式）提供自动化ML（AutoML），并通过在设计时进行模型检查约束和提示，来帮助执行半自动化DA/ML任务。最后，我们考虑了来自网络安全、智能能源系统和能源交易市场领域的三个用例场景。
2021-02-12 cs.LG cs.SE
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
在软件测试中最大化代码覆盖率的一种有效方法是通过动态符号执行$-$，这是一种使用约束求解来系统地探索程序状态空间的技术。我们介绍了一个名为Manticore的开源动态符号执行框架，用于分析二进制文件和以太坊智能合约。Manticore灵活的架构使其能够支持传统和异国情调的执行环境，其API允许用户自定义他们的分析。在这里，我们将讨论Manticore的架构，并展示我们用于为商业客户查找错误和验证代码正确性的功能。
2019-11-18 cs.CR cs.SE
An Empirically Grounded Reference Architecture for Software Supply Chain Metadata Management
本文针对软件供应链元数据管理系统（SCM2）缺乏统一设计指导的问题，基于行业安全框架构建了包含领域模型和架构蓝图的实证参考架构，并通过五个安全工具的架构映射验证其有效性。
2024-06-08 cs.CR cs.SE
A Systematic Review of FAIR-compliant Big Data Software Reference Architectures
本文系统综述了FAIR合规大数据软件参考架构的研究，分析了323篇文献，识别出7项通用SRA研究、13个FAIR实施流水线及3个FAIR合规大数据SRAs，评估其特性并指出未来研究机会。
2025-09-17 cs.DB cs.SE
Assessing Vulnerability in Smart Contracts: The Role of Code Complexity Metrics in Security Analysis
Università della Svizzera italiana（瑞士意大利语大学）
本研究探讨了代码复杂度度量在识别智能合约安全漏洞中的作用，发现复杂度度量能有效区分安全与脆弱代码，但单一指标不足以直接导致漏洞。
2026-01-23 cs.CR cs.SE
