%0 Conference Paper %1 Santos-Neto2007 %A Santos-Neto, Pedro %A Resende, Rodolfo %A Pádua, Clarindo %B SAC '07: Proceedings of the 2007 ACM symposium on Applied computing %C New York, NY, USA %D 2007 %I ACM %K MBT automated based model model-based oracle requirements single software systems testing %P 1409--1415 %R http://doi.acm.org/10.1145/1244002.1244306 %T Requirements for information systems model-based testing %U http://portal.acm.org/citation.cfm?id=1244306&coll=ACM&dl=ACM&CFID=37894597&CFTOKEN=57312761 %X In order to develop systems with a high level of quality and low costs it is necessary to have adequate testing tools and methods. We believe that the definition of a requirements catalog is one of the steps in such direction. This work presents a requirements catalog for information systems model-based testing that can be used as a basis for improving methods as well as a guide for the development of new methods and tools. The catalog was prepared based on the literature of the area and on the experience of several information systems developers. %@ 1-59593-480-4

@inproceedings{Santos-Neto2007, abstract = {In order to develop systems with a high level of quality and low costs it is necessary to have adequate testing tools and methods. We believe that the definition of a requirements catalog is one of the steps in such direction. This work presents a requirements catalog for information systems model-based testing that can be used as a basis for improving methods as well as a guide for the development of new methods and tools. The catalog was prepared based on the literature of the area and on the experience of several information systems developers.}, added-at = {2010-01-12T15:14:00.000+0100}, address = {New York, NY, USA}, author = {Santos-Neto, Pedro and Resende, Rodolfo and P\'{a}dua, Clarindo}, biburl = {https://www.bibsonomy.org/bibtex/2e89501951e1ebf3e1fcef079b3af2da6/ist_spl}, booktitle = {SAC '07: Proceedings of the 2007 ACM symposium on Applied computing}, description = {MR: Presents a requirements catalog for MBT methods, focusing on System Testing. The scope is restricted to Information Systems (IS) but the explanations are enough abstract to be useful for other domains as well. Inspects following MBT methods: TOTEM, MODEST, AGEDIS. Concentrates on single systems, but the catalog is also interesting for product lines. Contains short paragraph about test oracle. Usefulness for IST-SPL (-/0/+/++): 0 (the mechanisms of the methods are described too shallow)}, doi = {http://doi.acm.org/10.1145/1244002.1244306}, interhash = {c3a5fe702c318a4a154b5dc31920d90c}, intrahash = {e89501951e1ebf3e1fcef079b3af2da6}, isbn = {1-59593-480-4}, keywords = {MBT automated based model model-based oracle requirements single software systems testing}, location = {Seoul, Korea}, pages = {1409--1415}, publisher = {ACM}, timestamp = {2010-01-12T15:14:00.000+0100}, title = {Requirements for information systems model-based testing}, url = {http://portal.acm.org/citation.cfm?id=1244306&coll=ACM&dl=ACM&CFID=37894597&CFTOKEN=57312761}, year = 2007 }