A blue social bookmark and publication sharing system.
publications
- to automated systemtest cases test statecharts testing Use-Cases UML generation black-box by ist_spl on Jul 23, 2008, 3:27 PM
P. V.R. Murthy and P. C. Anitha and M. Mahesh and Rajesh Subramanyan SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, page75--82. New York, NY, USA, ACM, (
2006)
to model category-partition statecharts tool sensitization path feasible testing algorithms UML based by ist_spl and 1 other person on Jul 8, 2008, 5:32 PMJean Hartmann and Claudio Imoberdorf and Michael Meisinger ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, page60--70. New York, NY, USA, ACM, (
2000)
MR: Es konzentriert sich auf dem Integrationstest. Es gibt aber sehr viele Parallelen zu den späteren Systemtest-Techniken von Hartmann et.al.
.
to category-partition statecharts integration testing UML TDE/UML by ist_spl and 1 other person on Jul 3, 2008, 4:47 PMJeff Offutt and Aynur Abdurazik UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, 1723, page416--429. Springer, (
1999)
MR: Die 'Transition Table' aus UML-Statechart-Werkzeugen wird eingelesen und entsprechend definierten Coverage-Criteria werden daraus Testfälle generi...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.
.
to systemtest OCL statecharts specification-based testing UML generation testdata by ist_spl on Jun 26, 2008, 8:57 AMA. Bertolino and E. Marchetti and H. Muccini Electronic Notes in Theoretical Computer Science#jan#2005. MR: enthält Overview on Model-based Testing. Dieser Ansatz erweitert den Cow_Suite-Ansatz indem neben der Sequenzdiagrammen und der UIT-Technik auch n...MR: enthält Overview on Model-based Testing. Dieser Ansatz erweitert den Cow_Suite-Ansatz indem neben der Sequenzdiagrammen und der UIT-Technik auch noch Zustandsdiagramme als Input für die Ableitung der Testfälle berücksichtigt werden. Es erfolgt mehrfache automatische Synthese der Sequenzdiagramme aus den Zustandsdiagrammen und umgekehrt. Die resultierenden 'augepeppten' Sequenzdiagramme dienen als Input für die UIT-Technik. Für IST-SPL interessant, wenn Zustandsdiagramme involviert werden sollten.
.
to statecharts sequence UML MBT diagrams Cow_Suite by ist_spl and 1 other person on Jun 9, 2008, 3:49 PMRobert M. Hierons and John Derrick Software Testing, Verification and Reliability10(4):201-202(
2000)
MR: Gewissermaßen state-of-the-art (für Jahr 2000) von spezifikationsbasierten Testmethoden. Überblick über drei Methoden wird gegeben:...MR: Gewissermaßen state-of-the-art (für Jahr 2000) von spezifikationsbasierten Testmethoden. Überblick über drei Methoden wird gegeben: statechart + symbolic execution, state-based specification + propositional logic + constraint solver, components specification + flowgraph + mutation analysis
.
to automated propositional statecharts specification-based symbolic flowgraph testing generation logic execution constraint-solving black-box by ist_spl and 1 other person on May 29, 2008, 4:24 PMTomoji Kishi and Natsuko Noda Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page19--26. Boston, MA, August2004. ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert. Testdaten ergeben sich aus den Tr...ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert. Testdaten ergeben sich aus den Transitionen. Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen.
.
to model test statecharts techniques scenarios checking by ist_spl on May 14, 2008, 10:54 AM
