如果您已经拥有本站账号,可以直接登录。
如果您已经拥有本站账号,可以直接登录。
如果您没有本站账号,可以注册。
021-61680661
MecoSuite 高安全软件验证集成套件
智能化与数字化正在成为军工装备的发展最重要的趋势。而智能化与数字化的落地最重要手段无疑是软件、软件、软件,甚至可以说“软件定义装备”。装备中越来越多的智能化、自动化功能由软件来实现,软件的规模越来越大、重要性越来越高。在借助软件追求装备智能化的同时,软件的质量与可靠性也同时成为了装备的研制和运行保障中质量与可靠性关注的重点。
针对军工和国防领域的高安全软件,GJB-Z 141-2004 《军用软件测试指南》,要求在装备开发中实施多个级别的软件测试(单元测试、部件测试、配置项测试等)和测试覆盖分析,以发现软件中潜在的错误。软件测试需要投入的工作量很大,测试数据的准备十分繁琐,测试周期长,投入比较多,通过MecoSuite套件来自动化软件测试将大幅降低手工测试工作量。
DO-178B/C(民用航空)、IEC-60880(核电)、EN50128(轨交)等行业标准均对软件测试、测试覆盖分析提出了类似的要求。
为此,MecoSuite提供了一系列软件工具,支撑软件单元测试、部件测试、配置项测试、结构覆盖率分析、部件耦合覆盖率分析、软件架构优化等,具体包括:
MecoSuite既可以支持软件动态测试的自动化,又可以协助用户从多个层面评估动态测试的充分性,如代码结构覆盖、部件间耦合覆盖,还可以协助用户进行软件架构的优化,降低部件耦合。
上一篇: 无