Testing from X-Machine Specifications

Bogdanov, Kirill

doi:10.1007/978-3-540-78917-8_6

Cited by 5 publications

(2 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is an approach that emphasizes the need to build correctness into software as it is under development [16,17,18]. Variety of languages and tools (Z, VDM, CSP, Petri Nets, Abstract State Machine, etc) is also available for writing specification of software [19,20,21,22].…”

Section: Formal Process Modelmentioning

confidence: 99%

A Non-Parametric Comparison between Advances Software Engineering Process Model

Kousar

Munir

Nadeem

2017

Research Journal Of Computer Science And Information Technology

View full text Add to dashboard Cite

Software development process provides detailed guideline for development testing and maintenance of software products. It deals with the risks associated withsoftware development and a road map to manage its complexities. In other words, software development processes are considered as optimized solution specific to any particular software product development. There are many software process models available in literature. This research performs a non-parametric comparison between formal process model, agile process model and agent based process model to aid software community in developing quality software product.

show abstract

Section: Formal Process Modelmentioning

confidence: 99%

A Non-Parametric Comparison between Advances Software Engineering Process Model

Kousar

Munir

Nadeem

2017

Research Journal Of Computer Science And Information Technology

View full text Add to dashboard Cite

show abstract

“…The time taken by X-Machines testing methods depends on the system to be tested. X-Machines testing methodology due to imposed constraints is easy [6] …”

Section: Introduction To X-machinesmentioning

confidence: 99%

Random Cluster Sampling on X-Machines Test Cases

Khan

Kausar

2013

2013 10th International Conference on Information Technology: New Generations

View full text Add to dashboard Cite

Abstract-Software testing is considered one of the most expensive and critical phases of the software development. Formal testing approaches are extensively used for verifying the conformance of implementations to a given specification. These formal approaches usually generate a large amount of input test data which is costly in terms of time and effort. Techniques for reducing test input data are thus of the utmost importance. The contribution of this paper is to propose a framework for the reduction of test input data generated by a formal testing approach based on X-Machines.To achieve these objectives we have applied a well known statistical approach called Random Cluster Sampling on the test case set generated by a formal approach X-Machines. To exemplify our technique we have generated a test set for an X-Machine Microwave oven specification and then drew a sample from the test set by using the Random Cluster sampling technique. Based on the tolerated fault rate we have extracted conclusion about the accuracy of implementation.

show abstract

Test Generation for X-machines with Non-terminal States and Priorities of Operations

Bogdanov

2011

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation

View full text Add to dashboard Cite

Testing from X-Machine Specifications

Cited by 5 publications

References 32 publications

A Non-Parametric Comparison between Advances Software Engineering Process Model

A Non-Parametric Comparison between Advances Software Engineering Process Model

Random Cluster Sampling on X-Machines Test Cases

Test Generation for X-machines with Non-terminal States and Priorities of Operations

Contact Info

Product

Resources

About