程序 » 主旨

提供软件维护作为一种离岸服务

Harry Sneed Photo

Harry M. Sneed
雷根斯堡大学, 德国 /
ANECON GmbH, 奥地利

星期二,9月30日,09:15–10:30

摘要

此主旨发言面向亚洲及南美洲新兴的软件服务组织以及东欧的软件外包公司。发言总结了许多西方用户经常陷入的传统的软件陷阱并将讨论东方软件工厂将如何帮助他们。发言人将着重讨论运行一个远程软件维护项目所必需的软件过程,技术以及工具,以及外包服务的法律和经济方面的问题。发言人将与大家分享他本人在如何建立良好的客户关系以及如何收取对客户和服务提供商都合理的费用方面的宝贵经验。

简历

作为一个工业界的活跃分子,Sneed不仅仅是一个测试工程师,软件维护工程师,项目管理者和咨询顾问,他还是一个软件工程领域的研究者和授业者。他于1983年第一次参加ICSM年会并累计发表了20余篇大会论文。在2005布达佩斯ICSM年会上,他当选为大会主席。并从此以后成为ICSM筹委会的固定成员。在1997年,他成为欧洲软件维护和再工程大会的发起者并从此以后参加了每一届年会。在2002年,他成为在布达佩斯召开的CSMR年会的大会主席。他还是程序理解年会,软件反向工程年会以及若干软件测试年会的积极参与者。他在IEEE通讯及其他与软件维护和进化相关的国际刊物上发表了60余篇文章。他还用德语发表了75篇文章和18本专著。内容涵盖软件维护,软件再工程,软件迁移和测试以及软件费效估计。他最近的专著包括软件维护管理,系统测试和SOA迁移等。从2000年开始,他在雷根斯堡大学教授软件工程等课程。他还在德国和奥地利的几所大学教授软件维护和软件测试课程。Sneed于1976年加入了IEEE和ACM协会,在1978年,他成为了德国信息学会的会员并在2005年成为该学会院士。 IEEE在1996年对他在软件再工程领域的贡献给予了表彰。作为一个活跃的软件测试业者,他还是奥地利和匈牙利测试理事会的成员。


在Unifying Theory of Programming中的测试案例产生于精化

Ji-Feng He Photo

何积丰
华东师范大学,中国

周三,10月1日,09:15–10:30

摘要

此主旨发言将为大家呈现集成在Hoare和He的Unifying Theory of Programming中的一种测试理论。我们把测试案例看作规范前言因而具有指称语义。这样,通过 规范和程序细化我们可以把测试案例联系起来。基于这种细化,我们提出一种基于错误的测试理论。这个理论分析用于测试不存在指定错误的测试数据。例如,变异测试是一种著名的基于错误的测试技术。首先,通过改变程序代码引入错误。然后,设计可以检测出这些错误的测试案例。这项技术基于一个假设。那就是,这些测试案例将能够检测到其他的错误。我们应用变异技术去改变规范和程序。我们的测试理论包含两种产生用于检测人为引入错误的新测试案例的方法:一种是基于设计规范的语义,另一种则是基于程序语言的代数特性。

简历

何积丰,中国科学院院士。现为华东师大终身教授、博导、软件学院院长,上海市科学协会副主席,上海市嵌入式系统研究所所长,上海计算机学会学术委员会副主任,全国高等师范学校计算机教育研究会名誉理事长,国际形式化工程协会主席,并先后被聘为复旦大学、南京大学、上海交通大学、浙江大学兼职教授。曾在美国斯坦福大学、旧金山大学做访问学者。曾任牛津大学客座教授、联合国大学国际软件技术研究所高级研究员。近年来,其先后获得国家自然科学二等奖、上海市教学名师、上海市五一劳动奖章和上海市劳动模范等荣誉。近期又担任了国家自然科学基金委“可信软件”重大研究计划首席科学家,并被科技部聘任为973“海量信息的协同性和可生存性的理论与实践研究” 项目的首席科学家。他在国际刊物和国际会议上发表的论文140余篇,在国际计算机科学领域产生重要影响。


http://www.icsm2008.org.cn/program-k.html
版权 © 2008 ICSM