基于AADL的模型设计与仿真分析技术 AADL（Architecture Analysis and Design language）是一种应用于嵌入式系统领域的体系结构建模语言，支持航空、航天、汽车等领域复杂实时的安全关键系统的设计与分析。AADL具有语法简单、功能强大、可扩展等优点，能够对嵌入式软件的功能和非功能属性进行建模...
词法语法分析器EDG C++ EDG C++简介 EDG C++前端（front end）于1992年首次发布，支持ISO/IEC 14882:2003的C++。通过调整命令行参数，前端还可以支持ANSI/ISO C（包括C89和C99以及Embedded C TR）、Microsoft C/C++、GNU C/C++...
应用安全测试DefenseCode 应用程序在发布之前以及之后在每次更新升级时，都应针对安全漏洞进行适当的测试。安全性测试人员固然可以人工完成测试，但明显存在测试效率和测试充分性的问题，复杂程序的人工测试需要花费大量时间，而且即使花费了这么多时间也有可能因为程序的复杂性而遗漏了安全漏洞。而且每一次重要的代码更新因为可能引入新的安...
EXOSTIV波形调试器—为FPGA提供创新型调试解决方案 FPGA调试是电子系统设计中不可或缺的重要环节，流程涉及多种技术、工具，而工程师的关键工作在于选择正确的技术以更高效实现项目目标。随着FPGA设计的功能趋于复杂，规模逐渐变大，传统的调试手段有着透视性差，无法调试内部信号，调试速度慢等缺陷，已无法满足现阶段的需求，因此寻找一种更为高效适配...
STOOD实时系统架构建模与验证工具 近年来，随着硬件设备计算能力的不断提高，性能关键实时系统的规模和复杂性急剧增加，导致其开发成本和非功能属性的要求也越来越高，这对其开发中的设计合理性，验证完备性以及开发效率等方面都带来了一定的挑战。STOOD工具，可对自动飞行系统进行架构设计，并对模型进行可调度分析及进行运行时的方针...
McCabe软件度量与结构化测试工具 McCabe 简介 McCabe IQ是软件质量管理解决方案，为用户提供软件质量度量、软件结构分析、动态结构化测试的全面支持，世界上很多重要组织和公司采用McCabe IQ的质量管理套件，对其开发的关键软件进行质量分析和覆盖率测试。McCabe IQ的框架基于底层优秀的EDG源代码分析...
WhiteSource-开源代码安全检测工具 随着在开发应用系统过程中，企业运用开源软件的比例越来越高，其中衍生出的软件管理问题也越来越多，但市面上针对开发端所提供的软件管理工具却屈指可数，使得软件团队只关注其检测自主代码的潜在问题，往往忽视了对开源组件中已知漏洞的检查。而在使用开源组件时，企业必须要确保遵循所有组件包括传递性依赖库的许可...
旋极集团“智慧防务”网站正式上线！ 旋极集团四大业务板块（智慧防务、智慧城市、金融税务、时空大数据）之一的“智慧防务业务网站”正式上线！目前，网站上线4小时候后访问量破千次。http://www.softtest.cn/ 智慧防务业务以旋极第一事业部的业务为主，并与集团下属相关分子公司的业务相融合，凭借长期的研发经验和对国...
关注
