蔡立志
- 作品数:123 被引量:149H指数:6
- 供职机构:上海计算机软件技术开发中心更多>>
- 发文基金:国家高技术研究发展计划国家自然科学基金上海市科学技术委员会资助项目更多>>
- 相关领域:自动化与计算机技术电子电信自然科学总论理学更多>>
- 一种基于区块链技术的众测逻辑测试链系统及方法
- 本发明涉及一种基于区块链技术的众测逻辑测试链系统及方法,包括:请求与反馈模块、逻辑测试链控制模块、测试群组管理模块、评价群组选举模块、众测任务包控制模块、测试需求及奖励管理模块、测试通过准则管理模块、区块链基础设施、众测...
- 王超蔡立志陈文捷陈敏刚胡芸沈颖
- 文献传递
- 系统与软件维护性 第1部分:指标体系
- 本部分给出了系统与软件维护性的指标体系框架及其相关指标定义,规定了系统与软件维护性质量特性,为系统与软件的供方、需方、第三方评测机构提供统一的维护性指标体系。
- 蔡立志刘振宇胡芸沈丽菁陈达丽张建良潘国瑞张旸旸袁玉宇李家宏张露莹王行勇丁志刚徐旼之欧阳树生杨丽春顾林李晓庆熊琭
- 关键词:软件技术程序设计语言COMPUTERSAPLREPAIR
- 基于高可用架构的电信级绿色云计算平台
- 陆肖元傅志仁张治童维勤蔡立志钟志鲲廖文昭叶波许延伟支小莉华静刘小龙许飞胡
- 云计算是信息社会的新型基础设施,云平台承载着90%的信息服务,承载着各行各业的正常服务和运行。如何保障高可用和实现高能效是国际公认的重大挑战。SLA是信息设施可用性的衡量标准,无论是阿里还是亚马逊云平台SLA均为99.9...
- 关键词:
- 关键词:云计算平台在线教育平台
- 基于循环生成对抗网络的图像去雾算法被引量:3
- 2022年
- 大气散射模型与有雾图像及对应清晰图像间的映射模型不适配,导致使用大气散射模型进行图像去雾处理时,图像存在颜色偏差、纹理细节粗糙等问题。基于模拟生物视觉系统的反馈原理,提出一种端到端的循环生成对抗网络算法,以解决误差累积造成的去雾图像低质的问题。通过生成模块将循环神经网络的隐藏状态作为反馈信息,以指导低级模糊特征信息生成更加丰富的高级特征。循环结构能够保证先前的网络层可以使用到后面网络层的高级特征信息,从而减少误差累积。此外,该算法能够根据判别模块的损失来评估重建图像的质量。实验结果表明,与GCANet算法相比,所提算法在SOTS测试集上的平均峰值信噪比和结构相似性,在室内分别提升3.41%和0.57%,在室外分别提升3.48%和1.39%,且在真实世界的数据集上进行图像去雾后,在视觉上避免了颜色失真和光晕问题。
- 郭梦琰张娟刘巧红蔡立志
- 关键词:图像去雾
- 软件测试用例可复用性度量被引量:11
- 2010年
- 研究了软件测试用例可复用性的度量方法,提出了测试用例可复用性度量模型TCRM。该模型将易理解性、独立性、适用性、可配置性作为影响可复用性的4个子特性,并使用可信度作为修正特性。提出了针对TCRM模型的度量方法,TCRM模型及其度量方法可给构建软件测试用例库和评价软件测试用例的人员提供参考。
- 肖良杨根兴蔡立志
- 关键词:软件测试用例可复用性
- 一种可视化的数据分析方法及系统
- 本发明公开一种可视化的数据分析方法及系统。该分析方法包括:获取待分析数据;获取用户定义的数据格式和查询条件;根据分析数据、用户定义的数据格式和查询条件,生成可视化结果;获取用户定义的第二查询条件和可视化参数;根据可视化结...
- 蔡立志陈敏刚陈文捷刘振宇胡芸吴建华宋巍陈达丽邬斌亮凌良合
- 文献传递
- 系统与软件可移植性 第3部分:测试方法
- 本部分给出了如何获得可移植性指标测量值的测试方法。 本部分适用于各种有环境适应性要求或者产生了移植过程的相关系统和软件的测试。
- 蔡立志刘振宇李嘉宗宇伟张春柳宣以广黄观仁张建良潘国瑞张旸旸袁玉宇李家宏张露莹沈春锋丁志刚朱从锋王博左家平杨丽春潘晓明黄家裕姜旭池仁隆
- 关键词:程序设计语言可移植性COMPUTERSAPLPERFORMANCES
- 新能源电车充电桩主机入侵检测方法、产品、介质及设备
- 本发明公开一种新能源电车充电桩主机入侵检测方法、产品、介质及设备,涉及智能电网安全领域,通过将主机事件特征作为检测方法的数据基础降低误报率,基于多任务学习方法,采用深度学习模型为每个任务搭建检测器,使用多任务架构,在样本...
- 蔡立志杨康吴建华刘振宇周悦
- 基于Z规格说明的可复用测试用例形式化描述被引量:1
- 2012年
- 可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概念的形式化定义。通过Z规格说明对可复用测试用例库进行描述,保证该用例库的描述准确和无二义性。应用结果证明,该方法能提高测试用例的可复用性。
- 张娟童维勤蔡立志
- 关键词:形式化描述Z规格说明软件测试
- 基于两两覆盖准则的遗传算法测试用例生成被引量:2
- 2008年
- 软件参数的组合测试是发现参数组合问题的重要方法,但是参数组合测试面临着组合爆炸问题,成对测试可以有效降低测试成本。提出了一种基于遗传算法的成对测试生成方法,该方法用于选择当前局部优化覆盖的测试用例,在此基础上构建满足成对测试基准的测试用例套,结果表明该方法能在不降低测试覆盖精度的情况下有效降低了测试用例数量。
- 蔡立志童维勤杨根兴
- 关键词:遗传算法测试用例