Software Engineering and Methodology for Emerging Domains: 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings

235 Pages·2016·14.487 MB·English

by  Lu Zhang, Chang Xu (eds.)

Lu Zhang · Chang Xu (Eds.)
Communications in Computer and Information Science 675
Software Engineering
and Methodology
for Emerging Domains
15th National Software Application Conference, NASAC 2016
Kunming, Yunnan, November 3–5, 2016
Proceedings
123
Communications
in Computer and Information Science 675
Commenced Publication in 2007
Founding and Former Series Editors:
Alfredo Cuzzocrea, Dominik Ślęzak, and Xiaokang Yang
Editorial Board
Simone Diniz Junqueira Barbosa
Pontifical Catholic University of Rio de Janeiro (PUC-Rio),
Rio de Janeiro, Brazil
Phoebe Chen
La Trobe University, Melbourne, Australia
Xiaoyong Du
Renmin University of China, Beijing, China
Joaquim Filipe
Polytechnic Institute of Setúbal, Setúbal, Portugal
Orhun Kara
TÜBİTAK BİLGEM and Middle East Technical University, Ankara, Turkey
Igor Kotenko
St. Petersburg Institute for Informatics and Automation of the Russian
Academy of Sciences, St. Petersburg, Russia
Ting Liu
Harbin Institute of Technology (HIT), Harbin, China
Krishna M. Sivalingam
Indian Institute of Technology Madras, Chennai, India
Takashi Washio
Osaka University, Osaka, Japan
More information about this series at http://www.springer.com/series/7899
Lu Zhang Chang Xu (Eds.)
(cid:129)
Software Engineering
and Methodology
for Emerging Domains
15th National Software Application Conference, NASAC 2016
Kunming, Yunnan, November 3–5, 2016
Proceedings
123
Editors
LuZhang Chang Xu
Schoolof Electronics Engineering State Key Laboratoryfor Novel Software
andComputer Science Technology andDepartmentof Computer
PekingUniversity Science andTechnology
Beijing NanjingUniversity
China Nanjing, Jiangsu
China
ISSN 1865-0929 ISSN 1865-0937 (electronic)
Communications in Computer andInformation Science
ISBN 978-981-10-3481-7 ISBN978-981-10-3482-4 (eBook)
DOI 10.1007/978-981-10-3482-4
LibraryofCongressControlNumber:2016960779
©SpringerNatureSingaporePteLtd.2016
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerNatureSingaporePteLtd.
Theregisteredcompanyaddressis:152BeachRoad,#22-06/08GatewayEast,Singapore189721,Singapore
Preface
The National Software Application Conference (NASAC) is the annual conference
oftheCCFTechnicalCommitteesofSoftwareEngineeringandSystemSoftware.This
year, NASAC 2016, the 15th event in the series, had a special theme on “Software
Engineering and Methodology for Emerging Domains.”
Real-world applications in emerging domains bring new challenges to software
design, development, testing, deployment, and maintenance. The emerging domains
include, but are not limited to, cyber-physical or embedded systems, low-carbon or
energy-aware computing, mobile or wearable computing, and end-user programming.
The research topics include all aspects of software engineering (e.g., requirements
engineering, software methodologies, software analytics, software testing and evolu-
tion, empirical studies, etc.) for developing applications in these domains concerning
either functional or non-functional properties. NASAC 2016 called for high-quality
submissions addressing significant and novel advances in the aforementioned areas.
The submissions must not have been previously published or considered for publica-
tion elsewhere.
This year, NASAC 2016 received 38 submissions (English Track only, Chinese
Track not counted). After a thorough reviewing process, 15 papers were selected for
presentation as full papers, with an acceptance rate of 39.5%.
The high-quality program would not have been possible without the authors who
choseNASAC2016asavenuefortheirpublications.Wearealsoverygratefultothe
Program Committee members and Organizing Committee members, who put a
tremendousamountofeffortintosolicitingandselectingresearchpaperswithabalance
of high quality and new ideas.
WehopethatyouenjoyreadingandbenefitfromtheproceedingsofNASAC2016.
November 2016 Lu Zhang
Chang Xu
Organization
NASAC 2016 (15th NationalSoftware Application Conference)was organized bythe
CCFTechnicalCommitteesofSoftwareEngineeringandSystemSoftwareandhosted
byYunnanUniversity.TheconferencecomprisesbothanEnglishTrackandaChinese
Track. The following lists mainly the Organizing Committee and Program Committee
for the English Track.
Organizing Committee
Steering Committee Chairs
Jian Lü Nanjing University, China
Hong Mei Peking University, China
Steering Committee Members
Tao Huang InstituteofSoftware,ChineseAcademyofSciences,China
Zhiqiu Huang NanjingUniversityofAeronauticsandAstronautics,China
Zhi Jin Peking University, China
Chao Liu Beihang University, China
Xuandong Li Nanjing University, China
Yong Qi Xi’an Jiaotong University, China
Yuzhong Sun Institute of Computing Technology, Chinese Academy
of Sciences, China
Huaimin Wang National University of Defense Technology, China
Ji Wang National University of Defense Technology, China
Dazhe Zhao Northeastern University, China
Jianjun Zhao Shanghai Jiao Tong University, China
Wenyun Zhao Fudan University, China
General Chairs
Xuandong Li Nanjing University, China
Zhi Jin Peking University, China
Organizing Committee Chair
Fei Dai Yunnan University, China
Organizing Committee Members
Xianping Tao Nanjing University, China
Qianxiang Wang Peking University, China
Linzhang Wang Nanjing University, China
Ying Lin Yunnan University, China
VIII Organization
Zhongwen Xie Yunnan University, China
Qian Yu Yunnan University, China
Yong Yu Yunnan University, China
Xuan Zhang Yunnan University, China
Na Zhao Yunnan University, China
Jinzhuo Liu Yunnan University, China
Program Committee
Program Committee Chairs
Lu Zhang Peking University, China
Chang Xu Nanjing University, China
Program Committee Chairs Assistant
Wenhua Yang Nanjing University, China
Program Committee Members
Xiaoying Bai Tsinghua University, China
Yan Cai InstituteofSoftware,ChineseAcademyofSciences,China
W.K. Chan City University of Hong Kong, Hong Kong, SAR China
Shizhan Chen Tianjin University, China
S.C. Cheung The Hong Kong University of Science and Technology,
Hong Kong, SAR China
Yao Guo Peking University, China
Chunming Hu Beihang University, China
Haiyang Hu Hangzhou Dianzi University, China
Jeff Huang Texas A&M University, USA
Song Huang PLA University of Science and Technology, China
Bixin Li Southeast University, China
Xuansong Li Nanjing University of Science and Technology, China
Zhi Li Guangxi Normal University, China
Zheng Li Beijing University of Chemical Technology, China
Peng Liang Wuhan University, China
Xiaofei Liao Huazhong University of Science and Technology, China
Fangming Liu Huazhong University of Science and Technology, China
Lin Liu Tsinghua University, China
Ting Liu Xi’an Jiaotong University, China
Xiao Liu Deakin University, Australia
Yang Liu Nanyang Technological University, Singapore
Yepang Liu The Hong Kong University of Science and Technology,
Hong Kong, SAR China
Xiaoguang Mao National University of Defense Technology, China
Changhai Nie Nanjing University, China
Yu Pei The Hong Kong Polytechnic University, Hong Kong,
SAR China
Organization IX
Rong Peng Wuhan University, China
Xin Peng Fudan University, China
Feng Qin The Ohio State University, USA
Jun Sun Singapore University of Technology and Design,
Singapore
Yanchun Sun Peking University, China
Xiaoyin Wang University of Texas at San Antonio, USA
Tao Xie University of Illinois at Urbana-Champaign, USA
Guowei Yang Texas State University, USA
Qiliang Yang PLA University of Science and Technology, China
Mu Yang Open University, UK
Lingming Zhang University of Texas at Dallas, USA
Xiangyu Zhang Purdue University, USA
Yu Zhang University of Science and Technology of China, China
Minghui Zhou Peking University, China
Yu Zhou NanjingUniversityofAeronauticsandAstronautics,China
Organizers
Organized by
China Computer Federation (CCF), China
Hosted by
CCF Technical Committees of Software Engineering and System Software, and
Yunnan University
Contents
Requirement and Model
An Analysis Pattern Driven Analytical Requirements Modeling Method. . . . . 3
Jingjing Ji and Rong Peng
An Extended TASM-Based Requirements Modeling Approach
for Real-Time Embedded Software: An Industrial Case Study. . . . . . . . . . . . 19
Jin-Hui Shan, Hai-Yan Zhao, Jin-Bo Wang, Rui-Xue Wang,
Cheng-Lin Ruan, and Zhe-Xi Yao
A Simulation Approach for SIGNAL Time Model Concern
on Multi-clock System. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Zi Wang, GuoHua Shen, ZhiQiu Huang, Jia Si, and Cheng Pan
Improving Automatic Identification of Outdated Requirements
by Using Closeness Analysis Based on Source Code Changes . . . . . . . . . . . 52
Hongyu Kuang, Jia Nie, Hao Hu, and Jian Lü
User Query Optimisation: A Creative Computing Approach. . . . . . . . . . . . . 68
Xuan Wang and Hongji Yang
Analysis and Testing
An Abstract Domain Based on Two-Interval Difference-Bound Matrices . . . . 81
Zewen Ding, Zhiqiu Huang, and Chi Zhang
Analysis and Optimization of a Joint Redundancy and Inspection-Based
Maintenance Strategy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
Pan He, Gang Liu, Chun Tan, and Yue Yuan
An Efficient Algorithm to Identify Minimal Failure-Causing Schemas
from Combinatorial Test Suite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Qi Wang, Yuanchao Qi, Ziyuan Wang, and Chiya Xu
Evaluating Human-Assessed Software Maintainability Metrics . . . . . . . . . . . 120
Celia Chen, Reem Alfayez, Kamonphop Srisopha, Lin Shi,
and Barry Boehm
Precise Heap Differentiating Using Access Path and Execution Index . . . . . . 133
Tianxiao Gu, Ruiqi Liu, Xiaoxing Ma, and Zelin Zhao