功能安全
登陆
注册
  • 首页
  • 知识
  • 资讯
  • 工具
  • 学堂
  • 活动
  • 合作
首页> 学堂> 共性技术课
  • 全部课程
  • 共性技术课
  • 领域专业课
  • 前沿拓展课
  • 耦合之殇,探讨软件设计中的隐疾

    耦合之殇,探讨软件设计中的隐疾

    上海控安 (在线课)

    2025-04-11 11:07

    1.数据耦合与控制耦合定义
    2.实例解析
    3.耦合度启示
    4.耦合度应用
    ……

    已有154人学习

  • 代码缺陷检查中的数据流分析技术

    代码缺陷检查中的数据流分析技术

    上海控安 (在线课)

    2025-03-10 14:40

    1.数据流分析的基本原理
    2.技术实现的关键维度
    3.数据流分析在代码缺陷检查中的应用示例
    4.挑战与优化方向
    ……

    已有110人学习

  • HTTPS对于网络安全的重要性

    HTTPS对于网络安全的重要性

    上海控安 (在线课)

    2025-02-08 16:28

    1.HTTP的背景及安全缺陷
    2.HTTPS的发展
    3.HTTPS的工作流程
    4.HTTPS的安全特性
    ……

    已有222人学习

  • 数据安全管理体系设计研究

    数据安全管理体系设计研究

    上海控安 (在线课)

    2024-12-27 16:58

    1.项目背景
    2.数据安全管理体系设计
    3.数据全生命周期安全
    4.基础安全
    ……

    已有217人学习

  • HTTP协议网络安全攻击

    HTTP协议网络安全攻击

    上海控安 (在线课)

    2024-12-16 16:35

    1.HTTP协议背景
    2.HTTP协议介绍
    3.常见攻击方式
    ……

    已有116人学习

  • 基于不同产品的软件测试策略

    基于不同产品的软件测试策略

    上海控安 (在线课)

    2024-11-26 13:46

    1.产品测试流程
    2.不同产品测试策略
    3.自动化测试的应用
    ……

    已有115人学习

  • 功能安全中软件的白盒测试-静态分析和单元测试揭秘(下)

    功能安全中软件的白盒测试-静态分析和单元测试揭秘(下)

    上海控安 (在线课)

    2024-09-29 15:37

    1.静态分析揭秘
    2.单元测试揭秘
    3.静态分析与单元测试的集成
    4.未来展望与总结
    ……

    已有132人学习

  • 功能安全中软件的白盒测试-静态分析和单元测试揭秘(上)

    功能安全中软件的白盒测试-静态分析和单元测试揭秘(上)

    上海控安 (在线课)

    2024-09-13 11:26

    1.静态分析揭秘
    2.单元测试揭秘
    3.静态分析与单元测试的集成
    4.未来展望与总结
    ……

    已有279人学习

  • Cybersecurity ASPICE实施策略-基于ISO/SAE 21434

    Cybersecurity ASPICE实施策略-基于ISO/SAE 21434

    上海控安 (在线课)

    2024-07-22 10:44

    1.背景介绍
    2.标准概述
    3.框架介绍
    4.实施策略
    ……

    已有188人学习

  • 形式化方法理论与应用初探

    形式化方法理论与应用初探

    上海控安 (在线课)

    2023-11-13 10:29

    1.形式化方法基本原理
    2.模型检查基本原理
    3.定理证明基本原理
    4.可满足性分析应用案例
    ……

    已有180人学习

  • 软件测试Oracle自动判定技术和探索

    软件测试Oracle自动判定技术和探索

    上海控安 (在线课)

    2023-08-21 14:55

    1. 软件测试技术的基本原理和Oracle自动判定问题
    2. 蜕变测试技术原理和应用案例
    3. 基于性质测试技术原理和应用案例
    ……

    已有184人学习

  • 形式化方法的工程化及国产工具研发与应用

    形式化方法的工程化及国产工具研发与应用

    上海控安 (在线课)

    2023-07-07 11:48

    1. 软件工程与形式化方法简介
    2. 形式化方法在工程中落地的机遇与挑战
    3. 形式化工程方法的实践案例
    ……

    已有603人学习

  • 耦合之殇,探讨软件设计中的隐疾

    上海控安
    免费
  • 代码缺陷检查中的数据流分析技术

    上海控安
    免费
  • HTTPS对于网络安全的重要性

    上海控安
    免费
  • 数据安全管理体系设计研究

    上海控安
    免费
  • HTTP协议网络安全攻击

    上海控安
    免费
  • 基于不同产品的软件测试策略

    上海控安
    免费
  • 功能安全中软件的白盒测试-静态分析和单元测试揭秘(下)

    上海控安
    免费
  • 功能安全中软件的白盒测试-静态分析和单元测试揭秘(上)

    上海控安
    免费
  • Cybersecurity ASPICE实施策略-基于ISO/SAE 21434

    上海控安
    免费
  • 形式化方法理论与应用初探

    上海控安
    免费
  • 软件测试Oracle自动判定技术和探索

    上海控安
    免费
  • 形式化方法的工程化及国产工具研发与应用

    上海控安
    免费
《 上一页 12 3 4 5 下一页 》
  • 完善信息
提交

已完成

数据加载中

  • 验证码登录
  • 账号登录
欢迎!登录您的账户
获取验证码
立即登录

没有账号,立即注册>

欢迎!登录您的账户
立即登录

没有账号,立即注册>忘记密码

  • 用户注册
欢迎注册
获取验证码
提交
我同意《用户使用协议》

已有账号,去登录

请选择你感兴趣的标签
  • 可信软件
  • 智能网联汽车
  • 自动驾驶
  • 网络安全
  • 汽车软件
  • 预期功能安全
  • 信息安全
  • 功能安全
  • 水务
  • 航空航天
  • 汽车电子
  • 电气机械
  • 轨道交通
  • 自动驾驶
  • 忘记密码
获取验证码
提交

返回登录

  • 51fusa安全社区
    地址:上海市普陀区同普路1030号1号楼3层
    邮编:200333
    电话:021-62655886
    邮箱:marketing@ticpsh.com
  • 合作伙伴

    上海控安 启明星辰知白讲堂 SHCERT 数字工业知识中心 中国汽研北京分院 上汽培训中心 上海软件中心 赛宝认证中心 SAE International ATC 富士通南大 TUV NORD SGS 焉知汽车 普华基础软件 机械工业出版社 工业得到 博勘咨询 BSI英标 上汽零束开发者平台 亚远景 匠歆

沪公网安备31010702008313号 沪ICP备18019345号-2 © 2019 上海工业控制安全创新科技有限公司 保留所有权利