报告时间：周三（9月18日）上午10点

报告地点：新主楼G座849会议室

Title: Automated Prototype Generation from Requirements Model

Abstract:

Prototyping is an effective and efficient way of requirements validation to avoid introducing errors in the early stage of software development. However, manually developing a prototype of a software system requires additional efforts, which would increase the overall cost of software development. In this article, we present an approach with a developed tool RM2PT to automated prototype generation from formal requirements models for requirements validation. A requirements model consists of a use case diagram, a conceptual class diagram, use case definitions specified by system sequence diagrams, and the contracts of their system operations. A system operation contract is formally specified by a pair of pre and postconditions in object constraint language. We propose a method with a set of transformation rules to decompose a contract into executable parts and nonexecutable parts. An executable part can be automatically transformed into a sequence of primitive operations by applying their corresponding rules, and a nonexecutable part is not transformable with the rules. The tool RM2PT provides a mechanism for developers to develop a piece of the program for each nonexecutable part manually, which can be plugged into the generated prototype source code automatically. We have conducted four case studies with over 50 use cases. The experimental result shows that the 93.65% system operations are executable, and only 6.35% are nonexecutable, which can be implemented by developers manually or invoking the third-party application programming interface (APIs). Overall, the result is satisfactory. Each 1 s generated prototype of four case studies requires approximate one day’s manual implementation by a skilled programmer. The proposed approach with the developed computer-aided software engineering tool can be applied to the software industry for requirements engineering.

Bio: Yilong Yang received the Ph.D. degree in software engineering with the University of Macau, Macau, in 2019. He has been a Fellow at the United Nations University International Institute for Software Technology (UNU-IIST), Macau. His research interests include automated and intelligent software engineering. His current work is focusing on requirements validations through automatic prototyping. He proposed an approach and CASE tool RM2PT (http://rm2pt.yilong.io) that can automatically generate MVC prototypes from requirements model (UML+OCL contracts), and then the customer can execute the generated prototype to validate whether the requirements meet their real needs. Those works were published in ICSE’19, RE’19, and IEEE transactions on Reliability.

Yilong Yang

Software Engineering Lab

Department of Computer and Information Science

Faulty of Science and Technology

University of Macau

http://yilong.io