摘要：基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程序不变量是程序中隐含的属性,它可以应用于程序验证、软件测试技术、逆向工程、程序质量保证等领域。本文结合当前主流的程序不变量研究的相关成果和基于合约的程序不变量程序设计方法,分别从源程序编配技术、测试用例生成技术、程序运行轨迹收集技术和程序不变量分析技术四个方面,对程序不变量挖掘的关键方法和原理进行了详细的剖析。

摘要：讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法。通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。

摘要：为了有效提高终身学习者的学习效率和教学资源的利用率,本文构建了区块链技术驱动的教学资源动态部署智慧教学框架,提出了终身学习环境下的智慧教学需求精准感知与资源精准供给策略。同时结合智慧教学资源部署映射框架,设计了区块链技术驱动的教学资源存储方式。实践表明,本文提出的教学策略和教学资源动态部署框架对终身学习者的高效学习起到了积极的促进作用。

摘要：通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法。

摘要：电子站牌用于动态显示公交车辆的相关信息,介绍了电子站牌的基本工作原理,设计了电子站牌内部的主要硬件部份,研究并优化了电子站牌报站的算法,同时提供了数据丢失时的补偿方案.

摘要：设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径,对不可达路径进行处理,并对测试数据的分支覆盖率、DCP覆盖率等进行了统计。实验结果表明该工具是可行的。

摘要：重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设计结构及实现过程。结果证明TDDPA能更方便有效地发现程序中所蕴涵的断言。

摘要：针对物联网中的隐私保护,应用时间槽法和二叉树等方法所开展的研究已经取得了一些研究结果。然而,这些方法只适用于处理静态数据。基于边缘计算模式,利用BLS短签名、结合优化的Merkle Hash Tree存储数据、运用双线性映射,本文设计了一种能进行完整性检测的隐私保护方案。该方案不仅能对智能物联网中的监测对象动态变化进行检测,同时还对检测过程中的交互信息进行加密处理,能有效地保护用户隐私。实验结果表明,当数据包的大小为24kB时,本文方法在通信开销方面具有较大的优势。

摘要：本文主要讨论基于合约的似然程序不变量的内涵,以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与动态不变量检测工具Daikon实体模型的比较,进一步论述程序断言动态生成技术。通过精确的程序断言动态生成,可以分析程序各变量之间的关联属性,以完成不变量的检测。从而有助于设计高质量的程序架构以及规范化的程序代码.

摘要：随着大数据时代到来,如何构建高校的大数据环境组件模式教学资源库,成为高校教育资源共享首要解决的问题。文章分析了高校教学资源管理及大数据环境组件模式教学资源库建设中存在的主要问题;设计了大数据环境组件模式教学资源库构建的内容和关键问题;通过集成共享,整合优质教学资源,实现优质教学资源的高度共享与利用。