从卖产品到卖文化、卖生活方式——广州特地精致生活馆设计的感想

2005年初，特地陶瓷需要在广州天河美居中心建一个销售展示中心。由于广州的瓷砖市场特别难做，商家倍感竞争的压力和生存的艰辛，因此特地在广州必须为特地陶瓷品牌的发挥搭建一个“出格”的吸引人眼球的展示平台。     

基于JavaCC的JAVA程序模型逆向转换

针对软件的维护和更新问题,提出一种基于编译技术、以类图和过程蓝图作为抽象模型的Java程序模型逆向变换方法。从对逆向变换的核心思想——逆向变换规则和机制出发,提出了从Java源代码到UML类图和过程蓝图的逆向变化规则,并用数学的形式进行了精确的定义。针对面向对象语言Java设计了一个逆向变换支撑工具,应用编译技术动态分析了Java源代码,逆向转换生成UML类图和过程蓝图的可视化模型。     

DeltaFuzz: Historical Version Information Guided Fuzz Testing

With the widespread use of agile software development methods,such as agile and scrum,software is iteratively updated more frequently.To ensure the quality of the software,regression testing is conducted before new versions are released.Moreover,to improve the efficiency of regression testing,testing efforts should be concentrated on the modified and impacted parts of a program.However,the costs of manually constructing new test cases for the modified and impacted parts are relatively expensive.Fuzz testing is an effective method for generating test data automatically,but it is usually devoted to achieving higher code coverage,which makes fuzz testing unsuitable for direct regression testing scenarios.For this reason,we propose a fuzz testing method based on the guidance of historical version information.First,the differences between the program being tested and the last version are analyzed,and the results of the analysis are used to locate change points.Second,change impact analysis is performed to find the corresponding impacted basic blocks.Finally,the fitness values of test cases are calculated according to the execution traces,and new test cases are generated iteratively by the genetic algorithm.Based on the proposed method,we implement a prototype tool DeltaFuzz and conduct experiments on six open-source projects.Compared with the fuzzing tool AFLGo,AFLFast and AFL,DeltaFuzz can reach the target faster,and the time taken by DeltaFuzz was reduced by 20.59%,30.05%and 32.61%,respectively.     

抽象逻辑结构图及其应用

图形化技术作为人们清晰思维的语言和良好的通讯交流工具,在软件开发中一直发挥着重要作用,是软件表现技术的重要形式之一.迄今为止,已经出现了各种各样的程序图形     

一种工程化的程序表现技术:过程蓝图

本文提出一种新的基于抽象逻辑结构图ALSD的工程化程序表示法—过程蓝图。这种表示法支持逻辑和实现两个层次的程序抽象表示,是一种简单、可理解性强、面向程序员和CASE的实用软件工具。     

基于过程蓝图的程序环路复杂性度量方法

提出一种基于过程蓝图的程序环路复杂性度量实现方法。将传统基于程序控制流图的度量信息抽取变为对过程蓝图的实现层表示-抽象实现结构图的信息抽取，避免程序源代码的语法分析和控制流图的构造，简化度量过程和实现，并提高度量处理的效率。     

Java过程蓝图

1 引言计算机应用正进入网络时代,Java是一种广泛使用的网络编程语言,被称之为网络上的“世界语”。Java作为一种程序设计语言不仅具有简单、面向对象、分布式、解释执行、鲁棒、安全、平台无关、可移植、高性能、多线程以及动态性等特点,更重要的是它支持以网络为中心的新型计算模式——Java计算模式,从而使Ja-     

基于软件度量的Solidity智能合约缺陷预测方法

随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能合约的软件缺陷预测研究.针对这一问题,提出了面向Solidity智能合约的缺陷预测方法.首先,设计了一组针对Solidity智能合约特有的变量、函数、结构和Solidity语言特性的度量元集(smart contract-Solidity, SC-Sol度量元集),并将其与重点考虑面向对象特征的度量元集(code complexity and features of object-oriented program, COOP度量元集)组合为COOP-SC-Sol度量元集.然后,从Solidity智能合约代码中提取相关度量元信息,并结合缺陷检测结果,构建Solidity智能合约缺陷数据集.在此基础上,应用了7种回归模型和6种分类模型进行Solidity智能合约的缺陷预测,以验证不同度量元集和不同模型在缺陷数量和倾向性预测上的性能差异.实验结果表明,相对于COOP度量元集...     

软件重构技术综述

本文在介绍重构概念的基础上,对重构形式、重构操作、源码重构、重构工具、模型重构等方面的研究现状和发展方向、以及重构相关的技术及其关系进行论述,最后对有待解决的问题进行了讨论。     

抽象概念结构图到JAVA过程蓝图的平滑过渡及一致性

1 引言在软件开发生命周期中,开发过程被分为系统分析、系统设计、系统实现、测试与维护等阶段,软件开发人员首先从问题调查出发,使用需求分析工具将软件需求表示出来,其次通过总体设计、详细设计等设计活动寻求解决问题的方案,然后再使用计算机程序语言将软件设计方案最终转换成计算机上可以运行的实现