多(duō)核处理(lǐ)器软件自动并行化技(jì )术

信息技(jì )术的发展对CPU的处理(lǐ)能(néng)力提出了更高的要求，处理(lǐ)器从单核向多(duō)核发展，从物(wù)理(lǐ)上实现了并行计算，大大提高了计算能(néng)力。但是，相应的软件开发方法由于受到人类思维活动方式的限制，很(hěn)难实现并行化编程。
本软件工(gōng)具(jù)能(néng)够分(fēn)析传统的软件代码，自动提取并行化代码，自动估算代码执行时间，按照总體(tǐ)性能(néng)最优策略，给出多(duō)核并行执行的方案。本软件工(gōng)具(jù)还能(néng)够让用(yòng)户根据自己的需要调整并行执行方案，在调整的同时可(kě)以实时看到总體(tǐ)效率的变化，实现各个核上的任務(wù)执行仿真。
本软件工(gōng)具(jù)是针对基于多(duō)核处理(lǐ)器软件开发的辅助设计工(gōng)具(jù)，可(kě)以大大提高多(duō)核处理(lǐ)器软件的开发效率。

软件Bug自动定位技(jì )术

在可(kě)靠性要求非常高的领域，比如汽車(chē)電(diàn)子、轨道交通、核電(diàn)站、航空航天等领域，对软件Bug的容许率是非常低的，企业在开发中(zhōng)用(yòng)于Bug测试定位所花(huā)的成本占比非常高。随着代码规模的扩大，发布周期的缩短，单纯的人工(gōng)测试，发现错误，排查错误将不能(néng)满足发展的需求。本工(gōng)具(jù)集成代码编辑IDE，动态调试环境，编译与执行测试环境，高效率开发的同时，并且能(néng)够自动发现软件代码逻辑的错误，大大提高了开发效率。
市面上，面向于C语言的静态分(fēn)析工(gōng)具(jù)往往解决的是一些代码书写规范，数组越界，空指针等常规问题。本工(gōng)具(jù)通过测试源代码，根据代码输出与预想结果的比较，检查每一行代码，深度分(fēn)析代码间复杂的交互，高精(jīng)度分(fēn)析，发现真正的错误缺陷代码。改变了传统的测试代码，人為(wèi)手工(gōng)分(fēn)析排查错误的开发模式，大大节省了寻找错误代码的时间。

大型高可(kě)靠性软件的过程管理(lǐ)和测试验证

在轨道交通、航空航天等领域，软件的规模很(hěn)大、同时可(kě)靠性要求非常高，通常称為(wèi)苛求系统（Critical Systems）。
按照國(guó)际标准IEC61508以及EN50128对软件开发的要求，采用(yòng)V模型对软件开发过程进行管理(lǐ)。本团队和某上市公(gōng)司合作(zuò)，对某大型高可(kě)靠性软件的开发全流程规划、开发团队组建、开发进度管理(lǐ)、软件品质(zhì)管理(lǐ)进行了规划和具(jù)體(tǐ)实施，确保了软件开发成功，通过了英國(guó)劳氏公(gōng)司的國(guó)际最高等级安(ān)全认证。
同时本团队接受委托，对该软件的功能(néng)和性能(néng)进行了全面的测试验证，具(jù)體(tǐ)包括各个模块的详细测试、基于白盒的覆盖率测试、系统集成接口测试、系统测试，也包括了认证过程中(zhōng)涉及的代码、各种需求文(wén)档、设计文(wén)档、测试报告等内容的验证和确认（Verify & Validate)。