A Generic Model-Based Test Case Generator

Popović, Miroslav; Velikic, Ivan

doi:10.1109/ecbs.2005.11

Cited by 12 publications

(6 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Significant research effort has been put into automatic translation of UML [15,16] and GME [17][18][19] models into operational profiles, to make operational profile extensions by adding the information about the structure of the system and about input data [20], and to analyze the sensitivity of software reliability to operational profile errors, by using architecture-based approach [21][22][23]. Nevertheless, the accuracy of the operational profile, i.e.…”

Section: Related Workmentioning

confidence: 99%

Test case generation for the task tree type of architecture

Popović

Basicevic

2010

Information and Software Technology

Self Cite

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Test case generation for the task tree type of architecture

Popović

Basicevic

2010

Information and Software Technology

Self Cite

View full text Add to dashboard Cite

“…Model-based testing is a variant of testing that relies on explicit behaviour models that encode the intended behaviour of a system and, possibly, the behaviour of its environment [141]. It consists of generating test cases based on the partial representation of the system under test, which also includes the specification of elements to be tested [140]. The advantage of model-based testing is that it allows for early test case generation CHAPTER 2.…”

Section: Model-based Testingmentioning

confidence: 99%

Architecture-Centric Testing for Security

Al-Azzani

2014

Agile Software Architecture

View full text Add to dashboard Cite

This thesis presents a novel architecture-centric approach, which uses Implied Scenarios (IS) to detect design-vulnerabilities in the software architecture. It reviews security testing approaches, and draws on their limitations in addressing unpredictable behaviour in the face of evolution. The thesis introduces the concept of Security IS as unanticipated architecture. The refinement is test-driven and incremental, where refinements are tested before they are committed. The thesis also presents SecArch, an extension to the IS approach to enhance its search-space to detect hidden race conditions. It is concerned with predicting further valid conditions in the face of real parallelism in distributed systems with respect to non-FIFO queues.The thesis reports on the applications of the proposed approach and its extension to three case studies for testing the security of distributed and cloud architectures in the presence of uncertainty in the operating environment, unpredictability of interaction and possible security IS. The applications demonstrate novelty in the way security testing addresses emergent behaviour in applications which are characterised with dynamism, heterogeneity, openness, scale and unpredictability in operation and their evolution trends.We have drawn on these case studies to evaluate the thesis.

show abstract

“…The issue of appropriate operation parameter values has been largely ignored by the operational profile and statistical test case generation literature [11,13,19,20]. Giltens et al [5] follow Woit [20] and include a data profile, the minimum and maximum data values of the inputs to the application, in the operational profile.…”

Section: Related Workmentioning

confidence: 99%

“…In Woit's work, a separate test case generator is needed for each component under test. Popovic and Velikik [13] present a test case generator based on the test case generator presented by Woit [20] for their own Generic Model Environment. None of the above test generators support treatment of parameters of operations, test case execution and output evaluation.…”

Section: Related Workmentioning

confidence: 99%