写于 2018-11-08 06:10:02| manbetx手机网页版| 股票

选举委员会(Comelec)再次选择SLI Global Solutions(一家总部设在美国的公司)对自动选举系统(AES)的源代码进行审查和认证,该系统将在2016年5月全国和地方选举

“委员会批准了技术评估委员会(TEC)的建议

他们建议选择Systems Lab Inc.(SLI),该公司将在国外进行源代码审查

这将是国际认证实体,“Comelec专员Christian Robert Lim最近说

SLI Global是从TEC和Comelec顾问委员会(CAC)推荐的四家公司中选出的

它还审查并认证了2010年和2013年选举期间AES的源代码

Lim说,一旦他们为2016年5月的民意调查选择了他们喜欢的投票机,源代码审查就会开始,预计将持续五个月

去年7月30日,Smartmatic获得了17亿美元,用于租赁23,000台光学标记读取器(OMR)

然而,Smartmatic在同一天因涉嫌在2013年5月民意调查结束后数小时更改Precinct Count光学扫描(PCOS)机器的源代码而受到选举破坏指控

Comelec仍在对现有的81,896台PCOS机器进行翻新,并租用剩余的70,977台新OMR机组

“在计算中,[源代码]是使用某种人类可读的计算机语言编写的任何计算机指令集合[可能带有注释],通常是文本

“程序的源代码专门用于促进计算机程序员的工作,计算机程序员主要通过编写源代码来指定计算机要执行的操作

“[它]通常由编译器程序转换为计算机可理解的低级机器代码

然后可以存储机器代码以便稍后执行

或者,可以使用解释器直接分析和执行源代码程序的结果