在软件编码阶段,当编写出一个模块后,通常要对它进行必要的测试(称为单元测试),这时测试与编码属于同一个阶段。在编码阶段结束后,对软件系统还要进行各种综合测试(集成测试与系统测试),这是一个独立阶段,即软件测试阶段。在这个测试阶段又有两种性质不同的测试:研制单位内部进行的集成测试和系统测试与用户(或第三方)进行的验收性测试。 在软件测试生命周期内,错误在软件开发的每个阶段都可能被带入。...
近日,中科院软件所软件工程中心数据库系统可靠性保障团队的两篇论文被ICSE 2023接收。ICSE(International Conference on Software Engineering)是软件工程领域的顶级国际会议,迄今已经举办45届。研究成果聚焦数据库系统在SQL语句、事务执行方面的正确性,是该研究团队在数据库系统可靠性保障方向的新探索。...
郑国梁教授从事计算机教学、科研工作四十余年,上世纪60年代参加研制我国第一个可用的编译系统(J-501机上的ALGOL-60编译系统),填补了我国在这一领域的空白;上世纪70年代参加研制DJ200系列机XCY语言编译系统,获1985年电子工业部科技成果一等奖;上世纪80年代初在南京大学开拓软件工程研究方向,创建软件工程研究组,带领师生先后研制了异种高级程序设计语言之间自动转换工具、软件设计与测试工具...
刘哲在第44届IEEE/ACM软件工程国际会议获得会议冠军,并于今年4月参加全球总决赛,参赛学生分别来自麻省理工大学、康奈尔大学、卡内基梅隆大学、多伦多大学等高校及科研院所。刘哲刘哲获SRC研究生组全球总决赛冠军01解软件测试与修复之“痛”刘哲的研究方向是群智驱动的软件测试技术,通俗来说,是使用人工智能来解决软件测试过程用遇到的问题。...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号