|
近日，依托北京理工大学组建的软件安全工程技术北京市重点实验室，与葡萄牙关键软件（Critical Software）公司就软件安全问题进行深入的技术交流与讨论。
重点实验室主任胡昌振介绍并展示自主研发的Darkhorse（黑马平台）、STEAMS（软件测评辅助管理平台）、SMAT（建模仿真分析工具）和CA_SCMT（航天型号软件配置管理工具），该工具和系统平台覆盖需求、设计、编码及测试四个阶段，提供模型编辑、模型检查、质量度量、模型转换、文档生成等功能，可以加速软件开发的使用和研制，提高软件开发的效率和质量。
葡方介绍了其在2011年双方合作备忘录签署之后的工作进展以及研发的一系列产品，如csSpaceAqua、 csTestOO、csXpy 和 csXception，以及产品在美国、巴西以及欧洲国家相关工程中的应用情况。
同时，双方还就下一步合作内容进行深入讨论，明确具体的合作事项与方式。
|
