A novel quantitative evaluation approach for software project schedules using statistical model checking

Du, Dehui, Chen, Mingsong, Liu, Xiao and Yang, Yun 2014, A novel quantitative evaluation approach for software project schedules using statistical model checking, in ICSE 2014 : Proceedings of the 36th International Conference on Software Engineering, Association for Computing Machinery, New York, N.Y., pp. 476-479, doi: 10.1145/2591062.2591132.

Attached Files
Name Description MIMEType Size Downloads

Title A novel quantitative evaluation approach for software project schedules using statistical model checking
Author(s) Du, Dehui
Chen, Mingsong
Liu, XiaoORCID iD for Liu, Xiao orcid.org/0000-0001-8400-5754
Yang, Yun
Conference name International Conference on Software Engineering (36th : 2014 : Hyderabad, India)
Conference location Hyderabad, India
Conference dates 2014/05/31 - 2014/06/07
Title of proceedings ICSE 2014 : Proceedings of the 36th International Conference on Software Engineering
Editor(s) Jalote, Pankaj
Briand, Lionel
van der Hoek, Andre
Publication date 2014
Conference series International Conference on Software Engineering
Start page 476
End page 479
Total pages 4
Publisher Association for Computing Machinery
Place of publication New York, N.Y.
Keyword(s) project schedule
statistical model checking
quantitative evaluation
Summary Project schedules are essential for successfully carrying out software projects. To support manager's decision making, many project scheduling algorithms have been developed in recent years for generating candidate project schedules. However, these project schedules may not be able to be used directly because the uncertainty and complexity of real-world software development environments which have been overlooked or simplified in the project scheduling algorithms. Therefore, significant human efforts are still required to evaluate and compare these project schedules. To address such a problem, we propose a quantitative analysis approach based on statistical model checking technique which serves as a novel evaluation method for project schedules. By using the UPPAAL-SMC, we can systematically evaluate the performance of a project schedule and answer complex questions which are vital for manager's decision making but cannot be efficiently addressed by any existing tools. The preliminary results show that our approach can efficiently filter out unsatisfactory candidates by answering simple "yes or no" questions first and then help effectively compare the rest by answering complicated user specified questions. Therefore, the human efforts in planning project schedules can be significantly reduced.
ISBN 9781450327688
Language eng
DOI 10.1145/2591062.2591132
HERDC Research category E1.1 Full written paper - refereed
ERA Research output type E Conference publication
Copyright notice ©2014, ACM
Persistent URL http://hdl.handle.net/10536/DRO/DU:30093357

Document type: Conference Paper
Collection: School of Information Technology
Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 6 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 62 Abstract Views, 1 File Downloads  -  Detailed Statistics
Created: Fri, 27 Oct 2017, 15:49:42 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.