Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Software Engineering & Digital Media Technology

956 Pages·2013·23.88 MB·English

by  Jie Chen (auth.), Wei Lu, Guoqiang Cai, Weibin Liu, Weiwei Xing (eds.)

Lecture Notes in Electrical Engineering
Volume 212
For furthervolumes:
http://www.springer.com/series/7818
Wei Lu Guoqiang Cai
• •
Weibin Liu Weiwei Xing
•
Editors
Proceedings of the 2012
International Conference
on Information Technology
and Software Engineering
Software Engineering & Digital Media
Technology
123
Editors
Wei Lu Guoqiang Cai
Beijing JiaotongUniversity Beijing JiaotongUniversity
Beijing Beijing
People’s Republic ofChina People’s Republic ofChina
Weibin Liu Weiwei Xing
Beijing JiaotongUniversity Beijing JiaotongUniversity
Beijing Beijing
People’s Republic ofChina People’s Republic ofChina
ISSN 1876-1100 ISSN 1876-1119 (electronic)
ISBN 978-3-642-34530-2 ISBN 978-3-642-34531-9 (eBook)
DOI 10.1007/978-3-642-34531-9
SpringerHeidelbergNewYorkDordrechtLondon
LibraryofCongressControlNumber:2012950857
(cid:2)Springer-VerlagBerlinHeidelberg2013
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof
the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations,
recitation,broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionor
informationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilar
methodology now known or hereafter developed. Exempted from this legal reservation are brief
excerpts in connection with reviews or scholarly analysis or material supplied specifically for the
purposeofbeingenteredandexecutedonacomputersystem,forexclusiveusebythepurchaserofthe
work. Duplication of this publication or parts thereof is permitted only under the provisions of
theCopyrightLawofthePublisher’slocation,initscurrentversion,andpermissionforusemustalways
beobtainedfromSpringer.PermissionsforusemaybeobtainedthroughRightsLinkattheCopyright
ClearanceCenter.ViolationsareliabletoprosecutionundertherespectiveCopyrightLaw.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this
publicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexempt
fromtherelevantprotectivelawsandregulationsandthereforefreeforgeneraluse.
While the advice and information in this book are believed to be true and accurate at the date of
publication,neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityfor
anyerrorsoromissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,with
respecttothematerialcontainedherein.
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Committees
Honorary Chair
Yaoxue Zhang, Central South University, China
General Chairs
Wei Lu, Beijing Jiaotong University, China
Jianhua Ma, Hosei University, Japan
Steering Committee Chairs
Zengqi Sun, Tsinghua University, China
Shi-Kuo Chang, University of Pittsburgh, Knowledge Systems Institute, USA
Mirko Novak, Institute of Computer Science, Czech Academy of Sciences,
Czech Republic
Program Committee Chairs
Guoqiang Cai, Beijing Jiaotong University, China
Weibin Liu, Beijing Jiaotong University, China
Organizing Committee Chairs
Weiwei Xing, Beijing Jiaotong University, China
Qingshan Jiang, Shenzhen Institute of Advanced Technology, Chinese Academy
of Science, China
Kin Fun Li, University of Victoria, Canada
Tole Sutikno, Ahmad Dahlan University, Indonesia
Technical Program Committee Members
Bin Luo, Nanjing University, China
Charles Clarke, University of Waterloo, Canada
Chih Lai, University of St.Thomas, USA
Chris Price, Aberystwyth University, England
David Levy, University of Sydney, Australia
Hong-Chuan Yang, University of Victoria, Canada
v
vi Committees
Jeff Offutt, George Mason University, USA
Kenji Ohmori, Hosei University, Japan
Kim Jong Boo, Induk University, Korea
Mei Hong, Sichuan University, China
Minghong Liao, Xiamen University, China
Qiang Liu, Tsinghua University, China
Qin Liu, Tongji University, China
Qun Jin, Wesada University, Japan
Qun Wang, China University of Geosciences (Beijing), China
Simon Kaplan, Queensland University of Technology, Australia
Tong Li, Yunnan University, China
Wenzheng Li, Beijing University of Technology, China
Xiaoguang Liu, Nankai University, China
Yaping Lin, Hunan University, China
Yong Zeng, Tsinghua University, China
Zhaopeng Meng, Tianjin University, China
Zhigang Hu, Central South University, China
Zhiliang Zhu, Northeastern University, China
Zhonghai Wu, Peking University, China
Zhongxuan Luo, Dalian University of Technology, China
Preface
The 2012 International Conference on Information Technology and Software
Engineering (ITSE2012) was held by Beijing Jiaotong University in Beijing on
December 8–10, 2012. The objective of ITSE2012 was to provide a platform for
researchers, engineers, academicians as well as industrial professionals from all
over the world to present their research results and development activities in
Information Technology and Software Engineering. This conference provided
opportunitiesforthedelegatestoexchangenewideasandapplicationexperiences
face-to-face, to establish research or business relations and to find globalpartners
for future collaboration.
We have received more than 1,300 papers covering most of the aspects in
Information Technology, Software Engineering, Computing Intelligence, Digital
Media Technology, Visual Languages and Computing, and etc. All submitted
papers have been subject to a strict peer-review process; about 300 of them were
selected for presentation at the conference and included in the ITSE2012
Proceedings.Webelievetheproceedingscanprovidethereadersabroadoverview
about the latest advances in the fields of Information Technology and Software
Engineering.
ITSE2012 has been supported by many professors (see the name list of the
committees); we would like to take this opportunity to express our sincere
gratitude and highest respect to them. At the same time, we also express our
sincere thanks for the support of every delegate.
Wei Lu
Chair of ITSE2012
vii
Contents
Part I Software Engineering
1 Detecting Null Dereference with a Game. . . . . . . . . . . . . . . . . . 3
Jie Chen
2 Interactive and Collaborative E-Learning Platform
with Integrated Social Software and Learning
Management System. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Zhao Du, Xiaolong Fu, Can Zhao, Qifeng Liu and Ting Liu
3 Neural Network Based Software Reliability Prediction
with the Feed of Testing Process Knowledge . . . . . . . . . . . . . . . 19
Tian Jie, Zhou Yong and Wang Lina
4 Complexity Metrics Significance for Defects:
An Empirical View. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Syed Muhammad Ali Shah and Maurizio Morisio
5 A Petri Net Based Automatic Executable Code Generation
Method for Web Service Composition. . . . . . . . . . . . . . . . . . . . 39
Zhijun Ding, Jieqi Liu and Junli Wang
6 A SPMP Changeability Measurement Model
for Reducing Software Development Risk . . . . . . . . . . . . . . . . . 49
Sen-Tarng Lai
7 Timing Sequence Analysis Technology and Application
of RVD Software Based on Black Box Testing Environment. . . . 59
Zhenhua Wang, Guofeng Zhang, Zhaohui Chen,
Weijin Zhang and Suo Xuhua
ix
x Contents
8 Application Research of Two-Dimensional Barcode
in Information Construction of Colleges . . . . . . . . . . . . . . . . . . 71
Yan Yan, Qifeng Li, Minghua Cao, Haiyan Chen and Jianbin Xue
9 Automatic Test of Space Rendezvous
and Docking GNC Software . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
Zhenhua Wang, Zhaohui Chen, Guofeng Zhang
and Hanxiao Zhang
10 Design and Implementation of Material Supply System
Based on B/S and C/S Mixed Mode. . . . . . . . . . . . . . . . . . . . . . 93
Taiping Mo, Meng Wang, Kefeng Fan and Dan Wang
11 A Power System Distributed Computing
Model Based on SOA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
Ruifeng Zhao, Wei Yan, Jinge Zhang and Fang He
12 Measurability: A Key Problem for Test Systems . . . . . . . . . . . . 111
Jing Wang, Qi Zhang and Wei Jiang
13 MBCrawler: A Software Architecture
for Micro-Blog Crawler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
Gang Lu, Shumei Liu and Kevin Lü
14 Optimization Model of Software Fault Detection . . . . . . . . . . . . 129
Ye Jun-min, Chen Ying-xiang, Chen Jing-ru and Feng Jia-jie
15 Generic Contract-Regulated Web Service Composition
Specification and Verification . . . . . . . . . . . . . . . . . . . . . . . . . . 137
Jie Zhai, Zhiqing Shao, Yi Guo and Haiteng Zhang
16 Adaptive Random Testing Through Dynamic Partitioning
by Localization with Restriction and Enlarged Input Domain. . . 147
Korosh koochekian sabor and mehran mohsenzadeh
17 Effective Test Case Generation via Concolic Execution . . . . . . . 157
Yan Hu and He Jiang
18 An Integrated Method for Rapid Software Development
and Effective Process Management . . . . . . . . . . . . . . . . . . . . . . 165
Jyhjong Lin, Chaoyu Lin and Weipang Yang
Contents xi
19 A Configuration and Analysis System for Box-Joint
Assembly Tooling. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
Yiwei Wang, Lianyu Zheng and Qingjun Liu
20 A Ranking-Based Approach for Service Composition
with Multiple QoS Constraints . . . . . . . . . . . . . . . . . . . . . . . . . 185
Weidong Wang, Wei Lu, Liqiang Wang, Weiwei Xing
and Zhao Li
21 Research of Multiple Tenants for Medical
Information Service . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
Jie Liu and Qing Zhu
22 Automated Generation of Test Cases Based
on Path Optimization Algorithm. . . . . . . . . . . . . . . . . . . . . . . . 205
Ci Liang and Wei Zheng
23 The Development of Jade Agent for Android Mobile Phones . . . 215
Yu Weihong and Yan Chen
24 Test Case Selection Based on a Spectrum
of Complexity Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
Bouchaib Falah and Kenneth Magel
25 Web Application Modeling and Anomaly Detection. . . . . . . . . . 237
Huihui Hou and Tongge Xu
26 The Impact of Module Attributes on Project Defect Density. . . . 249
Syed Muhammad Ali Shah and Maurizio Morisio
27 A New Method for Software Reliability Modeling . . . . . . . . . . . 261
Weiyong Huang, Kui Chen, Yuqin Gao and Rong Bao
28 The Study on Chinese Speech Recognition Based on Android. . . 269
Yaping Wang and Baoshan Li
29 A New Firmware Upgrade Mechanism Designed
for Software Defined Radio Based System. . . . . . . . . . . . . . . . . 277
Jianzhuang Li, Cheng Chang, Dongyuan Shi, Wei Xia
and Lin Chen
30 A Practical Key Management Scheme in Software Layer
and Its Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 285
An Wang, Zheng Li and Xianwen Yang
xii Contents
31 CIE: Learner Behavior Modeling Oriented Component
Model for Edutainment Game. . . . . . . . . . . . . . . . . . . . . . . . . . 295
Yue Zhang, Zhiqiang Dai and Fang Miao
Part II Digital Media Technology
32 T-Base: A Triangle-Based Iterative Algorithm
for Smoothing Quadrilateral Meshes. . . . . . . . . . . . . . . . . . . . . 305
Gang Mei, John C. Tipper and Nengxiong Xu
33 A High Efficient Real-Time Look-Ahead
NURBS Interpolator. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 317
Jianhua Hu, Yunkuan Wang, Hui Wang and Ze Zong
34 A Combinatorial Pruning Algorithm
for Voronoi Skeletonization. . . . . . . . . . . . . . . . . . . . . . . . . . . . 325
Hongzhi Liu, Zhonghai Wu, Xing Zhang and D. Frank Hsu
35 Three-Dimensional Geometric Invariant Construction
from Images. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335
Xiaodong Wang, Xiao Chen and Shanshan Qu
36 A Novel (k, n) Visual Secret Sharing Scheme Based
on Random Grids. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345
Guanshi Zhong and Jianjun Wang
37 Web 3D Model Library System Based on Cloud Platform . . . . . 353
Mingang Chen, Wenjun Cai, Shida Lu,
Luwei Zhang and Lizhuang Ma
38 A New Framework for Layered Depth Video Coding. . . . . . . . . 361
Zhu Ting, Dongxiao Li, Wang Lianghao and Ming Zhang
39 Standard Speaker Selection in Speech Synthesis
for Mandarin Tone Learning . . . . . . . . . . . . . . . . . . . . . . . . . . 375
Yanlu Xie, Jinsong Zhang and Shuju Shi
40 Separating Algorithm for Quasi-Circle Overlapping
Images Based on Improved Hough Transform. . . . . . . . . . . . . . 385
Siming Cheng, Kangling Fang and Xinhai Liu