13.01.2015 Views

ANNUAL REPORT - Laboratory for Internet Software Technologies

ANNUAL REPORT - Laboratory for Internet Software Technologies

ANNUAL REPORT - Laboratory for Internet Software Technologies

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!