Title :
Test Case Generation by Simulating Requirements Analysis Model
Author :
Shikimi, Ryo ; Ogata, Shinpei ; Matsuura, Saeko
Author_Institution :
Div. of Electr. Eng. & Comput. Sci., Shibaura Inst. of Technol., Tokyo, Japan
Abstract :
A key to success of high quality software development is to define valid and feasible requirements specification. This paper proposes an efficient test case generation method from the validatable UML-based requirements analysis model to improve feasibility of the requirements specification.
Keywords :
Unified Modeling Language; formal specification; UML based requirements analysis model; quality software development; requirements specification; test case generation; Analytical models; Computational modeling; Contracts; Data models; Java; Skeleton; Unified modeling language; Requirements Analysis; Software Testing; Test Driven Development; Unified Modeling Language;
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2012 IEEE 36th Annual
Conference_Location :
Izmir
Print_ISBN :
978-1-4673-1990-4
Electronic_ISBN :
0730-3157
DOI :
10.1109/COMPSAC.2012.53
