Methods for generating software test input data and devices thereof
作者： Anjaneyulu Pasala , Manuel Araoz , Sharal Nisha Dsouza
DOI:
关键词: Test input 、 Data type 、 Syntax (programming languages) 、 Constraint (information theory) 、 Representation (mathematics) 、 Software 、 Software requirements specification 、 Programming language 、 Machine-readable data 、 Computer science
摘要: A method, non-transitory computer readable medium, and apparatus that extracts a plurality of attributes from software requirements specification wherein each attribute is associated with data type one or more properties. Constraint representation syntax applied to the extracted based on properties generate constraints, constraint machine format. Each constraints output optionally nodes model.
lens.org 参考文章(36)
Jon Edvardsson, A Survey on Automatic Test Data Generation ,(2002)
Anjaneyulu Pasala, Amar Lakshmi Gejje, Sharal Nisha D'Souza, Generation of functional tests for re-hosted applications ,(2011)
Guy Hampson Broadfoot, Philippa Jane Hopcroft, An analytical software design system ,(2005)
Srinivas Venkatraman, Ganesh Kumar, Method and system for providing a testing framework ,(2011)
Edy S. Liongosari, Matthew Hellige, Mark Grechanik, Kevin Michael Conroy, Qing Xie, Automatic test generation for reference testing ,(2008)
Eelco Visser, Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5 rewriting techniques and applications. pp. 357- 361 ,(2001) , 10.1007/3-540-45127-7_27
John Robert Lambert, Automatic identification of input values that expose output failures in a software object ,(2003)
Siddhartha Ramanlal Dalal, Gardner Conde Patton, David Mordecai Cohen, Michael Lawrence Fredman, Method and system for automatically generating efficient test cases for systems having interacting elements ,(1995)
Wojciech Szermer, Method for automated generation of tests for software ,(1997)
Timothy Mark Kelso, Program test system ,(2007)