航空航天和国防 可靠、安全、可靠?Ada和VxWorks可以提供帮助! 由客座撰稿人Ben Brosgol,高级技术人员,AdaCore编写可靠,安全和安全的软件是困难的。用于认证要求苛刻的硬实时系统… 2年前 • 3分钟阅读
操作系统的部 基于自动化需求的测试,由QA系统Cantata与风河工作台 质量保证系统有限公司市场经理Jasmine Williams说,定义和实施的需求不完善会导致昂贵的项目返工。基于需求的测试有助于确保代码执行wha… 3年前 • 4分钟阅读
行业合作伙伴 GrammaTech CodeSonar为Wind River Workbench带来了先进的静态分析能力 GrammaTech CodeSonar与Wind River Workbench的集成,使软件开发人员能够在不留下代码的情况下注释和解决CodeSonar突出的bug和软件漏洞。 3年前 • 1分钟读
应用生命周期管理 工具在改善嵌入式软件安全性中的作用/第3部分:将工具映射到活动 在本系列的前两篇文章中,第1部分:自动化是关键,第2部分:安全性改进和软件开发生命周期,我谈到了ty… 8年前 • 1分钟读