Testing — a challenge to method and tool developers

Ould, Martyn A.

doi:10.1049/sej.1991.0008

Cited by 23 publications

(7 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Some of the above issues are addressed below, concentrating on the test automation aspect which Ould [31] has identified as the most crucial issue in testing. It is convenient, for reasons that will become clear, to address low level (principally code) specification issues first before more abstract system specification issues.…”

Section: Testing and Formal Specificationsmentioning

confidence: 99%

Towards industrially applicable formal methods: three small steps, and one giant leap

McDermid¹,

Galloway

Burton

et al.

Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241)

View full text Add to dashboard Cite

show abstract

Section: Testing and Formal Specificationsmentioning

confidence: 99%

Towards industrially applicable formal methods: three small steps, and one giant leap

McDermid¹,

Galloway

Burton

et al.

Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241)

View full text Add to dashboard Cite

show abstract

“…Currently, there are only a few CASE tools which are integrated with testing tools. Ould, [26], points out that increased formality (well-defined semantics) in the methods supported by CASE tools will increase both their verification and validation potential, and the testability of their products. He sees test case generation as the most important area for testing tools, but the least well-served.…”

Section: Future Trends In Software Testing Toolsmentioning

confidence: 99%

Software testing tools: A new classification scheme

Graham¹

1991

Software Testing Verif & Rel

View full text Add to dashboard Cite

Software testing tools have proliferated in recent years, and a number of tool classification schemes have been published. In order to provide common reference points for potential purchasers and tool vendors, to ease the comparison of tools with similar functionality, and to assist future research into tool‐supportable software testing, a new classification scheme for testing tools is proposed. The scheme uses six major categories: Test Management, Test Design, Non‐Execution Evaluation, Test Execution. Test Analysis, and Test Quality Evaluation. Other classification schemes are reviewed and compared with the new scheme, and predictions are made concerning future trends in the area of software testing tools. It is hoped that the proposed classification, which is founded on the combination of two current schemes, will provide a basis for discussions that will lead eventually to an international standardisation of tool descriptions.

show abstract

“…Test case generation is the most demanding and crucial of testing activities [3,4]. Usually test suites are generated according to some given objective criteria.…”

Section: Introductionmentioning

confidence: 99%

Evolving the Quality of a Model Based Test Suite

Farooq¹,

Lam²

2009

2009 International Conference on Software Testing, Verification, and Validation Workshops

View full text Add to dashboard Cite

Abstract-Redundant test cases in newly generated test suites often remain undetected until execution and waste scarce project resources. In model-based testing, the testing process starts early on in the developmental phases and enables early fault detection. The redundancy in the test suites generated from models can be detected earlier as well and removed prior to its execution. The article presents a novel model-based test suite optimization technique involving UML Activity Diagrams by formulating the test suite optimization problem as an Equality Knapsack Problem. The aim here is the development of a test suite optimization framework that could optimize the model-based test suites by removing the redundant test cases. An evolution-based algorithm is incorporated into the framework and is compared with the performances of two other algorithms. An empirical study is conducted with four synthetic and industrial scale Activity Diagram models and results are presented.

show abstract

Testing — a challenge to method and tool developers

Cited by 23 publications

References 2 publications

Towards industrially applicable formal methods: three small steps, and one giant leap

Towards industrially applicable formal methods: three small steps, and one giant leap

Software testing tools: A new classification scheme

Evolving the Quality of a Model Based Test Suite

Contact Info

Product

Resources

About