Zobrazeno 1 - 10
of 353
pro vyhledávání: '"Paul Strooper"'
Publikováno v:
Concurrency and Computation: Practice and Experience. 23:1583-1606
Many real-time systems are safety-and security-critical systems and, as a result, tools and techniques for verifying them are extremely important. Simulation and testing such systems can be exceedingly time-consuming and these techniques provide only
Autor:
David Ly-Gagnon, Mitch Chang, Hong-Yi Wang, Lewis Sobotkiewicz, Paul Strooper, Daniel Hoffman
Publikováno v:
Journal of Systems and Software. 83:2369-2378
Grammar-based test generation (GBTG) has seen extensive study and practical use since the 1970s. GBTG was introduced to generate source code for testing compilers from context-free grammars specifying language syntax. More recently, GBTG has been app
Publikováno v:
Software: Practice and Experience. 41:427-447
Grammars are traditionally used to recognize or parse sentences in a language, but they can also be used to generate sentences. In grammar-based test generation (GBTG), context-free grammars are used to generate sentences that are interpreted as test
Autor:
Tim Miller, Paul Strooper
Publikováno v:
Software Testing, Verification and Reliability. 22:33-63
Despite the existence of a number of animation tools for a variety of languages, methods for employing these tools for specification testing have not been adequately explored. Similarly, despite the close correspondence between specification testing
Autor:
Paul Strooper, Margaret A. Wojcicki
Publikováno v:
Empirical Software Engineering. 12:617-645
The results of empirical studies in Software Engineering are limited to particular contexts, difficult to generalise and the studies themselves are expensive to perform. Despite these problems, empirical studies can be made effective and they are imp
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 17:379-405
Statistical testing involves the testing of software by selecting test cases from a probability distribution that is intended to represent the software's operational usage. In this paper, we describe and evaluate a framework for statistical testing o
Publikováno v:
Theory and Practice of Logic Programming. 8:1-31
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specifications and code, and a refinement relation that models the notion of corr
Publikováno v:
Concurrency and Computation: Practice and Experience. 19:281-294
The Java programming language supports concurrency. Concurrent programs are harder to verify than their sequential counterparts due to their inherent non-determinism and a number of specific concurrency problems, such as interference and deadlock. In
Publikováno v:
ASWEC
Behavior Trees (BTs) are a graphical notation for requirements capture that is easier to read than other formal notations, with direct traceability between individual functional requirements and their representation in the BT model. This paper invest
Publikováno v:
Journal of Systems and Software. 75:29-39
This paper describes an ongoing collaboration between Boeing Australia Limited and the University of Queensland to develop and deliver an introductory course on software engineering. The aims of the course are to provide a common understanding of the