ANNUAL REPORT - Laboratory for Internet Software Technologies
ANNUAL REPORT - Laboratory for Internet Software Technologies
ANNUAL REPORT - Laboratory for Internet Software Technologies
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>ANNUAL</strong> <strong>REPORT</strong><br />
<strong>Laboratory</strong> For <strong>Internet</strong> <strong>Software</strong> <strong>Technologies</strong><br />
Institute Of <strong>Software</strong> Chinese Academy Of Sciences<br />
2011
04<br />
<br />
PROFILE<br />
30<br />
<br />
ACADEMIC EXCHANGES<br />
AND COOPERATION<br />
08<br />
10<br />
10<br />
12<br />
14<br />
16<br />
18<br />
20<br />
20<br />
25<br />
28<br />
<br />
RESEARCH<br />
2.1 <br />
Research Areas<br />
2.1.1 <br />
<strong>Software</strong> Process Engineering<br />
2.1.2 <br />
Requirement Engineering<br />
2.1.3 <br />
Empirical <strong>Software</strong> Engineering<br />
2.1.4 <br />
<strong>Software</strong> Testing Automation<br />
2.2 <br />
Research Projects<br />
2.3 <br />
Research Achievements<br />
2.3.1 <br />
Achievements in Scientific Research<br />
2.3.2 <br />
Publications<br />
2.3.3 <br />
<strong>Software</strong> Copyrights and Patents<br />
32<br />
32<br />
35<br />
37<br />
39<br />
44<br />
44<br />
45<br />
3.1 <br />
International Exchanges and Cooperation<br />
3.1.1 <br />
Hosted International Conferences<br />
3.1.2 <br />
Joint Workshops<br />
3.1.3 <br />
Joint Laboratories<br />
3.1.4 <br />
Exchanges and Visits<br />
3.2<br />
Domestic Cooperation<br />
3.2.1 <br />
Domestic Academic Cooperation<br />
3.2.2 <br />
Domestic Industry Cooperation
CONTENTS<br />
<br />
46<br />
<br />
Education<br />
54<br />
<br />
Lab Culture<br />
48<br />
48<br />
49<br />
4.1 <br />
Degree Programs<br />
4.2 <br />
Graduate Education<br />
4.3 <br />
2011 Graduates<br />
56<br />
iT echser<br />
What iTechsers Say<br />
50<br />
52<br />
<br />
Personnel Training and<br />
Team Construction<br />
5.1 <br />
New Associate Professors
PROFILE<br />
<br />
2011<br />
Barry Boehm75<br />
<br />
International Journal of <strong>Software</strong> and In<strong>for</strong>matics IJSI<br />
Symposium of <strong>Software</strong> and System<br />
Engineering Honor of Prof. Barry W. Boehm2<br />
Leon J. OsterweilLori ClarkeFraunhofer<br />
Dieter RombachRoss JefferyIBM<br />
RationalWalker Royce•<br />
Neil Siegel<br />
Guenther Ruhe<br />
RuheTRLabs<br />
ACMIEEE2008<br />
IBM Faculty award<br />
<br />
<br />
<br />
<br />
863973<br />
<br />
<br />
201162<br />
194711<br />
611527<br />
33.8 <br />
20113<br />
181<br />
<br />
Founder and Chief Scientist,<br />
Mingshu Li<br />
619<br />
33<br />
<br />
<br />
<br />
13<br />
<br />
<br />
<br />
4<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 5<br />
<br />
Director, Qing Wang<br />
In 2011, the beginning of the new decade, iTechs had a fruitful year.<br />
In April, to celebrate the 75th birthday of our respectable old friend Dr. Barry Boehm and<br />
in honor of his distinguished contribution to the software engineering community, iTechs<br />
cooperating with International Journal of <strong>Software</strong> and In<strong>for</strong>matics successfully held the<br />
Symposium of <strong>Software</strong> and System Engineering —— Honor of Prof. Barry W. Boehm<br />
under ISCAS's support. The two-day symposium featured keynotes and research papers.<br />
Numerous experts and scholars in SE field were invited including Professor Leon J. Osterweil<br />
and Professor Lori Clarke with University of Massachusetts Amherst, USA, Professor Dieter<br />
Rombach, the Director of Fraunhofer Institute of Empirical <strong>Software</strong> Engineering, Germany,<br />
Professor Ross Jeffery with University of New South Wales, Australia, Mr. Walker Royce,<br />
Chief software economist of IBM Rational, Mr. Neil Siegel, Chief Engineer and Vice President<br />
of Northrop Grumman Corp., USA and et al..<br />
In May, Professor Guenther Ruhe, Chair of <strong>Software</strong> Engineering Industrial Research<br />
Association visited iTechs <strong>for</strong> two months and established the long-term academic<br />
cooperation with iTechs. Professor Ruhe is the scientist with In<strong>for</strong>mation Communication<br />
Technology Center of TRLabs and the Fellow with ACM, IEEE and German In<strong>for</strong>mation<br />
Society. He has won the IBM Faculty Award in 2008. This academic visit was supported by<br />
the CAS Visiting Professorship <strong>for</strong> Senior International Scientist.<br />
In September, based on the previous research collaboration, iTechs <strong>for</strong>mally signed the<br />
agreement to establish the ISCAS/NICTA Joint <strong>Laboratory</strong> with NICTA. The joint laboratory<br />
will conduct extensive research cooperation on software architecture, <strong>for</strong>mal methods and<br />
system, cloud computing, business and software process, etc.<br />
iTechs has accomplished three key research projects and successfully passed the<br />
acceptance examinations respectively by NSFC, 863 Program and 973 Program in April,<br />
June and November. Excellent results have been achieved in the examinations.<br />
In November, the research outcome "<strong>Software</strong> Requirement Evolution Modeling and<br />
Management System" won the Second Prize of Beijing Science and Technology Progress<br />
Award.<br />
2011 is also the transitive and developing year <strong>for</strong> the Lab. There are 62 regular members<br />
including 19 faculty and staff, 1 postdoc, 15 Ph.D. students, 27 graduated students. The<br />
average age of faculty is 33.8 years old which represents a youthful and vibrant group.<br />
In 2011, our group has published a series of high-quality research papers, including<br />
1 publication, 3 papers in international journals, 18 papers in international academic<br />
conferences, 1 paper in first-class domestic journals, 6 patents under authorization or<br />
application, and 19 software copyright authorizations.<br />
Three young researchers have received NFSC Youth Project Awards and have been<br />
promoted as Associate Professors.<br />
Guided by the concept that the research should serve the society and industry, we have<br />
devoted the ef<strong>for</strong>ts to take our technologies and ideas to the industry, to the universities<br />
and to the society.<br />
During the 13-year development, iTechs always follows the "With Innovation and Practice,<br />
Head <strong>for</strong> the Excellence" spirit. Innovation is our development source, and Practice is our<br />
solid foundation and Excellence is our ultimate goal. Although there is still a long way to go,<br />
we are willing to strive with all of our friends to a more successful tomorrow.
ORGANIZATION<br />
STRUCTURE<br />
<br />
<br />
Chief Scientist: Mingshu Li<br />
<br />
Director: Qing Wang
GRADUATE COMMITTEE<br />
<br />
<br />
Chen Zhao<br />
<br />
Leader: Mingshu Li<br />
<br />
Qing Wang<br />
<br />
Ye Yang<br />
<br />
Yongji Wang<br />
<br />
Empirical <strong>Software</strong> Engineering<br />
Research Group<br />
<strong>Software</strong> Process Engineering<br />
Research Group<br />
Requirement Engineering<br />
Research Group<br />
<br />
Testing Automation Research<br />
Group<br />
<br />
Deputy Director: Ye Yang<br />
Leader: Junchao Xiao<br />
<br />
Leader: Juan Li<br />
<br />
Leader: Yunzhi Xue
RESEARCH
RESEARCH AREAS<br />
2.1 <br />
<strong>Software</strong> Process Engineering<br />
2.1.1 <br />
<br />
<br />
Leader of <strong>Software</strong> Process Engineering Research Group:<br />
Junchao Xiao, Associate Professor<br />
10<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011<br />
<br />
<br />
<br />
The primary goal of our research, including the representation, instantiation, simulation and enactment of<br />
software processes, is to construct sound software process models, provide concrete guidance to actual software<br />
development activities, and thus significantly improve the quality of final software products.<br />
<br />
Research topics<br />
<br />
<br />
<br />
Modeling the software process with <strong>for</strong>mal methods to avoid<br />
ambiguities and inconsistencies in non-<strong>for</strong>mal ones and laying a<br />
foundation <strong>for</strong> the analysis and execution of process models.<br />
Modeling the capabilities of organization entities based on the<br />
agent autonomous and inferring mechanism to increase the<br />
flexibility and intelligence of software process models.<br />
Identifying and describing different uncertain factors which affect<br />
Agent<br />
software process execution. Finding the evolution characteristics<br />
<br />
of uncertainties, and building the uncertainty model <strong>for</strong> software<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
process.<br />
Automatic and optimized resource scheduling <strong>for</strong> given tasks and<br />
resources in disruption prone systems.<br />
Simulation of instantiated software process models with stochastic<br />
process algebras, discrete event simulation and stochastic model<br />
checking to discover the dynamics of software processes.<br />
Mining process models from various kinds of execution logs to<br />
learn how a defined process model is implemented.<br />
Identifying and defining activities as well as their metrics involved<br />
<br />
in the process of legacy systems migration to cloud environments<br />
<br />
<br />
so as to establish a systematic and measurable legacy systems<br />
migration process to guide the industry practices.<br />
<br />
Faculty includes Prof. Mingshu Li, Prof. Qing Wang, Prof. Yongji<br />
<br />
<br />
<br />
Wang, Assoc. Prof. Junchao Xiao, Assoc. Prof. Qiusong Yang, Assis.<br />
Prof. Jian Zhai. Students include Hong Wu, Hua Wan, Jie Chen,<br />
Xin Dong, Jialiang Dong, Ke Li, Yang Su, Miao Xie, Xiaochen Chai,<br />
淼 <br />
玥 Wuyuan Zhao, Weiheng Li, Xinyue Feng,Hanyu Wu, Pengying Zhou.
Requirement Engineering<br />
2.1.2 <br />
<br />
<br />
<br />
<br />
<br />
<strong>Software</strong> development is considered to be a dynamic process where demands <strong>for</strong> changes seem to be inevitable.<br />
A variety of factors may contribute to requirements evolution including requirements vagueness and inaccuracy,<br />
technological limit and changing software usage scenarios. Requirements evolution is one major driver <strong>for</strong><br />
software evolution. Frequent requirements evolution may result in the decreased quality, schedule slippage and<br />
cost overrun, so requirements evolution is a primary risk in large and complex projects management.<br />
<br />
<br />
Leader of Requirement Engineering Research Group:<br />
Juan Li, Associate Professor<br />
12<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 13<br />
<br />
Research topics<br />
<br />
<br />
<br />
<br />
Requirements evolution modeling <strong>for</strong> networked software<br />
Requirements evolution measurement<br />
Requirements negotiation<br />
Requirements evolution data mining<br />
<br />
<br />
<br />
Faculty includes Prof. Mingshu Li, Prof. Qing Wang, Prof. Yongji<br />
Wang, Assoc. Prof. Juan Li, Da Yang, Hao Zhong. Students include<br />
Lin Shi, Qiang Cui, Fuwei Sun, Wen Tao, Junjie Wang, Dexin Wang,<br />
Zhonghao Lu, Zhibin Bai.
Empirical <strong>Software</strong> Engineering<br />
2.1.3 <br />
<br />
<br />
<br />
<br />
The Empirical software engineering research group follows an approach that is driven by industrial data analysis<br />
to address practical problems utilizing statistics and other analysis methods. It involves estimation techniques<br />
<strong>for</strong> software intensive systems and software engineering, software project measurement, software quality<br />
management, knowledge science, and so on. Based on the research, software data repository and software<br />
estimation and measurement tools are under development.<br />
杨 叶<br />
副 研 究 员 经 验 软 件 工 程 研 究 室 召 集 人<br />
Leader of Empirical <strong>Software</strong> Engineering Research<br />
Group: Ye Yang, Associate Professor<br />
14<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 15<br />
<br />
Research topics<br />
<br />
<br />
Quantitative software process management model<br />
Empirical methods <strong>for</strong> software process management<br />
<br />
Reuse-based software project cost estimation<br />
<br />
<br />
<br />
Uncertainty in software cost estimation<br />
<strong>Software</strong> defect estimation<br />
Knowledge management and knowledge discovery<br />
<br />
<br />
<br />
<br />
<br />
Faculty includes Prof. Mingshu Li, Prof. Qing Wang, Prof. Yongji<br />
Wang, Assoc. Professor Ye Yang, Assoc. Professor Da Yang, Assoc.<br />
Professor Wen Zhan, and Postdoc Yanbin Liu. Students include:<br />
Haitao Wang, Jing Du, Jia Chen, Zhimin He, Jie Hu, Dandan Wang, Xu<br />
Wang, Ran Liang, Yueming Sun, Wenpei Liu, Lihua Cao, Xihao Xie,<br />
Rongbo Qi, Ke Mao, Kexin Xu, Guangle Han, Song Wang, Yanqi Mao.
<strong>Software</strong> Testing Automation<br />
2.1.4 <br />
<br />
<br />
<br />
<br />
SQL<br />
<br />
As software system is becoming more and more complicated and evolving more and more rapidly, software<br />
testing automation is becoming one of the major techniques that can assure the systems work with high<br />
stability, high security and high confidence. <strong>Software</strong> Testing Automation Research Group mainly concerns on<br />
theories and technologies of testing automation <strong>for</strong> large-scale, complicated system, including <strong>for</strong>mal modeling<br />
theory, test case generation based on <strong>for</strong>mal model, test adequacy evaluation, automated test execution and<br />
deployment, automated adaption to SUT, test management, test result analysis and report, technique and<br />
approaches of automatic unit testing of source code, and methods of automatic test of SQL injection etc.<br />
<br />
<br />
Leader of Testing Automation Research Group:<br />
Yunzhi Xue, Assistant Professor<br />
16<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 17<br />
<br />
Research topics<br />
<br />
<br />
Formal modeling theory<br />
Automation of test case generation<br />
<br />
Formal specification of structured test case and test case<br />
<br />
<br />
<br />
GUI<br />
<br />
SQL<br />
generation<br />
Testing techniques and infrastructures <strong>for</strong> embedded, real-time<br />
systems<br />
Security testing and evaluation<br />
Test management <strong>for</strong> large-scale systems<br />
Automatic GUI Testing<br />
Automatic unit testing<br />
<br />
Automatic testing of SQL injection<br />
<br />
<br />
Faculty includes Prof. Chen Zhao, Senior Engineer Yunzhi Xue, Assis.<br />
Eng. Weiren Lin, Mingkun Chen, Chen Ni, Yanfeng Li, Zhonghe Liu<br />
and Zhihong Ji. Students include Juncheng Chen and Can Zhang.
RESEARCH PROJECTS<br />
2.2 <br />
<br />
No.<br />
<br />
Project Names<br />
<br />
Principle<br />
Investigator<br />
<br />
Fund Source<br />
<br />
Time Periods<br />
1<br />
<br />
<br />
Research on Convert Channel Mechanism in Cloud<br />
Yongji Wang<br />
Environment<br />
<br />
NSFC<br />
2012.1-2015.12<br />
2<br />
<br />
<br />
A Research on OSS Bug Resolution based on Latent<br />
Wen Zhang<br />
Network Communities<br />
<br />
2012.1-2014.12<br />
NSFC Youth<br />
3<br />
<br />
<br />
A research on mining specifications based on<br />
Hao Zhong<br />
heterogeneous data<br />
<br />
2012.1-2014.12<br />
NSFC Youth<br />
4<br />
<br />
<br />
Research on Automation of Structured Test Generation<br />
Yunzhi Xue<br />
<strong>for</strong> Real-Time Communication Protocols<br />
<br />
2012.1-2014.12<br />
NSFC Youth<br />
5<br />
<br />
<br />
Research on Open Sourcing Mechanism and<br />
Wen Zhang<br />
Substantial Development Capability<br />
<br />
National Science and<br />
Technology Major Project<br />
2012.1-2014.12<br />
6<br />
<br />
Process Management and Quality<br />
Assurance<br />
<br />
Ye Yang<br />
<br />
National Science and<br />
Technology Major Project<br />
2012.1-2014.12<br />
7<br />
<br />
<br />
Research on software ef<strong>for</strong>t estimation and code<br />
Ye Yang<br />
quality evaluation models<br />
<br />
China Development Bank<br />
2011.10-2012. 6<br />
<br />
8<br />
**<br />
<br />
<strong>Software</strong> engineering environment supporting<br />
Ye Yang<br />
technology-the integrated software development<br />
environment<br />
<br />
National defense project<br />
2011.1-2015.12<br />
9<br />
<br />
<br />
Research on Knowledge-Driven <strong>Software</strong> Process<br />
Qing Wang<br />
Resource Configuration and Quality Control Method<br />
<br />
NSFC<br />
2011.1-2013.12<br />
10<br />
<br />
<br />
Research on uncertain in software<br />
Junchao Xiao<br />
process execution<br />
<br />
2011.1-2013.12<br />
NSFC Youth<br />
11<br />
<br />
<br />
Research on Comprehensive Evaluation <strong>for</strong> <strong>Software</strong><br />
Ye Yang<br />
Outsourcing Project<br />
<br />
Hitachi China research and Development<br />
2011.1-2011.5<br />
Corporation<br />
12<br />
<br />
<br />
Research on <strong>Software</strong> Process Trustworthiness<br />
Measurement and Risk Analysis Model in Uncertain<br />
Environment<br />
<br />
Benhai Yu<br />
<br />
2010.11-2012.12<br />
China Postdoctoral Science Foundation<br />
13<br />
<br />
Ming Repository <strong>for</strong> <strong>Software</strong> Quality Prediction<br />
Wen Zhang<br />
<br />
Ministry of Education<br />
2010-2012<br />
18<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 19<br />
<br />
No.<br />
<br />
Project Names<br />
<br />
Principle<br />
Investigator<br />
<br />
Fund Source<br />
<br />
Time Periods<br />
14<br />
<br />
<br />
Research on Per<strong>for</strong>mance Evaluation-Oriented<br />
Benhai Yu<br />
<strong>Software</strong> Process Improvement Model<br />
<br />
NSFC<br />
2010.1-2012.12<br />
15<br />
<br />
<br />
A Research On Key <strong>Technologies</strong> <strong>for</strong> The Modeling,<br />
Analysis, Enactment Of High-Trustworthy <strong>Software</strong><br />
Processes<br />
<br />
Qiusong Yang<br />
<br />
2010.1-2012.12<br />
NSFC Youth<br />
16<br />
<br />
<br />
Research on <strong>Software</strong> Cost and Its Uncertainty<br />
Da Yang<br />
Estimation Model<br />
<br />
2010.1-2012.12<br />
NSFC Youth<br />
17<br />
<br />
<br />
ChineseAcademy of Sciences and GuangDong 2009.11-2011.11<br />
Data Driven <strong>Software</strong> Quality Management Plat<strong>for</strong>m<br />
Da Yang<br />
Province Corporation Plan<br />
18<br />
<br />
Empirical <strong>Software</strong> Engineering Methodology<br />
<br />
Ye Yang<br />
<br />
<br />
2009.9-2013.9<br />
ISCAS Mid-Long Term Development Plan<br />
19<br />
<br />
<br />
Research on Hybrid Cost Estimation Methods and<br />
Da Yang<br />
Support Tools<br />
<br />
<br />
2009.9-2012.9<br />
ISCAS Mid-Long Term Development Plan<br />
20<br />
<br />
<br />
<br />
Research on Formal Approach Based Trust Worthy<br />
Qiusong Yang<br />
<strong>Software</strong> Process Modeling<br />
<br />
<br />
2009.9-2012.9<br />
ISCAS Mid-Long Term Development Plan<br />
21<br />
<br />
<br />
Research on Automation of Structured Test Generation<br />
Yunzhi Xue<br />
<strong>for</strong> Real-Time Communication Protocols<br />
<br />
<br />
2009.9-2012.9<br />
ISCAS Mid-Long Term Development Plan<br />
22<br />
<br />
Ming Repository <strong>for</strong> <strong>Software</strong> Quality Prediction<br />
Wen Zhang<br />
<br />
<br />
2009.9-2012.9<br />
ISCAS Mid-Long Term Development Plan<br />
23<br />
<br />
<br />
Research on System Dynamics Based <strong>Software</strong> Defect<br />
<br />
2009.9-2012.9<br />
Fengdi Shu<br />
Prediction<br />
ISCAS Mid-Long Term Development Plan<br />
24<br />
<br />
<br />
Research on Reuse-Based <strong>Software</strong> Project Cost<br />
Ye Yang<br />
Estimation Method<br />
<br />
NSFC<br />
2009.1-2011.12<br />
25<br />
<br />
<br />
Research on Requirement Evolution Measurement<br />
Juan Li<br />
Method<br />
<br />
2009.1-2011.12<br />
NSFC Youth<br />
26<br />
<br />
Requirement Evolution Modeling<br />
<br />
Chen Zhao<br />
<br />
National Key <strong>Technologies</strong> R&D Program<br />
2008.01-2012.12<br />
27<br />
**<br />
Research on High reliable technology and Application Qiusong Yang<br />
<br />
National defense project<br />
2008.1-2011.12
RESEARCH ACHIEVEMENTS<br />
2.3 <br />
Achievements in Scientific Research<br />
2.3.1 <br />
2.3.1.1 <br />
<strong>Software</strong> Requirement Evolution Modeling and Management System<br />
<br />
<br />
<br />
<br />
1<br />
<br />
<br />
<br />
2<br />
<br />
stakeholders<br />
3<br />
<br />
<br />
<br />
<br />
<br />
973<br />
8632011<br />
4101<br />
SCI3EI62ISTP362<br />
16<br />
61<br />
<br />
This research result mainly supports requirement evolution<br />
prediction, analysis and management in the networked environment.<br />
It has <strong>for</strong>med a requirement evolution model and management<br />
system whose characteristics are requirement evolution prediction,<br />
evaluation and risk analysis and management. The contents include:<br />
(1) The prediction methods of software requirements evolution.<br />
SaaS (<strong>Software</strong> as a service) allows users’ experience and preference<br />
to become the key drivers of software development and evolution.<br />
By analyzing users' history <strong>for</strong> usage, experience tracing, label<br />
or feedback, evolution pattern and so on, we <strong>for</strong>ecast software<br />
requirement evolution on our own initiative.<br />
(2) <strong>Software</strong> requirements evolution evaluation and risk analysis<br />
methods. The nature of evolution decision is the balance between<br />
value and cost risks. Our project mainly analyzes the evolution<br />
cost, transmission impact and risks to make all the success critical<br />
stakeholders win-win.<br />
(3) <strong>Software</strong> requirement evolution management method.<br />
Our project aims to research the automatic establishment and<br />
maintenance of requirement traceability, requirement negotiation<br />
and measurement, the compliance verification of requirement<br />
evolution, and mining and management of evolution process to<br />
establish sound fundamental architecture <strong>for</strong> software evolution.<br />
The research result has its novelty in measurable requirement<br />
negotiation, automatic establishment and maintenance of<br />
20<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 21<br />
requirement traceability, software risk simulation, compliance<br />
verification of requirement evolution and invisible task mining in<br />
evolution process. The research has been supported by National Hi-<br />
Tech R&D Plan of China and National Basic Research Program and<br />
in 2011 won the Second Prize of Beijing Science and Technology<br />
Award. As research results, 4 books have been compiled/authored,<br />
Among them, 3 papers were indexed by SCI, 62 papers were indexed<br />
by EI, and 36 papers were indexed by ISTP. There are 16 registered<br />
software copyrights, 2 authorized patents. The research organizations<br />
include ISCAS, Tsinghua University, etc. Also part of the outcome has<br />
realized industrialization and gained remarkable financial benefit and<br />
social effects.<br />
101 papers have been published, in domestic or <strong>for</strong>eign publications.<br />
1<br />
Figure 1: <strong>Software</strong> Requirement Evolution<br />
Modeling and Management Framework<br />
工<br />
具<br />
层<br />
演 化 预 测 演 化 评 估 与 风 险 分 析 演 化 管 理<br />
偏 好 依 附 的 需 求 多 样 性 演 化 需 求 管 理 需 求 协 商<br />
软 件 用 例 网 络 拓 扑 分 析<br />
需 求 演 化 风 险 仿 真<br />
跟 踪 关 系 识 别<br />
基 于 用 户 偏 好 预 测 需 求 演 化<br />
基 于 用 例 的 成 本 估 算<br />
过 程 模 型 管 理<br />
方<br />
法<br />
层<br />
群 体 智 能<br />
用 户 偏 好<br />
过 程 挖 掘<br />
演 化 规 律<br />
成 本 估 算 传 播 分 析<br />
风 险 仿 真 多 样 性 演 化<br />
服 务 组 合 影 响<br />
演 化 跟 踪 演 化 度 量<br />
需 求 协 商 过 程 管 理<br />
演 化 一 致 性<br />
数<br />
据<br />
层<br />
系 统 日 志 用 户 需 求 社 会 标 注 偏 好 数 据 过 程 数 据 领 域 知 识<br />
2<br />
Figure 2: Honorary Certificate
2.3.1.2<br />
Product Line of Trustworthy <strong>Software</strong> Process Management<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
3<br />
Figure 3: Trustworthy <strong>Software</strong> Process Management Product Line<br />
111<br />
54<br />
<br />
<br />
<br />
<br />
<br />
22<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 23<br />
Quality is built in the process. Thus all the trustworthiness attributes<br />
are <strong>for</strong>med during the development process while all the activities<br />
in the product line need the coordination and management of<br />
processes and resources. This research result mainly deals with<br />
assuring the trustworthiness of final product from the process aspect.<br />
The major technologies include: How to decompose the software<br />
trustworthiness into the different processes and roles in the product<br />
line; How to systematically collect, analyze the trustworthiness<br />
evidence and provide comprehensive and objective prediction,<br />
control, assurance and evaluation <strong>for</strong> the software trustworthiness; <br />
How to control the product line process to make it more predictable<br />
and controllable. This research has achieved novel results on<br />
trustworthy software measurement model, modularized software<br />
simulation, software trustworthiness verification method, software<br />
cost estimation <strong>for</strong> uncertainty and so on. The major framework and<br />
research content are presented in the above figure:<br />
As the research result, there are 54 registered software copyrights and<br />
1 authorized patent. The research result has provided the companies<br />
with flexible and customized support and service in various aspects<br />
including task management, risk control, process management,<br />
quality management, measurement and analysis, change<br />
management, etc. It has been applied in more than 100 companies<br />
of various domains including government, military manufacture<br />
telecommunication, financial transportation, software, etc. It has<br />
more than half of the market share in military project management<br />
market in China, and ranks top 3 in civilian market.<br />
process modeling method, software process resource scheduling and<br />
2.3.1.3 <br />
Trustworthy <strong>Software</strong> Process Management and Risk Control Framework<br />
<br />
1<br />
<br />
2<br />
<br />
<br />
20111<br />
<br />
2<br />
<br />
3<br />
<br />
3<br />
124SCI<br />
6EI77ISTP36<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
4<br />
The basic issue <strong>for</strong> software trustworthiness is providing<br />
evidence to convince the users: the software can satisfy user’s<br />
request. The major research topics in this project include: (1)<br />
Systematically collect and analyze trustworthiness evidence<br />
to provide comprehensive and object prediction, control,<br />
assurance and evaluation of software trustworthiness (2)<br />
Identify and solve risks to reduce the impact on software<br />
trustworthiness caused by development uncertainty.<br />
This project has successfully been completed in 2011 and the<br />
major outcomes include: (1) Establish process data model<br />
throughout the software life cycle to collect process and<br />
products data which will affect trustworthiness. (2) According
to the software process trustworthiness model, reasonable<br />
trustworthy software process is established which meets the<br />
business value of the software organization and feature of<br />
the products. (3) Support the dynamic assembly and building<br />
of the trustworthy software process management and risk<br />
management model, which is through software life cycle, with<br />
trustworthiness risks and supporting data.(4) Evaluate the<br />
capability of software process trustworthiness in the software<br />
organization. As research results, 3 books have been compiled/<br />
authored, 124 papers have been published, in domestic or<br />
Based on the research result, we have developed a Trustworthy<br />
<strong>Software</strong> Process Management and Risk Control System. In<br />
practice it has helped the software company improve the<br />
software process trustworthiness, efficiently control the<br />
process risks, increase the planning stability and predictability,<br />
reduce the management cost and increase the overall<br />
benefit. Validated by the industrialization, the research<br />
outcome’s practicability has been remarkably improved. The<br />
research organizations include ISCAS, Graduate University of<br />
CAS(GUCAS), Institute of Policy and Management CAS.<br />
<strong>for</strong>eign publications. Among them, 6 papers were indexed by<br />
SCI, 77 papers were indexed by EI, and 36 papers were indexed<br />
by ISTP.<br />
4<br />
Figure 4: Trustworthy <strong>Software</strong> Process Management and Risk Management Model<br />
风 险 管 理 模 型<br />
Risk Management Model<br />
度 量 模 型<br />
Measurement Model<br />
风 险 识 别<br />
Risk I dentification<br />
风 险 因 素<br />
Risk factors<br />
证 据 模 型<br />
Evidence Model<br />
数 据<br />
data<br />
分 析 模 型<br />
Analysis Model<br />
可 信 度 量<br />
Trust measurement<br />
风 险 评 估<br />
Risk Assessment<br />
风 险 控 制<br />
Risk Control<br />
风 险 管 理 优 化 策 略 库<br />
Risk Database<br />
风 险 策 略<br />
Risk st rategies<br />
可 信 属 性 数 据 库<br />
Trustworthy attribute<br />
Database<br />
项 目 度 量 数 据<br />
Measurement D ata<br />
过 程 管 理<br />
工 具 及 平 台<br />
TPMF T oolkit<br />
性 能 基 线<br />
Per<strong>for</strong>mance<br />
Baseline<br />
数 据<br />
data<br />
性 能 模 型<br />
Per<strong>for</strong>mance Model<br />
可 信 原 则<br />
Trust principle<br />
可 信 原 则<br />
Trust principle<br />
可 信 原 则<br />
Trust principle<br />
评 估 框 架<br />
Appraisal framework<br />
证 据 指 标<br />
Evidential metrics<br />
可 信 原 则<br />
Trust principle<br />
可 信 评 价 方 法<br />
Appraisal methods<br />
风 险 驱 动 的 过 程 管 理 模 型<br />
Risk-driven process mgmt m odel<br />
可 信 保 障<br />
过 程 域<br />
TAPAs<br />
可 信 工 程<br />
过 程 域<br />
TEPAs<br />
可 信 监 控<br />
过 程 域<br />
TMPAs<br />
过 程 仿 真<br />
Process simulation<br />
过 程 建 模 组 装<br />
Process assembly<br />
标 准 过 程 定 义 和 裁 剪<br />
Define and tailor<br />
可 信 分 级 准 则<br />
Trust level scheme<br />
可 信 级 别<br />
Trust level<br />
过 程 管 理 框 架<br />
Process Management Framework<br />
可 信 度 模 型<br />
Trustworthiness Model<br />
24<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 25<br />
Publications<br />
2.3.2 <br />
:<br />
Books<br />
He Zhang, Ye Yang, Reidar Conradi: EAST 2011 - Proceeding of the 1st International Workshop on<br />
Evidential Assessment of <strong>Software</strong> <strong>Technologies</strong>, In conjunction with ENASE 2011, Beijing, China, June<br />
2011 SciTePress 2011.<br />
<br />
Papers in International<br />
Academic Conferences<br />
Qi Li, Barry Boehm, Ye Yang, and Qing Wang, “A Value-Based Review Process <strong>for</strong> Prioritizing<br />
Artifacts”, Proceedings of the International Conference on <strong>Software</strong> and Systems Process, 2011,<br />
pp.13-22.<br />
Hui Huang, Qiusong Yang, Junchao Xiao, and Jian Zhai, “Automatic mining of change set size<br />
in<strong>for</strong>mation from repository <strong>for</strong> precise productivity estimation”, Proceedings of the International<br />
Conference on <strong>Software</strong> and Systems Process, 2011, pp.72-80.<br />
Lin Shi, Hao Zhong, Tao Xie, Mingshu Li, “An Empirical Study on Evolution of API Documentation”,<br />
Proceedings of the International Conference on on Fundamental Approaches to <strong>Software</strong><br />
Engineering, 2011, pp.416-431.<br />
Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li, “Attacking Dimensionality Problem of<br />
Parameterized Systems via Bounded Reachability Graph”, Proceedings of the International<br />
Conference on Fundamentals of <strong>Software</strong> Engineering, 2011, pp.221-235.
Wen Zhang, Ye Yang, and Qing Wang, “Network Analysis<br />
of Oss Evolution :An Empirical Study on ArgoUML Project”,<br />
Proceedings of the 12th International Workshop on Principles<br />
of <strong>Software</strong> Evolution and the 7th annual ERCIM Workshop on<br />
<strong>Software</strong> Evolution, 2011, pp.71-80.<br />
Wen Zhang, Ye Yang, and Qing Wang, “Handling Missing<br />
Data In <strong>Software</strong> Ef<strong>for</strong>t Prediction With Naive Bayes And Em<br />
Algorithm”, Proceedings of the 7th International Conference<br />
on Predictive Models in <strong>Software</strong> Engineering, 2011, New York,<br />
USA, Article 4 , 10 pages.<br />
Jian Zhai, Bei Zhang, and Qiusong Yang, “Simulation Modeling<br />
<strong>for</strong> Quality Enhanced <strong>Software</strong> Process Based on Rework<br />
Analysis”, Proceedings of the International Conference on<br />
Modeling, Simulation and Visualization Methods, 2011,<br />
pp.208-214.<br />
Dandan Wang, Qing Wang, Ye Yang, Qi Li, Haitao Wang,<br />
and Feng Yuan, “Is It Really a Defect” -An empirical study<br />
on measuring and improving the process of software defect<br />
reporting, Proceedings of the 2011 International Symposium<br />
on Empirical <strong>Software</strong> Engineering and Measurement, 2011,<br />
pp.434-443.<br />
Da Yang, Wenpei Liu, Qiang Cui, Juan Li, Ye Yang, and Qing<br />
Wang, “Modeling the Number of Active <strong>Software</strong> users”,<br />
Lang Xie, Da Yang, Ye Yang, Mingshu Li, Qing Wang,<br />
“Mean-<br />
Proceedings of the 2011 International Symposium on Empirical<br />
<strong>Software</strong> Engineering and Measurement, 2011, pp.376-379.<br />
VarianceCombination(MVC): A new Method <strong>for</strong> Evaluating<br />
Ef<strong>for</strong>t Estimation Models”, Proceedings of the Symposium in<br />
Honor of Prof. Barry W. Boehm, 2011, pp 67-78.<br />
Yan Ku, Jing Du, Ye Yang, Qing Wang, “Estimating <strong>Software</strong><br />
Maintenance Ef<strong>for</strong>t <strong>for</strong>m Use Cases:an Industrial Case Study”,<br />
Proceedings of the 27th IEEE International Conference on<br />
<strong>Software</strong> Maintenance, 2011, pp.482-491.<br />
Xinguang Chen, Fengdi Shu, Ye Yang, “<strong>Software</strong> Ef<strong>for</strong>t<br />
Estimation Model Based on Use Case Specification”,<br />
Proceedings of the 6th International Conference on Evaluation<br />
of Novel Approaches to <strong>Software</strong> Engineering, 2011, 226-231.<br />
Yanbin Liu, Ye Yang, Qiusong Yang, Mingshu Li, “Driver:<br />
Diagnosing Runtime Property Violations Based On Dependency<br />
Rules”, Proceedings of the International Conference on Secure<br />
<strong>Software</strong> Integration and Reliability Improvement, 2011, pp.<br />
194-201.<br />
Peng Wan, Juan Li, Yin Li, “A Case Study of WikiWinWin<br />
Negotiation in Bug Decision Making Process”, Proceedings<br />
of 1st International Workshop on Evidential Assessment of<br />
<strong>Software</strong> <strong>Technologies</strong> , 2011, pp.61-67.<br />
Ye Yang, Lang Xie, Zhimin He, Qi Li, Vu Nguyen, Barry Boehm,<br />
and Ricardo Valerdi, “Local Bias And Its Impacts On The<br />
Per<strong>for</strong>mance Of Parametric Estimation Models”, Proceedings<br />
of the 7th International Conference on Predictive Models in<br />
Juncheng Chen, Yunzhi Xue, Chen Zhao, “An Empirical Study<br />
on Test-Driven Development Process <strong>for</strong> Android Applications”,<br />
Proceedings of the 15th International Conference on <strong>Software</strong><br />
Engineering and Applications, 2011, pp.137-144.<br />
<strong>Software</strong> Engineering, 2011, New York, USA, Article 14 , 10<br />
pages.<br />
Xin Dong, Ruhe, G. ,Qiusong Yang, Qing Wang, Jian Zhai,<br />
“Value-Risk Trade-off Analysis <strong>for</strong> Iteration Planning in eXtreme<br />
Wen Zhang, Ye Yang, Qing Wang, “On the Predictability<br />
of <strong>Software</strong> Ef<strong>for</strong>ts using Machine Learning Techniques”,<br />
Programming”, Proceedings of the 18th Asia Pacific <strong>Software</strong><br />
Engineering Conference, 2011, pp.397-404.<br />
Proceedings of the 6th International Conference on Evaluation<br />
of Novel Approaches to <strong>Software</strong> Engineering. 2011, pp.5-14.<br />
26<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 27<br />
:<br />
Papers in International<br />
Journals<br />
Wen Zhang, Yoshida Taketoshi, Tang Xijin, “A Comparative Study Of Tf*idf, Lsi And Multi-words<br />
For Text Classification”, Expert Systems with Applications, Volume 38, Issue 3, 2011, pages<br />
2758-2765.<br />
Zhimin He, Fengdi Shu, Ye Yang, Mingshu Li and Qing Wang, “An Investigation On The Feasibility<br />
Of Cross-project Defect Prediction”, Automated <strong>Software</strong> Engineering, Volume 19, Issue 2, 2011,<br />
pages 167-199.<br />
Hao Zhong, Lu Zhang, Tao Xie and Hong Mei, “Inferring specifications <strong>for</strong> resources from natural<br />
language API documentation”, Automated <strong>Software</strong> Engineering, Volume 18, Issue 3-4, 2011,<br />
pages 227-261.<br />
<br />
:<br />
Papers in First-Class<br />
D o m e s t i c J o u r n a l s<br />
and National Kernel<br />
Journals<br />
,<br />
2011pp 005-010.<br />
<br />
2011pp20-25,43.<br />
<br />
2011pp174-178.<br />
GQM2011<br />
pp878-881.<br />
<br />
2011pp501-512.<br />
<br />
2011pp001-016.<br />
2011pp.34-36.
<strong>Software</strong> Copyrights and Patents<br />
2.3.3 <br />
<br />
<strong>Software</strong> Copyrights<br />
<br />
1 Android2011SR000231<br />
2 Android 2011SR000495<br />
3 AndroidUI 2011SR000197<br />
4 AndroidUI2011SR000198<br />
5 Promela 2011SR002398<br />
6 2011SR002375<br />
7 2011SR002530<br />
8 <br />
2011SR002843<br />
9 AHP 2011SR002841<br />
10 2011SR006767<br />
11 <br />
2011SR045031<br />
12 2011SR056923<br />
13 COQU ALMO<br />
2011SR061045<br />
14 <br />
2011SR056376<br />
15 2011SR056501<br />
16 2011SR056312<br />
17 <br />
2011R11S068629<br />
18 <br />
2011R11S068631<br />
19 2011R11S068632<br />
28<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 29<br />
<br />
Patents under Application<br />
<br />
1 Android<br />
PCT/CN2011/071889<br />
2 Qone<br />
201110067910.8<br />
3 <br />
201110083894.1<br />
4 <br />
201110099875.8<br />
5 BUGBUG<br />
201110133561.5<br />
6 201110209093.5
ACADEMIC<br />
EXCHANGES AND<br />
COOPERATION
INTERNATIONAL COOPERATION<br />
3.1 <br />
Hosted International Conferences<br />
3.1.1 <br />
a) <br />
Symposium of <strong>Software</strong> and System Engineering<br />
Honor of Prof. Barry . Boehm W<br />
Barry W. Boehm<br />
COCOMO<br />
<br />
W<br />
2005Boehm<br />
<br />
Barry W. Boehm<br />
2011426<br />
27(IJSI)<br />
Symposium of<br />
<strong>Software</strong> and System Engineering Honor of Prof. Barry W.<br />
Boehm<br />
Leon J. OsterweilLori Clarke<br />
Ross Jeffery<br />
Dieter<br />
RombachFraunhofer<br />
Dines BjornerShanghua<br />
Teng<br />
IBMRationalWalker<br />
Royce<br />
•Neil<br />
SiegelInfosys<br />
Narayana N. R. MurthyInfosys <br />
Subrahmanyam Goparaju <br />
BoehmBoehm<br />
<br />
Barry Boehm <br />
<br />
32<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 33<br />
<br />
Barry Boehm· <br />
427<br />
BoehmBoehm<br />
Skating to Where the Puck Is Going: Future <strong>Software</strong><br />
Engineering Opportunities and Challenges<br />
Australia), Professor Dieter Rombach (Director of Fraunhofer<br />
Institute of Empirical <strong>Software</strong> Engineering, Germany), Professor<br />
Dines Bjorner (Demark University of Technology), Professor<br />
Shanghua Teng (Director of Computer Science Department of<br />
USC). The attended experts from industry include Mr. Walker<br />
Royce (Chief software economist of IBM Rational), Mr. Kouichi<br />
Kishida (Chief Consultant of <strong>Software</strong> Research Associates, Japan),<br />
Professor Barry W. Boehm with University of Southern Cali<strong>for</strong>nia<br />
is a renowned expert in the software engineering field all over<br />
the world. His research results, including COCOMO model, spiral<br />
model, Incremental Commitment Spiral Model (ICSM), valuebased<br />
software engineering, W theory, etc, have profoundly<br />
influenced the international software engineering research and<br />
been widely-adopted in the industry community. The research<br />
collaboration and communication between Professor Boehm<br />
and iTechs began in 2005. In honor of Professor Boehm's<br />
distinguished contribution to the whole software engineering<br />
community, Symposium of <strong>Software</strong> and System Engineering<br />
Honor of Prof. Barry W. Boehm has been held from 26th to<br />
27th April 2011, which was sponsored by ISCAS and International<br />
Journal of <strong>Software</strong> and In<strong>for</strong>matics (IJSI).<br />
The attended professors included Professor Leon J. Osterweil<br />
and Lori Clarke (University of Massachusetts Amherst in USA),<br />
Professor Ross Jeffery (University of New South Wales in<br />
Mr. Neil Siegel (Chief Engineer and Vice President of Northrop<br />
Grumman Corp., USA), Dr. Narayana N. R. Murthy (Founder and<br />
Director of Infosys <strong>Technologies</strong> Ltd., India) and Subrahmanyam<br />
Goparaju (Senior Vice President of Infosys <strong>Technologies</strong> Ltd.,<br />
India). During the symposium the experts addressed the<br />
keynote speeches. The speeches related to Professor Boehm's<br />
contributions were delivered by the participants. Also Professor<br />
Boehm's friends and students sent their wishes and regards<br />
through VCRs.<br />
On April 27th, as part of the Symposium, Prof. Mingshu Li<br />
presented an Honorary Doctorate Degree in Computer <strong>Software</strong><br />
and Theory to Dr. Barry Boehm, showing ISCAS's respect to his<br />
outstanding contributions to the field of <strong>Software</strong> Engineering, as<br />
well as his long time collaboration and support to both academia<br />
and industry in China. Then Professor Boehm gave the keynote<br />
speech "Skating to Where the Puck Is Going: Future <strong>Software</strong><br />
Engineering Opportunities and Challenges ".
) EAST<br />
International Workshop on Evidential Assessment of <strong>Software</strong> <strong>Technologies</strong><br />
<br />
<br />
<br />
<br />
NICTAReidar<br />
Conradi<br />
20116<br />
<br />
<br />
<br />
IT<br />
Muhammad Ali Babar<br />
researchers and practitioners to assess the current research methods,<br />
tools and technologies. To present the state-of-the-practice of<br />
evidence-based practices and address the emerging challenges and<br />
issues in current empirical and evidence-based research, Assoc Prof.<br />
Ye Yang, together with Jason Zhang with NICTA and Reidar Conradi<br />
with Norwegian University of Science and Technology, initiated and<br />
co-chaired the 1st International Workshop on Evidential Assessment<br />
of <strong>Software</strong> <strong>Technologies</strong>. The workshop which co-located with 6th<br />
ENASE was successfully held in June 2011 in Beijing. It brought<br />
together both researchers and practitioners in software engineering,<br />
empiricists and theorists in research community and discussed the<br />
challenges when applying the evidence in support practice, which<br />
can provide improvement advice <strong>for</strong> future research. Muhammad<br />
With the emergence of Evidence-Based <strong>Software</strong> Engineering<br />
(EBSE), various empirical studies and research in SE have helped the<br />
Ali Babar from IT University of Copenhagen was invited to address a<br />
keynote speech on the workshop.<br />
c) <br />
ICSSP<br />
ICSP (International Conference on <strong>Software</strong><br />
Process)<br />
ISPA<br />
2005200520062007<br />
ICSP)6ICSSP2011<br />
ICSE2011<br />
<br />
2006<br />
2011<br />
<br />
<br />
ICSSP2011<br />
Barry BoehmLeon OsterweilNICTARoss<br />
Jeffery<br />
<br />
International Conference on <strong>Software</strong> Process (ICSP) is sponsored<br />
by International <strong>Software</strong> Process Associate (ISPA) in cooperation<br />
with ISCAS, USC, UMASS. Since 2005, the conference has been held<br />
annually which was changed to International Conference on <strong>Software</strong><br />
and System Process (ICSSP) in 2011. In September 2011, ICSSP 2011<br />
was successfully held in Hawaii USA co-locating with ICSE2011. The<br />
theme of this year was "Process <strong>for</strong> Tomorrow's System Engineering".<br />
The Chief Scientist with iTechs, Professor Mingshu Li serves as a<br />
member of ICSSP steering committee since 2006. In 2011, Director<br />
of iTechs, Professor Qing Wang and Assoc Prof. Qiusong Yang<br />
attended the conference and addressed speeches regarding their<br />
research. Many renowned professors and experts have attended<br />
ICSSP 2011 including Professor Barry Boehm with USC, Professor<br />
Leon Osterweil with UMASS, Professor Ross Jeffery with NICTA, etc.<br />
In the conference, all attendants discussed on various topics and<br />
promoted the academic exchange and communication.<br />
34<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 35<br />
Joint Workshop<br />
3.1.2 <br />
a) ISCAS/USC/UAMSS<br />
2005<br />
<br />
<br />
2011428ISCAS/USC/UMASS<br />
Barry Boehm<br />
Leon OsterweilLori Clark<br />
<br />
<br />
Since 2005, iTechs has begun to cooperate with University of<br />
Southern Cali<strong>for</strong>nia and University of Massachusetts Amherst.<br />
The joint laboratory was established and ISCAS/USC/UMASS Joint<br />
Workshop has been held since 2007. The Third ISCAS/USC/UMASS<br />
Joint Workshop was held in ISCAS on 28th April 2011. Professor<br />
Barry Boehm from USC, Professor Leon Osterweil and Professor<br />
Lori Clark from UMASS have given their keynote speeches on<br />
the workshop. Also the iTechers have reported their research on<br />
<br />
software cost estimation, software evolution management, and<br />
software process modeling etc. The participants have ardently<br />
discussed and communicated regarding the speeches.
) ISCAS/UQ<br />
(University of Queensland, UQ)<br />
(Go8)21(Universities 21)<br />
200810<br />
(ITEE)<br />
(DSER)<br />
20111128ISCAS-UQ<br />
Paul Strooper<br />
4<br />
<br />
GUIWeb<br />
<br />
UQ (University of Queensland), in Australia, is the founder of the<br />
coalition of Group of Eight (Go8), and is also one of the three<br />
Australian members of the famous union of University 21. In<br />
October of 2008, ISCAS and School of In<strong>for</strong>mation Technology<br />
and Electrical Engineering, University of Queensland (ITEE, UQ)<br />
established the ISCAS/UQ Joint Lab, the Joint Lab <strong>for</strong> Data and<br />
<strong>Software</strong> Engineering Research (DSER).<br />
On Nov 28th, 2011, the 3rd ISCAS-UQ Joint Workshop was<br />
successfully held in ISCAS. A four-member group from UQ,<br />
including Prof. Paul Strooper and Prof. Xiaofang Zhou, attended<br />
the workshop, together with teachers and students of our lab. The<br />
speakers discussed with the participators about their new point<br />
views and progresses in quite a few fields, including service of<br />
data analysis, legacy software migration <strong>for</strong> cloud computing, data<br />
mining <strong>for</strong> intelligent transportation, GUI software testing, web<br />
data cleaning, etc.<br />
36<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 37<br />
Joint <strong>Laboratory</strong><br />
3.1.3 <br />
a) ISCAS/USC, ISCAS/UMASS, ISCAS/UQ<br />
ISCAS/USC, ISCAS/UMASS, ISCAS/UQ Joint <strong>Laboratory</strong><br />
2005<br />
2005<br />
<br />
<br />
2011USC-CSSE<br />
<br />
2Local Bias and<br />
Its Impacts On The Per<strong>for</strong>mance Of Parametric Estimation Models<br />
PROMISE2011<br />
20118201226<br />
<br />
iTechs has <strong>for</strong>mally signed the agreement in 2005 to establish the<br />
ISCAS/USC Joint <strong>Laboratory</strong>. Since then, iTechs has devoted much<br />
ef<strong>for</strong>t in the collaborative research with USC on uncertainty in software<br />
cost estimation, value-based software testing, cost estimation<br />
modeling <strong>for</strong> secure software, etc.<br />
In 2011, iTechs and USC-CSSE collaborated on value-based software<br />
testing and parametric software cost modeling, etc. 2 papers have<br />
been collaboratively accomplished and published in international<br />
conferences. The paper "Local Bias and Its Impacts on the<br />
Per<strong>for</strong>mance of Parametric Estimation Models" has won the Best<br />
Paper Award in PROMISE2011. During Aug. 2011 to Feb. 2012, the<br />
PhD candidate Jing Du with iTechs has visited USC-CSSE <strong>for</strong> academic<br />
exchange and researched on cost estimation modeling <strong>for</strong> secure<br />
software.<br />
(<strong>Laboratory</strong> <strong>for</strong> Advanced <strong>Software</strong><br />
Engineering Research, LASER)<br />
LASER<br />
<br />
LASER<br />
<br />
2007iTechs<br />
LASERiTechs<br />
LASER<br />
20115LASERLeon J. OsterweilLori A. Clarke<br />
<br />
<br />
<strong>Laboratory</strong> <strong>for</strong> Advanced <strong>Software</strong> Engineering Research (LASER)<br />
is a research lab in the Department of Computer Science at the<br />
University of Massachusetts Amherst. LASER is dedicated to<br />
investigating techniques <strong>for</strong> reducing software development and<br />
maintenance costs while simultaneously improving the quality of the<br />
systems produced. LASER research centers on the use of finite state<br />
verification of concurrent and distributed systems to assure that these<br />
systems must adhere to key properties <strong>for</strong> all possible executions,<br />
process programming and workflow, process simulation, resource<br />
management and scheduling, etc. Since the establishment of ISCAS/<br />
UMASS Joint <strong>Laboratory</strong> in 2007, iTechs have Assoc. Prof. Junchao<br />
Xiao and Qiusong Yang visiting LASER respectively. In May 2011,<br />
Professor Leon J. Osterweil and Professor Lori A. Clarke from LASER<br />
were invited to visit iTechs. We have exchanged ideas about research<br />
on software development under uncertain environment and dynamic<br />
resource scheduling.
(University of Queensland, UQ)(Go8)<br />
21(Universities 21)<br />
<br />
200810<br />
(ITEE)<br />
(DSER)<br />
<br />
2010920114<br />
2011<br />
<br />
<br />
UQ (University of Queensland), in Australia, is the founder of the<br />
coalition of Group of Eight (Go8), and is also one of the three<br />
Australian members of the famous union of University 21. As a<br />
renowned university in Australia, UQ has solid strength and rich<br />
research fruits in the area of computer and in<strong>for</strong>mation technology.<br />
In October of 2008, ISCAS and School of In<strong>for</strong>mation Technology<br />
and Electrical Engineering, University of Queensland (ITEE, UQ)<br />
established a joint lab, the Joint Lab <strong>for</strong> Data and <strong>Software</strong> Engineering<br />
Research (DSER), and thus launched long-term cooperation between<br />
both sides in the areas of database and software engineering.<br />
Qiuming Tao and Jian Liu have visited UQ respectively during<br />
September 2010 to April 2011. In 2011, iTechs has deeply<br />
collaborated with UQ on moving object database and intelligent<br />
transportation management. Two high-quality academic papers have<br />
been published on the international conferences.<br />
b) ISCAS/NICT A<br />
New ISCAS/NICTA Joint <strong>Laboratory</strong><br />
(National ICT Australia) <br />
2002NICTA<br />
NICTA<br />
700<br />
NICTA<br />
<br />
<br />
2006NICTA<br />
<br />
20119NICTA<br />
<br />
<br />
<br />
2011<br />
REFSQ 2012Best<br />
Paper<br />
NICTA (National ICT Australia Ltd), Australia's In<strong>for</strong>mation and<br />
Communications Technology Research Centre of Excellence was<br />
founded in 2002 funded by Australian Government. Its business<br />
areas cover the science research, research outcome industrialization<br />
and research techniques training, etc. With over 700 people, NICTA is<br />
the largest organization in Australia dedicated to ICT research.<br />
NICTA has been devoting its ef<strong>for</strong>t in expanding its influence with the<br />
research outcomes. Its research topics include Embedded System,<br />
Networked System, Large-scale data analysis techniques, System and<br />
Process Complexity Management, etc.<br />
The collaboration between ISCAS and NICTA started from 2006,<br />
including short-term or long-term visits, joint workshop, and joint<br />
research projects. In September 2011, iTechs <strong>for</strong>mally signed the<br />
agreement to establish the ISCAS/NICTA Joint <strong>Laboratory</strong>. The joint<br />
laboratory conducts extensive research cooperation on software<br />
architecture, <strong>for</strong>mal methods and system, cloud computing,<br />
business and software process modeling, etc. In 2011, a joint paper<br />
on requirement change analysis based on process simulation was<br />
accepted by REFSQ 2012 and nominated as the Best Paper.<br />
38<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 39<br />
Exchanges and Visits<br />
3.1.4 <br />
a) <br />
Guenther Harry Ruhe<br />
CAS Visit Professorship<br />
<br />
Guenther Harry Ruhe201151<br />
2011630<br />
Ruhe<br />
<br />
<br />
<br />
Ruhe<br />
Ruhe<br />
<br />
<br />
2009Ruhe<br />
2010<br />
<br />
Ruhe4<br />
<br />
<br />
Ruhe<br />
<br />
<br />
<br />
Computer Science and Department of Electrical and Computer<br />
Engineering, UC. His research interests include <strong>Software</strong> Engineering,<br />
Project Management, Decision Support, Product Release Planning,<br />
Empirical <strong>Software</strong> Engineering, <strong>Software</strong> Measurement, Modeling<br />
and Simulation, Combinatorial Optimization. He has chaired many<br />
international conferences and workshops, addressed keynotes<br />
speeches and also is the reviewer of various software engineering<br />
journals. Meanwhile, Professor Ruhe actively colloabrates with the<br />
industry community. The collaborative organizations include Ericsson,<br />
Nokia, Schlumberger, Siemens, etc.<br />
Early in 2009, Professor Ruhe discussed collaborative research topics<br />
and goals with iTechs. In 2010, we collaboratively applied a NSFC<br />
project "Research on Knowledge-Driven <strong>Software</strong> Process Resource<br />
Configuration and Quality Control Method". During the visit, Professor<br />
Ruhe has given four speeches in ISCAS to introduce the research in<br />
his group. Also he has held an industry salon focusing on software<br />
release planning and participated in several international conferences<br />
Under the support of CAS Visiting Professorship <strong>for</strong> Senior<br />
International Scientist, Professor Guenther Harry Ruhe with University<br />
of Calgary, Alberta, Canada (UC) has visited the lab from 1st May to<br />
30th June 2011.<br />
Professor Ruhe is now the chair of <strong>Software</strong> Engineering Industrial<br />
Research Association, UC and professor with Department of<br />
and symposiums. He has supervised the graduate students in<br />
iTechs and co-authored some published papers. The collaboration<br />
has facilitated the academic exchange and deepened mutual<br />
understanding. Both sides have reached a consensus on students'<br />
co-education, regular exchanges and visits, project cooperation in the<br />
future.
) <br />
CAS Senior Visit Plan Qiusong ang Y<br />
<br />
Edmund M. Clarke<br />
<br />
Prof. Edmund M. Clarke's research interests include software and<br />
hardware verification and automatic theorem proving. He is the first<br />
one to propose the use of model checking as a verification technique<br />
<strong>for</strong> finite state concurrent systems. Dr. Clarke was a co-recipient of<br />
the 2007 ACM Turing Award. Dr. Clarke's group is currently focusing<br />
on probabilistic model checking, compositional verification, concolic<br />
testing, type theory <strong>for</strong> dynamic languages, parallel model checking,<br />
Edmund M. Clarke<br />
<br />
2007<br />
Edmund M. Clarke<br />
<br />
etc. Those techniques have been applied in the verification of complex<br />
systems such as hybrid, biology, and cyber-physical systems. Supported<br />
by the Foundation <strong>for</strong> Selected Young Scientists Studying Abroad,<br />
Chinese Academy of Sciences, Assoc. Prof Qiusong Yang of iTechs<br />
will pay one year academic visit to Dr. Clarke's group, scheduling from<br />
Cyber-<br />
Sep. 2011 to Spe. 2012. His current research is centered on machine-<br />
physical2011920129<br />
learning-based compositional verification of concurrent system.<br />
40<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 41<br />
c) USC<br />
Exchange Student Jing Du<br />
Boehm<br />
Boehm<br />
<br />
26COCOMO Forum<br />
<br />
University of Southern Cali<strong>for</strong>nia has a long history and wellaccepted<br />
reputation over the world. The Center <strong>for</strong> System<br />
and <strong>Software</strong> Engineering (CSSE), which has been established<br />
and developed by Professor Barry Boehm, has been acting<br />
as the international leading research organization in software<br />
engineering field. Professor Boehm, together with his team focus<br />
their research on the software cost estimation, software process<br />
model, software risk management and quality factor analysis, etc.<br />
The COCOMO model proposed and developed by Professor Boehm<br />
<br />
Barry Boehm<br />
Boehm<br />
<br />
<br />
COCOMO<br />
<br />
20118<br />
20122<br />
has been leading the development of software cost estimation<br />
technologies and is widely-adopted in industry all over the world.<br />
There<strong>for</strong>e, he is respected as "the Father of <strong>Software</strong> Economics".<br />
During August 2011 to February 2012, the PhD candidate Jing Du<br />
has paid a visit of CSSE. Under Professor Boehm’s supervision, her<br />
research topic is the cost estimation modeling <strong>for</strong> secure software<br />
system and evaluation of secure software process product. During<br />
the visit, she has participated in the 26th COCOMO Forum, given a<br />
speech and communicated with other participants.
d) <br />
Invited Academic Exchange<br />
<br />
1 2011 Jorgen Staunstrup<br />
<br />
University of Copenhagen<br />
2011.4.11-2011.4.13<br />
<br />
Beijing<br />
2 2011<br />
Barry BoehmT omas Tan<br />
Shuanghua Teng<br />
<br />
2011.4.25-2011.4.28<br />
University of Southern Cali<strong>for</strong>nia<br />
<br />
Beijing<br />
3 2011 Leon J.OsterweilLori A. Clarke<br />
<br />
2011.4.25-2011.4.28<br />
University of Massachusetts<br />
<br />
Beijing<br />
4 2011 Guenther Harry Ruhe<br />
<br />
2011.5.6-2011.6.30<br />
University of Calgary<br />
<br />
Beijing<br />
5 2011<br />
Barry BoehmDines Bjorner<br />
Loen OsterweilClark<br />
OsterweilK oichi Kishida<br />
Walker RoyceNeil Siegel<br />
Dieter RombachRoss Jeffery<br />
SUBRAHMANYAM G VNarayana<br />
MurthyShuanghua eng T<br />
Tomas Tan<br />
Boehm<br />
Symposium in Honor of Prof. Barry 2011.4.26-2011.4.27<br />
W. Boehm<br />
<br />
Beijing<br />
6 2011 ZhangheMuhammad Ali Babar<br />
<br />
2011.6.07-2011.6.08<br />
NICTA<br />
<br />
Beijing<br />
7 2011<br />
<br />
Xiao Liu<br />
<br />
Swinburne University of<br />
2011.6.18-2011.6.20<br />
Technology<br />
<br />
Beijing<br />
8 2011<br />
<br />
Tao Xie<br />
<br />
2011.7.1-2011.7.10<br />
North Carolina State University<br />
<br />
Beijing<br />
9 2011 Nasro Min Allah<br />
COMSA TS<br />
2011.8.12-2011.10.30<br />
CIIT<br />
<br />
Beijing<br />
10 2011<br />
<br />
Bo Sun<br />
<br />
2011.11.30-2012.2.28<br />
University of Calgary<br />
<br />
Beijing<br />
11 2011 David Weiss<br />
<br />
2011.12.23-2011.12.29<br />
Lowa State University<br />
<br />
Beijing<br />
42<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 43<br />
e) <br />
Attended Conferences and Workshops<br />
<br />
1 2011<br />
<br />
2011<br />
Lin ShiHao<br />
2011.3.26-2011.4.3<br />
FASE2011<br />
Zhong<br />
<br />
Germany<br />
2 2011<br />
20112011<br />
Qing Wang ICSE2011<br />
2011.5.20-2011.5.27<br />
Qiusong Yang<br />
ICSSP2011<br />
<br />
USA<br />
3 2011<br />
<br />
Jing Du<br />
2011<br />
20119.25- 2011.9.30<br />
ICSM2011<br />
<br />
USA<br />
4 2011<br />
<br />
Jing Du<br />
26COCOMO <br />
26th COCOMO Forum<br />
2011.11.2-2011.11.4<br />
<br />
USA<br />
5 2011<br />
<br />
Jian Zhai<br />
2011<br />
2011.7.17-2011.7.22<br />
MSV11<br />
<br />
USA<br />
6 2011<br />
<br />
Wen Zhang<br />
12<br />
12th International Workshop on<br />
Principles of <strong>Software</strong> Evolution and 2011.9.3-2011.9.8<br />
the 7th annual ERCIM Workshop on<br />
<strong>Software</strong> Evolution<br />
<br />
Hungary<br />
7 2011<br />
<br />
<br />
Qing WangY e<br />
YangDandan<br />
WangDa ang Y<br />
International Conference Week on<br />
Empirical <strong>Software</strong> Engineering<br />
2011.9.18-2011.9.23<br />
<br />
Canada<br />
8 2011<br />
<br />
Qing Wang<br />
CMMI<br />
CMMI Workshop<br />
2011.10.20-2011.10.25<br />
<br />
USA<br />
9 2011<br />
<br />
Juncheng Chen<br />
2011<br />
2011.12.13-2012.11.18<br />
SEA11<br />
<br />
USA<br />
10 2011<br />
<br />
Yongji Wang<br />
<br />
9th International Conference on IT 2011.12.16-2012.12.22<br />
frontier<br />
<br />
Pakistan<br />
11 2011<br />
<br />
Xin Dong<br />
18<br />
2011.12.05-2011.12.08<br />
18th APSEC<br />
<br />
Viet Nam
DOMESTIC COOPERATION<br />
3.2<br />
Domestic Academic<br />
Cooperation<br />
3.2.1 <br />
<br />
<br />
<br />
<br />
<br />
<br />
2011<br />
20114<br />
<br />
<br />
<br />
<br />
61<br />
<br />
Institute of <strong>Software</strong>, Chinese Academy of Sciences has a good<br />
reputation in China. Since its foundation, iTechs has been<br />
attaching much importance to domestic academic cooperation.<br />
Through co-applying the research projects, joint studying group<br />
and other ways, iTechs has rein<strong>for</strong>ced the collaboration and<br />
communication with other domestic universities and institutes.<br />
Our partners include Academy of Mathematics and Systems<br />
Sciences of Chinese Academy of Sciences, Institute of Computer<br />
Technology, Institute of Policy and Management Science, Graduate<br />
In 2011, iTechs has explored the cooperation with South China<br />
University of Technology in various aspects including academia<br />
visit, students’ co-education, etc. In April 2011, the Chief Scientist<br />
with the Lab, Professor Mingshu Li was granted as Adjunct<br />
Professor by South China University of Technology. Professor<br />
Mingshu Li addressed the keynote speech “<strong>Software</strong> Engineering<br />
<strong>Technologies</strong>——The Development and Outlook in the Cloud<br />
Environment”. After the speech, Professor Mingshu Li answered<br />
the questions and discussed with the attendants.<br />
School of Chinese Academy of Sciences, Tsinghua University,<br />
Peking University, Nanjing University, Beijing University of<br />
Aeronautics & Astronautics, Wuhan University, National University<br />
of Defense technology, etc.<br />
44<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 45<br />
Domestic Industry Cooperation<br />
3.2.2 <br />
<br />
China Development Bank<br />
<br />
<br />
Hitachi (China) Research<br />
and Development Limited Corporation<br />
2011120115<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
iTechs<br />
iTechs<br />
iTechs<br />
<br />
<br />
<br />
In 2011, collaborated with Hitachi (China) Research and<br />
Development Limited Corporation, iTechs launched the<br />
research project about a comprehensive assessment method of<br />
software outsourcing project. This project includes researches<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Delegated by China Development Bank, iTechs has launched the<br />
research project on software ef<strong>for</strong>t estimation and code quality<br />
evaluation models. This project’s goal is provide the software<br />
process measurement system, cost estimation model <strong>for</strong> the CDB’s<br />
outsourcing development lifecycle. The system and model aim to<br />
assure the compliance and comparability of the estimation scope<br />
and evaluation result, which can control the ef<strong>for</strong>t and budget <strong>for</strong><br />
outsourcing software project and reasonably allocate the project<br />
resource and schedule. Based on the research, we have produced a<br />
solution system supporting the CDB to evaluate the code quality of<br />
supplier, establish evaluation rules, and accumulate organizational<br />
quantitative process data to continuously improve the estimation<br />
ability, support supplier selection and provide evidence <strong>for</strong><br />
outsourcing decision making.<br />
on the measurement system of software outsourcing project,<br />
establishment of empirical data repository <strong>for</strong> software<br />
outsourcing industry, cost estimation model, and the method <strong>for</strong><br />
assessing software outsourcing supplier. The research outcome<br />
is expected to customize a cost estimation model <strong>for</strong> software<br />
outsourcing based on project characteristics and provide a<br />
supplier capability assessment model based on expert experience<br />
and historical data.<br />
<br />
Chengdu aircraft design & research institute<br />
2011<br />
<br />
<br />
In this research project, iTechs and Hitachi has per<strong>for</strong>med a sound<br />
collaboration. iTechs has obtained the first-hand Hitachi data<br />
outsourced to the Chinese software industry while Hitachi has<br />
established a method of cost estimation and supplier’s capability<br />
assessment <strong>for</strong> outsourcing software project.<br />
In 2011, iTechs has deeply collaborated with Chengdu aircraft design<br />
& research institute to provide a set of software process standards <strong>for</strong><br />
complex software-intensive system, which aims to guide the process<br />
tailoring and management.
EDUCATION<br />
<br />
<br />
<br />
<br />
iTechs provides a series of education opportunities <strong>for</strong> graduate students in the context<br />
of its research, development, and international collaboration in the internet software<br />
technologies. With the joint emphasis on knowledge, capability, and expertise,<br />
iTechs has paid particular attention to both innovative and practical aspects of<br />
graduate education and professional training.
DEGREE PROGRAMS<br />
4.1 <br />
<br />
<br />
The Lab offers both ISCAS Master and Ph.D. degrees in Computer<br />
Science with specialization in Compute <strong>Software</strong> and Theory degree<br />
programs <strong>for</strong> graduate students, which are officially offered by the<br />
Graduate University of the Chinese Academy of Sciences (GUCAS).<br />
GRADUATE EDUCATION<br />
4.2 <br />
The daily learning and research of the graduates are under the<br />
considerate guidance of the Graduate Advisor Team. The Chief<br />
Scientist of the Lab is in charge of the team. The team sets up a set<br />
of training plans, including major learning, research methodology<br />
learning, research practice and thesis writing guidance according<br />
<br />
<br />
<br />
<br />
<br />
<br />
to the requirements and conditions of ISCAS and the Lab.<br />
Meanwhile, several research groups are set up and research<br />
works are in progress under the teachers’ guidance.<br />
iTechs organizes a series of academic communication activities,<br />
such as seminar which is usually organized by the research<br />
group and open to the whole laboratory. Thus students will<br />
<br />
know each other better and their articulation abilities will be<br />
<br />
<br />
<br />
<br />
<br />
improved. Also iTechs actively invites the renowned professors<br />
and scholars to visit the lab. Through the keynote speech and<br />
discussion as well as collaborative research, the lab has<br />
provided a broad plat<strong>for</strong>m <strong>for</strong> the students to know the top<br />
researchers and their research.<br />
<br />
A series of quantitative assessment indicators were specified<br />
<br />
<br />
<br />
<br />
<br />
<br />
<strong>for</strong> the required research, involving the practical engineering<br />
practice workload and the number of academic reports and<br />
papers. The excellent one will be rewarded.<br />
iTechs tried its best to create the best environments <strong>for</strong> all<br />
students, and to expand the innovation and development room<br />
<strong>for</strong> students.<br />
48<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 49<br />
2011 GRADUATES<br />
4.3 <br />
20118<br />
In 2011, 8 Master students graduated from iTechs.In<strong>for</strong>mation about master graduates:<br />
<br />
No.<br />
<br />
Name<br />
<br />
Degree Advisor<br />
<br />
Thesis Title<br />
<br />
Current Employer<br />
1<br />
<br />
Yan Ku<br />
<br />
Master<br />
<br />
Qing Wang<br />
<br />
<br />
<br />
A <strong>Software</strong> Cost Estimation Method<br />
NetEase<br />
based on Use Cases and Its<br />
Supporting Tool<br />
2<br />
<br />
Peng Wan<br />
<br />
Master<br />
<br />
Yongji Wang<br />
WinWin<br />
<br />
User-driven Negotiation Process University of Southern<br />
and its Application in Requirement<br />
Cali<strong>for</strong>nia<br />
Analysis and Defect Negotiation<br />
3<br />
<br />
Hui<br />
Huang<br />
<br />
Master<br />
<br />
Qing Wang<br />
Agent<br />
<br />
A Process Asset Library Mining China North Industries<br />
Based Method <strong>for</strong> Creating Process-<br />
Corp.<br />
Agents<br />
4<br />
<br />
Lang Xie<br />
<br />
Master<br />
<br />
Yongji Wang<br />
<br />
<br />
An Evaluation and Optimization<br />
Yahoo R&D<br />
method of <strong>Software</strong> Ef<strong>for</strong>t Estimation<br />
Model<br />
5<br />
<br />
Wenjin<br />
Wu<br />
<br />
Master<br />
<br />
Ye Yang<br />
<br />
<br />
Social Network Analysis Based<br />
<br />
Approach to Recommending<br />
Sogou company<br />
Bug Fixing Developers and<br />
Implementation<br />
6<br />
<br />
Xinguang<br />
Chen<br />
<br />
Master<br />
<br />
Qing Wang<br />
<br />
<br />
<br />
<strong>Software</strong> Third-party Test Strategy in<br />
NetEase<br />
Electronic Government Application<br />
and Implementation<br />
7<br />
<br />
Haopeng<br />
Zhang<br />
<br />
Master<br />
<br />
Mingshu Li<br />
<br />
<br />
<br />
A Fuzzy-Based Method and Tool <strong>for</strong><br />
NetEase<br />
Evaluating the Trustworthiness of<br />
<strong>Software</strong> Processes<br />
8<br />
<br />
Bei Zhang<br />
<br />
Master<br />
<br />
Xiaoyong<br />
Huai<br />
<br />
<br />
Sencha<br />
Resource-Stochastic-Feature-<br />
Sencha Inc.<br />
Description Oriented<br />
<strong>Software</strong> Process Modeling Method
PERSONNEL TRAINING AND<br />
TEAM CONSTRUCTION
20113<br />
<br />
iTechs attaches importance to personnel training and team construction.<br />
Following the unity and serious, intense and lively team-building policy, there<br />
were fruitful achievements in 2011. Three assistant researchers have been<br />
promoted as associate professors.
NEW ASSOCIATE PROFESSORS<br />
5.1 <br />
19792009<br />
<br />
2010<br />
ICSEECOOPASEFASEASE<br />
ACM SIGSOFTACM SIGSOFT<br />
102<br />
Hao Zhong is now an associate professor with Institute of <strong>Software</strong>, Chinese Academy of Sciences.<br />
<br />
Hao Zhong<br />
He obtained his PhD degree from Peking University in 2009. He was elected as one of the excellent<br />
students when he was a student with Peking University, and his PhD dissertation was nominated<br />
as a distinguished dissertation by CCF. His papers have been published in top software engineering<br />
conferences and journals such as ICSE, ASE, ECOOP, and FASE. Among them, his ASE paper won the<br />
ACM SIGSOFT Distinguished paper award. This award was elected from the best papers published in<br />
top conference globally, and in each year, only about ten papers were elected. His ASE paper was the<br />
second ACM SIGSOFT Distinguished paper elected from mainland China.<br />
19792002<br />
200320091<br />
<br />
<br />
/<br />
COCOMO_U<br />
USC-CSSEWikiWinWin<br />
<br />
<br />
Da Yang<br />
<br />
<br />
Da Yang is now an associate professor with Institute of <strong>Software</strong>, Chinese Academy of Sciences. He<br />
got a bachelor degree of computer science from Peking University in 2002 and a bachelor degree of<br />
economics from Peking University in 2003. He got his PhD degree from Institute of <strong>Software</strong>, Chinese<br />
Academy of Sciences in Jan. 2009. He used to be a visiting scholar at Center <strong>for</strong> Systems and <strong>Software</strong><br />
Engineering, University of Southern Cali<strong>for</strong>nia.<br />
His research works include systems and software process improvement, systems and software cost<br />
52<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 53<br />
estimation, systems and software measurement, requirement engineering, online software evolution,<br />
software ecosystem, and mining user behavior data. In the area of cost estimation, he proposed the<br />
COCOMO_U method. In the area of requirement engineering, he collaborated with USC-CSSE and<br />
proposed the WikiWinWin method. In the area of online software evolution, he collaborated with<br />
Taobao (the largest e-commerce company in China) and improved the advertisement recommendation<br />
service in Taobao. In the area of ecosystem, he collaborated with RenRen (the Chinese Facebook), and<br />
improved the online social network application plat<strong>for</strong>m based on user behavior mining.<br />
1981<br />
20027<br />
20065<br />
2009 4 Japan Advanced Institute of Science and<br />
Technology20094iTechs20121<br />
<br />
20International Journal of <strong>Software</strong> Engineering<br />
and Knowledge EngineeringKnowledge-based SystemsExpert Systems with Applications<br />
<br />
Wen Zhang<br />
International Journal of In<strong>for</strong>mation Technology and Decision Making , QSICESEM<br />
APSECPROMISEIWPSE<br />
<br />
Wen Zhang is an associate professor with Institute of <strong>Software</strong>, Chinese Academy of Sciences. He<br />
is a member in empirical software engineering group in iTechs and his primary research interests<br />
include software data mining and knowledge management in software engineering. In July 2002, he<br />
obtained his bachelor degree in engineering from Chongqing University. In May 2006, he obtained<br />
his master degree in management science from the Key <strong>Laboratory</strong> of Management, Decision and<br />
In<strong>for</strong>mation Systems, Academy of Mathematics and Systems Science, Chinese Academy of Sciences.<br />
In April 2009, he obtained his PhD degree in knowledge science from Japan Advanced Institute of<br />
Science and Technology. Since then, he worked as an assistant professor with iTechs. In January,<br />
2012, he was promoted as an associate professor. He has published more than 20 journal and<br />
conference papers in the area of software engineering, data mining and knowledge management,<br />
such as the international journals IJSEKE, Knowledge-based Systems and IJITDM, and the international<br />
conferences QSIC, ESEM, APSEC, PROMISE and IWPSE, etc. Currently, he is responsible <strong>for</strong> one national<br />
natural science project of China, one Beijing natural science project and one research project <strong>for</strong> the<br />
Returned Overseas Chinese Scholars.
LAB CULTURE<br />
Every year, a variety of student culture activities is held regularly in<br />
<br />
iTechs, which makes everyone feels the laboratory culture and the<br />
warmth of family.<br />
In 2011, iTechs held or participated in many activities including<br />
Happy Hour, singing competition, badminton game, annual meeting<br />
and graduates reunion, etc.<br />
<br />
<br />
2011Happy Hour<br />
<br />
Happy Hour<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Happy Hour is a birthday party held <strong>for</strong> teachers and students in the<br />
laboratory. At Happy Hour, teachers and students gather together<br />
happily, share delicious cakes and send their best wishes. In addition,<br />
Badminton is held regularly every week in iTechs. Teachers and<br />
students are encouraged to exercise actively to strengthen their<br />
physique. Thus they can keep a more energetic state of mind <strong>for</strong><br />
study, work and life. Annual meeting and singing competition is also<br />
held, which provides a show stage <strong>for</strong> teachers and students in the<br />
laboratory. What's more, graduates reunion is held in the laboratory<br />
every summer. Students who have graduated from iTechs are invited<br />
back to communicate with us. They recall their lifes in iTechs and<br />
talk about their working experience, which provides reference and<br />
guidance to the present students.<br />
54<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 55<br />
<br />
<br />
Good organizational culture is an impetus of organizational development. iTechs actively advocates building the<br />
laboratory culture "bring into full play each one's ability, make the best of things, fulfill the utmost value of the<br />
talents", in order to create a good cultural atmosphere in that all the<br />
teachers and students work passionately to pursue<br />
their ambitions.
56<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
WHAT<br />
ITECHSERS SAY<br />
iTechser<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 57
WEN ZHANG<br />
7.1 <br />
iTechs<br />
iTechs 2008iTechs<br />
<br />
iTechs<br />
<br />
iTechs<br />
iTechs<br />
<br />
<br />
iTechs<br />
iTechs<br />
<br />
<br />
<br />
iTechs<br />
<br />
<br />
<br />
iTechsiTechs<br />
<br />
<br />
iTechs<br />
iTechs<br />
iT<br />
echs<br />
<br />
<br />
When I look at the iTechs annual report 2008 in my hands, I<br />
iTechs<br />
<br />
iTechs<br />
<br />
iTechs<br />
<br />
<br />
<br />
<br />
<br />
20094iTechs<br />
<br />
iTechs<br />
<br />
<br />
<br />
2010<br />
<br />
<br />
<br />
understand that I have already been in iTechs <strong>for</strong> 3 years. Time<br />
flies so quickly and it is another time to make the iTechs annual<br />
report 2011.<br />
The life in iTechs of these 3 years is delightful. Although I was<br />
confronted with difficulties from time to time in my research<br />
work, the outcome of the research is always promising on the<br />
condition that I invested my ef<strong>for</strong>t to the research continuously.<br />
When I came here at the first time, iTechs impressed me with<br />
its youth and vitality. In these 3 years, my stay in iTechs validates<br />
my first impression of iTechs. The professors of iTechs are very<br />
talented and most of them have overseas research experiences.<br />
Despite that the current academic environment in China causes<br />
undesirable influence on some research institutions, iTechs<br />
professors' international vision ensures that the research is in<br />
cutting edge frontiers and sustainable progress is made in iTechs.<br />
The students in iTechs are very excellent, and be<strong>for</strong>e entering<br />
iTechs as graduate students, most of them graduated from the top<br />
universities in China with remarkable grades.<br />
iTechs is like a large and warm family. Each member of the<br />
family is striving <strong>for</strong> outstanding scientific research. Sometimes,<br />
58<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 59<br />
we are depressed <strong>for</strong> not reaching the expected goal, and at<br />
other times, we are pleased <strong>for</strong> the acceptance of our research<br />
outcome. Although the research field in iTechs is of diversity and<br />
each member may have different research questions, we have<br />
no barrier in communication with other people’s research. In<br />
seminar, iTechsers are eager to express their views and opinions.<br />
Sometimes they discussed with each other so actively that the<br />
seminar had to be prolonged again and again. In daily life,<br />
iTechsers support each other to make progress together. iTechsers<br />
work collaboratively <strong>for</strong> their common goals, i.e., to make iTechs<br />
an internationally influential laboratory in software engineering.<br />
I still remember that when I joined iTechs in April, 2009. It was<br />
very hard <strong>for</strong> me to find interesting research questions due<br />
to the difference between my doctoral research and software<br />
engineering. Professor Qing Wang helped me a lot on how to<br />
combine knowledge management and software engineering<br />
by analyzing my research basis and the advantages of iTechs. In<br />
the spring of 2010, when I prepared to apply the natural science<br />
foundation of china (NSFC) project, Professors Mingshu Li, Qing<br />
Wang and Ye Yang provided me with much guidance on the<br />
contents and writing structures of my application. I can understand<br />
that, as a researcher, it is my own responsibility to individually<br />
apply scientific research fund by myself. The warmness, help and<br />
guidance from professors Mingshu Li, Qing Wang and Ye Yang<br />
really encouraged me very much to improve myself as an iTechser.<br />
I enjoyed the research life in iTechs in these 3 years very much.<br />
Everything here is so positive and happy. Although sometimes I<br />
was also confused and frustrated with my research and life, I can<br />
always find the way out after communicating with my colleagues<br />
in iTechs. I know, what I have done is of little significance <strong>for</strong><br />
iTechs. However, what iTechs has provided to me is an opportunity<br />
to explore more and more unknown research fields <strong>for</strong> me.<br />
The three years' life in iTechs is wonderful. This makes me<br />
believing that, we are destined to achieve our ambition if we<br />
invest our energy and enthusiasm here. The future of iTechs and<br />
iTechsers will be fine!<br />
JUNCHAO XIAO<br />
7.2 <br />
2011<br />
<br />
QoneQone<br />
1999<br />
863Qone5.X<br />
<br />
Qone<br />
Qone2.02004<br />
Qone2.5<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Qone
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
In 2011, I join the department of software engineering tool<br />
and service, NFS-China Ltd. I am in charge of the consulting<br />
of software process improvement, and also the development<br />
and selling of software process management plat<strong>for</strong>m - Qone.<br />
Qone is one important fruit of our lab. Since the lab undertook<br />
863 project of software process technique in 1999, Qone has<br />
developed <strong>for</strong> more than 10 years. The current version is 5.3 and<br />
has hundreds of enterprise customers. A lot of early students in<br />
the lab have ever taken part in Qone development. For example,<br />
I joined the lab when Qone 2.0 was delivered. In the spring of<br />
2004, I experienced the whole development process, including<br />
requirement analysis, design, coding and testing, in developing<br />
Qone 2.5. In the following years, I also worked as Qone technical<br />
support, software process development consultant, etc. All these<br />
work provide me with valuable materials <strong>for</strong> later researches.<br />
From researches to industry in 2011, I devote to Qone related<br />
work in the company. From the combination of theory with<br />
practice, I have a deeper understanding of the theories and<br />
methods proposed by the lab. One important goal of the company<br />
is to improve ROI. The main investment of software development<br />
is human resources. The return is the product functions needed by<br />
users. To gain the maximal return, on one hand, the productivity of<br />
human resources should be increased. It is valuable that we have<br />
the research issues in the lab such as software process modeling,<br />
software estimation, human resource capability estimation,<br />
multi-project resource scheduling, quality management, and risk<br />
management. Thus, according to resource capability and usability,<br />
resources can be properly used. Products' quality is assured so<br />
that rework and maintaining can be reduced. In addition, risks<br />
can be properly prevented under complex actual development<br />
environment and the trustworthy development process is<br />
guaranteed. On the other hand, according to different customers'<br />
demands, it is required that process output can have the highest<br />
value. There<strong>for</strong>e, researches such as requirement negotiation,<br />
release planning based on value play an important role <strong>for</strong><br />
obtaining customer demands and avoiding meaningless ef<strong>for</strong>t.<br />
I am lucky to have such a chance to participate in the company<br />
and have the industrial experience. The valuable experience will<br />
be very helpful to the future research!<br />
60<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 61<br />
LIN SHI<br />
7.3 <br />
<br />
<br />
<br />
<br />
<br />
QONE<br />
<br />
2008<br />
2010<br />
<br />
<br />
<br />
Randy<br />
<br />
Pausch"Brick walls are there <strong>for</strong> a<br />
<br />
reason: they let us prove how badly we want things."<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
摞 <br />
<br />
I like to read the annual report of the laboratory every year, <strong>for</strong> that<br />
it summarized and accumulated the harvest and progress of the<br />
laboratory each year. This year I exchange my role from reader to<br />
writer to share some of my experiences here, and hope that it can<br />
help.<br />
Let me briefly introduce myself first. I come from Changchun,<br />
Jilin, and graduated from Nanjing University software institute.<br />
My study field is theory and practice of software process. I came<br />
to our lab in 2008, and turned to Ph.D student in 2010. I affiliate<br />
to Requirements engineering group and my research direction<br />
is requirements evolution, software evolution and requirements<br />
impact analysis.<br />
Time seems to slip away much faster. This is already the fourth<br />
year I came to the laboratory.<br />
My first year in graduate school mainly related to class learning<br />
and this years’ time can be counted the most "carefree". After four<br />
years of college training, exam and study seems not so difficulty<br />
to us. We get acquainted with many new friends and classmates,<br />
and usually play together <strong>for</strong> fun. We also have new mentors in<br />
<br />
the lab. They lead us to understand what and how to do research.<br />
<br />
CMMI<br />
<br />
<br />
Although the first year seems to be rather “carefree” than others,<br />
there are at least three things need to be noticed. The first one<br />
is about the content of our courses, which are the basis of our<br />
future work. The course needs to be carefully selected, and should
e closely related to our future research directions. The second<br />
thing is the way we study in graduated school, which is quite<br />
different from the way we study in the college. We should not only<br />
know what a thing is but also know why it is. The third thing is<br />
involvement in the research. For students who still have enough<br />
energy on other things, they can participate in some light tasks<br />
in the lab. It will be better if they can apply what they learned in<br />
courses into the tasks, because they can rein<strong>for</strong>ce their knowledge<br />
as well as lay a good foundation <strong>for</strong> future research work.<br />
After one-year study, I eventually enter the requirements group in<br />
our lab. Our group leader made international academic exchange<br />
to Australia, and then Dr. Zhong taught me instead. I would like<br />
to thank Dr. Zhong. He gave me great help from the beginning to<br />
the end. Dr. Zhong helped me to modify my drafts. Those printed<br />
revisions can pile thickly. Although the process was difficult, I have<br />
experienced an outstanding research worker who has rigorous<br />
Then I have a chance to participate in software practice via the<br />
channel of production and research of our lab. I serve as an intern<br />
<strong>for</strong> the NFSChina Company. I saw the real software industry and<br />
how it works. I realized some of my ideas be<strong>for</strong>e, in fact, were<br />
whimsical and unrealistic. In practice, I can see different types of<br />
software projects, which can make growth of my knowledge and<br />
experience. I tried my best to take care both practice and research.<br />
In daytime, I work in the company. And in nighttime, I came back<br />
to lab <strong>for</strong> research. Although such kind of life seems tired, I feel<br />
quite fulfilled inside.<br />
The research is very hard. When we find it difficult to stick on,<br />
let us think about students around and teachers who still pay<br />
ongoing ef<strong>for</strong>ts. Then we will not feel lonely. Finally, I would like<br />
to cite Professor Randy Pausch's words <strong>for</strong> encouraging all of us:<br />
"Brick walls are there <strong>for</strong> a reason: they let us prove how badly we<br />
want things."<br />
altitude and cautious spirit and perseverance. All of them are<br />
deserved to be my future goals.<br />
DU JING<br />
7.4 <br />
2011814CA983<br />
iTechser<br />
<br />
<br />
Barry<br />
Boehm<br />
<br />
<br />
<br />
Tommy Trojan<br />
Doheny<br />
24Leavey<br />
Leavey<br />
1280%Leavey<br />
USCUCLA<br />
UCLA<br />
<br />
Boehm<br />
<br />
<br />
<br />
<br />
<br />
<br />
62<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 63<br />
<br />
Boehm<br />
<br />
<br />
Boehm<br />
<br />
<br />
<br />
<br />
<br />
<br />
Qualification<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
the library’s 80% seats are occupied. In Leavey, I witnessed the “Flash<br />
Mob” activity and “Bear Burning” be<strong>for</strong>e the American football game<br />
between USC and UCLA (Bear is the significance of UCLA).<br />
Compared with the relaxing campus atmosphere, the teachers and<br />
students take the study and research pretty serious. I have audited two<br />
courses in USC. In the class the students can raise their hands at any time<br />
to interrupt the teacher <strong>for</strong> questions or discussion. I heard a very typical<br />
case to show their attitude to study. One famous professor opened a<br />
course to teach the master students to write normative code. He was very<br />
tough with the students and even required the thresholds of variables and<br />
statements within a function. Even the writing style should be followed<br />
as he instructed. The students all felt miserable in writing the homework<br />
and exams. But they all think it is so helpful in their later study.<br />
In USC, my research topic is cost estimation modeling <strong>for</strong> secure software<br />
system supervised by Professor Boehm. As mentioned by Associate<br />
Professor Ye Yang, every time when I held some questions and entered<br />
Professor’s office, I always ended with bunch of more questions without<br />
the <strong>for</strong>mer ones unsolved. Sometimes I felt puzzled with Professor’s<br />
suggestions on the further research. But when I dug deeper, his<br />
suggestions and questions showed its significance itself. Sometimes,<br />
while he is guiding me on the research, he could just fetch a book and<br />
turn to the page which is related to my research. I am so amazed by all<br />
of these. Not only the Professor himself, but also his students all show<br />
their serious attitude to the research. In their research, the hypothesis,<br />
On 14th August 2011, I landed on the flight CA983 heading <strong>for</strong> Los<br />
Angeles, US and flied across the oceans. As an iTechser, I use my eyes to<br />
feel the big big world.<br />
I know I am so lucky that I can have this precious opportunity to visit<br />
one of the most famous universities world-wide-University of Southern<br />
Cali<strong>for</strong>nia. Also it is my great honor to be supervised by Professor Barry<br />
Boehm who is respected as “the father of software economics” during<br />
my stay. Besides expressing my gratitude, I would like to share my<br />
feelings and gains in US.<br />
The first day when I entered the campus, I was amazed by the active as<br />
well as peaceful atmosphere. Bunch of young students are everywhere.<br />
The campus constructions are very distinctive, especially the famous<br />
methodology, application, validation in one research work is complete<br />
and clear.<br />
In my spare time, I have experienced Los Angeles every aspect with the<br />
friends. When Americans say Chinese “XIEXIE” to me, I really feel happy.<br />
When I encountered trouble and the strangers walk up and offer their<br />
help, I feel so moved. In LA, every day, I am feeling, and being moved so<br />
that I always dream back to LA even when I am Beijing now.<br />
The visit ended very soon. But the experience has already stamped<br />
heavily in my heart and I will cherish this memory all my life. Thanks to<br />
the teachers, thank them to provide me such a precious chance. I will<br />
use it to encourage myself to improve continuously and try to achieve top<br />
research result in the future!<br />
Tommy Trojan Status. The Libraries in USC are also fantastic. The Doheny<br />
Memorial Library with a long history is said to be act as the scene in<br />
a famous TV play. Leavey Library opening 24-hour a day is my most<br />
frequent stay place. It is famous <strong>for</strong> its high occupancy. Even at 1 or 2 am,
7.5 <br />
崔 建 苓<br />
<br />
<br />
<br />
<br />
冯 馨 玥<br />
<br />
<br />
<br />
<br />
韩 广 乐<br />
<br />
<br />
<br />
<br />
<br />
韩 旭<br />
happy hour<br />
<br />
<br />
64<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011 65<br />
李 姣 阳<br />
11<br />
Movie Night<br />
<br />
李 伟 亨<br />
iTecher<br />
<br />
<br />
<br />
刘 海 宾<br />
<br />
<br />
<br />
<br />
毛 可<br />
happy hourBoehm
毛 彦 淇<br />
<br />
<br />
<br />
王 松<br />
<br />
<br />
<br />
<br />
吴 含 宇<br />
<br />
<br />
<br />
<br />
66<br />
<strong>ANNUAL</strong> <strong>REPORT</strong> 2011
徐 可 欣<br />
iTechs<br />
<br />
周 鹏 颖
LABORATORY FOR INTERNET SOFTWARE TECHNOLOGIES<br />
INSTITUTE OF SOFTWARE CHINESE ACADEMY OF SCIENCES<br />
Address4511<br />
F11, No. 5 building, #4, South Fourth Street, Zhong Guan Cun, Beijing, China, 100190<br />
T el010-62661800<br />
F ax010-62661817<br />
Emailinfo@itechs.iscas.ac.cn<br />
<strong>Internet</strong>http://itechs.iscas.ac.cn