%0 Conference Paper %1 Offutt1999 %A Offutt, Jeff %A Abdurazik, Aynur %B UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings %D 1999 %E France, Robert %E Rumpe, Bernhard %I Springer %K OCL UML generation specification-based statecharts systemtest testdata testing %P 416--429 %T Generating Tests from UML Specifications %U citeseer.ist.psu.edu/article/offutt99generating.html %V 1723 %X Although most industry testing of complex software is conducted at the system level, most formal research has focused on the unit level.Asaresult,mostsystemlevel testing techniques are only described informally. This paper presents a novel technique that adapts pre-de#ned state-based speci#cation test data generation criteria to generate test cases from UML statecharts. UML statecharts provide a solid basis for test generation in a form that can be easily manipulated. This technique...

@inproceedings{Offutt1999, abstract = {Although most industry testing of complex software is conducted at the system level, most formal research has focused on the unit level.Asaresult,mostsystemlevel testing techniques are only described informally. This paper presents a novel technique that adapts pre-de#ned state-based speci#cation test data generation criteria to generate test cases from UML statecharts. UML statecharts provide a solid basis for test generation in a form that can be easily manipulated. This technique...}, added-at = {2008-06-26T08:57:41.000+0200}, author = {Offutt, Jeff and Abdurazik, Aynur}, biburl = {https://www.bibsonomy.org/bibtex/2db9b7ace10d2745034396bdd4bf3259f/ist_spl}, booktitle = {{UML}'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, {CO}, {USA}, October 28-30. 1999, Proceedings}, description = {Generating Tests from UML Specifications - Offutt, Abdurazik (ResearchIndex)}, editor = {France, Robert and Rumpe, Bernhard}, interhash = {c27169825313fb544d0f5f9dd5ec98df}, intrahash = {db9b7ace10d2745034396bdd4bf3259f}, keywords = {OCL UML generation specification-based statecharts systemtest testdata testing}, note = {MR: Die 'Transition Table' aus UML-Statechart-Werkzeugen wird eingelesen und entsprechend definierten Coverage-Criteria werden daraus Testfälle generiert. Ein weiterer Algo. kümmert sich um die Test Data indem die Werte generiert werden, die zum erreichen von bestimmten Zuständen notwendig sind. Es gibt keine konkrete Aussage über erwartete Testergebnisse. Den Algorithmen kann man aber vorsichtig ableiten, dass mit Test Data auch die erwarteten Ergebnisse gemeint sind.}, pages = {416--429}, publisher = {Springer}, timestamp = {2008-06-26T08:57:42.000+0200}, title = {Generating Tests from {UML} Specifications}, url = {citeseer.ist.psu.edu/article/offutt99generating.html}, volume = 1723, year = 1999 }