1983年IEEE提出的软件工程术语中给软件测试下的定义是:“使用人工或自动的手段来运行或测定某个软件系统的过程,其目的在于检验它是否满足规定的需求或弄清预期结果与实际结果之间的差别”。这个定义明确指出:软件测试的目的是为了检验软件系统是否满足需求。 从用户的角度来看,普遍希望通过软件测试暴露软件中隐藏的错误和缺陷,所以软件测试应该是“为了发现错误而执行程序的过程”。...
近日,中科院软件所软件工程中心数据库系统可靠性保障团队的两篇论文被ICSE 2023接收。ICSE(International Conference on Software Engineering)是软件工程领域的顶级国际会议,迄今已经举办45届。研究成果聚焦数据库系统在SQL语句、事务执行方面的正确性,是该研究团队在数据库系统可靠性保障方向的新探索。...
郑国梁教授从事计算机教学、科研工作四十余年,上世纪60年代参加研制我国第一个可用的编译系统(J-501机上的ALGOL-60编译系统),填补了我国在这一领域的空白;上世纪70年代参加研制DJ200系列机XCY语言编译系统,获1985年电子工业部科技成果一等奖;上世纪80年代初在南京大学开拓软件工程研究方向,创建软件工程研究组,带领师生先后研制了异种高级程序设计语言之间自动转换工具、软件设计与测试工具...
据多位网友举报称,湖南大学软件工程专业2018届毕业生侯伟的硕士学位论文《企业协同办公系统的设计与实现》,涉嫌抄袭电子科技大学光电科学与工程学院硕士毕业生杨姝妍的学位论文《基于J2EE的企业协同办公系统的设计与实现》,两篇论文重复率近100%。 ...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号