首页
Python
Java
前端
数据库
Linux
Chatgpt专题
开发者工具箱
观模专题
鉴源论坛 · 观模丨嵌入式实时操作系统的形式化验证
作者 | 郭建 上海控安可信软件创新研究院特聘专家 版块 | 鉴源论坛 · 观模 生活在信息时代的今天,信息技术的发展日新月异。软件系统作为信息技术的核心,在轨道交通、汽车电子、医疗器械、航空航天等安全攸关领域有着广泛的应用。由于软件安全的问题而导致的恶劣事件是屡见不鲜。2017年上半年的WannaCry勒索病毒全球大爆发,给全球超过150个国家、30万名网络用户带来了超过80亿美元的损失
阅读更多...
鉴源论坛 · 观模丨软件单元测试真的有必要吗?(上)
作者 | 包丹珠 上海控安产品总监 版块 | 鉴源论坛 · 观模 社群 | 添加微信号“TICPShanghai”加入“上海控安51fusa安全社区” “软件单元测试真的有必要吗?”专题将分为上下两期,深度详解软件单元测试的重要意义,分享目前行业内进行的单元测试探索与实践。本文着重探讨单元测试的重要性及其正面临的困境,并介绍功能安全标准中罗列的单元测试方法。 01 前言 元宇宙
阅读更多...
鉴源论坛 · 观模丨基于软件性质的自动化测试技术
作者 | 熊一衡 华东师范大学软件工程学院博士 苏亭 华东师范大学软件工程学院教授 版块 | 鉴源论坛 · 观模 社群 | 添加微信号“TICPShanghai”加入“上海控安51fusa安全社区” 在软件开发的生命周期中,测试是至关重要的一环。为了确保软件产品的质量,开发团队需要进行全面的测试,以发现和修复软件中潜在的缺陷和问题。传统的人工测试虽然有效,但却耗时耗力
阅读更多...