高可信动态
2023
9月13日
近日，安徽省经信厅、省发展改革委、省住房城乡建设厅、省农业农村厅、省商务厅、省文化和旅游厅六部门正式发布2023年度安徽省“专精特新”中小企业认定公告，安徽中科国创高可信软件有限公司（以下简称“中科国创”）被认定为安徽省“专精特新”中小企业称号。这是中科国创继获批“安徽省创新型中小企业”后，获得的又一殊荣。
9月07日
9月7日，中央电视台财经频道《经济半小时》栏目播出《转化路上“勇闯关”，科技成果“结硕果”》新闻专题，聚焦安徽合肥多家科技企业。该专题从科技成果自实验室走向生产线，再到摆上货架，实现科技与产业双向奔赴的角度出发....
7月29日
近日，省委政研室一行莅临科大国创，对企业发展情况进行深入调研。调研组一行来到科大国创展厅，饶有兴致地听取了公司数字行业应用相关业务的介绍。其中，对科大国创自主研发的高可信软件技术创新成果给予充分的肯定与认可。
5月23日
近日，“先进装备软件高安全、高可靠、智能化验证技术研讨会”在南京圆满落下帷幕。此次研讨会吸引了来自全国各地的专家、学者和国内厂商，共同探讨了先进装备软件验证技术的最新发展和应用......
4月28日
4月28日，为期三天的第二届中国（安徽）科技创新成果转化交易会（以下简称科交会）在安徽合肥落下帷幕。中科国创高可信公司自主研发的USTCHCS高可信软件分析工具、验证工具作为国家科技计划项目成果受邀亮相高水平科技创新成果展区。......
03月08日
3月8日，中科国创高可信市场营销中心周洋、单心一行赴安徽科技学院信息与网络工程学院考察调研。信息与网络工程学院党委书记王振其、院长余宏杰等领导陪同调研......
01月13日
一元今复始,春风又一重。为感谢高可信全体员工一年来的辛勤付出，中科国创高可信于1月13日举办了“2022年度总结表彰大会”，苏州、合肥两地员工在“云端”聚首，庆贺2022年丰硕成果，奏响2023崭新乐章......
11月25日
在全球新一轮数字化、智能化浪潮下，软件发展面临着新的机遇与挑战，特别在智能机器人、智能汽车、无人工厂、军工、航天、核电等安全攸关行业领域，开发可靠安全性和保密安全性标准极高的高可信软件，具有重要的战略意义......
11月19日
当前,全球新一轮科技革命和产业变革正加速演进，新一代信息技术及其深度应用已经推动人类社会步入到新的发展阶段，数字经济成为发展的新引擎，将引领未来发展。在数字经济时代，软件技术已经成为企业的核心竞争力......
11月03日
当前，全球新一轮科技革命和产业变革正加速演进，数字经济成为发展的新引擎，将引领未来发展。在“软件定义一切”的时代，未来社会经济高质量的发展，都离不开软件技术的支撑。特别是在航空航天、国防装备、核能、金融、交通、智能机器人、智能汽车、无人工厂、医疗等安全攸关的应用领域，开发
高可信的软件成为迫切的需求和挑战......
10月29日
当前，全球新一轮科技革命和产业变革正加速演进，数字经济成为发展的新引擎，将引领未来发展。在“软件定义一切”的时代，未来社会经济高质量的发展，都离不开软件技术的支撑。特别是在航空航天、国防装备、核能、金融、交通、智能机器人、智能汽车、无人工厂、医疗等安全攸关的应用领域，开发
高可信的软件成为迫切的需求和挑战......
10月10日
在这个秋天，国内首个集信息共享、协同创新、大数据分析于一体的技术转移公共服务平台——“安徽合肥技术转移公共服务平台”对外发布。在发布活动现场，由科大国创牵头建设的安徽中科国创高可信软件有限公司成功入选首批合肥高新区以企业为主体协同创新平台项目......
08月28日
近期，USTCHCS高可信分析工具集与麒麟软件完成产品兼容性互认证。测试结果显示，高可信软件在银河麒麟桌面操作服务器操作系统上顺利安装，运行稳定，这标志着麒麟软件和高可信软件在软件安全性的国产化建设上得到进一步成长......
08月20日
LLVM社区有完善的单元测试和开发流程，并且对编码规范有比较高的要求。LLVM编译器本身自带静态检查工具，但仍存在许多未能发现的、甚至看似很低级的缺陷。LLVM
11.0版本即将发布，我们所报告的32个问题中有31个存在于最新开发分支代码中......
07月31日
最近，我的同事们在内部代码评审中对我代码冗长的注释颇有微词。确实，我在所谓的美化方面投入越来越多的心思。编程规约有不好的，当然也有好的，但它们终究是主观的......
07月14日
MISRA （汽车工业软件可靠性联会）是英国的一个跨国汽车工业协会。其核心使命是为汽车工业提供服务和协助，帮助厂方开发安全的、高可靠性的嵌入式软件。......
06月24日
USTCHCS Bestpractice最佳实践分析规则集是基于国际标准以及编程规范等，并结合我司研发团队研发经验总结而成的C/C++程序分析规则集。......
06月12日
USTCHCS高可信分析工具集提供多种国际/国家/行业标准（MISRA C/C++，AUTOSAR
C++，SJ/T）相关分析工具可以使用在代码开发、代码测试、......
05月25日
安徽中科国创高可信软件有限公司源自中国科学技术大学，是一家专业从事高可信软件技术产品研发，提供助力企业软件质量提升的解决方案、咨询与技术服务的高科技企业......
05月18日
编程和好的编程并不是一回事。编程我们一直在做，但是时候去做好的编程了。事实上糟糕的代码照样能运行，但却浪费了原本用于改进项目的时间和资源......
05月09日
身为老板的你，是否想过为什么开发人员即使996的努力熬夜加班帮你实现人生理想，产品却还总是延期推出？那他们的时间都去哪了？是搞副业？还是上班摸鱼？......
04月30日
随着软件越来越复杂，软件的迭代周期越来越短，传统测试的诸多弊端越来越明显。我们都知道问题发现的越晚，修改越难而且代价越高。除了功能测试之外......