2009
DOI: 10.1016/j.infsof.2008.05.002
|View full text |Cite
|
Sign up to set email alerts
|

Automatic generation of test specifications for coverage of system state transitions

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
21
0

Year Published

2010
2010
2019
2019

Publication Types

Select...
7
1
1

Relationship

0
9

Authors

Journals

citations
Cited by 23 publications
(21 citation statements)
references
References 21 publications
(65 reference statements)
0
21
0
Order By: Relevance
“…Testability has been identified as a distinct characteristic of software quality. Building programs and components with high level testability always simplifies test process, reduces total test cost and hence increases software quality [3,5]. Researchers proposed different characteristics of software quality ; many of them consider testability as an important part of their quality characteristics [19,20,21,22] .In ISO 1926 quality model (ISO 1991);testability holds a prominent place as part of the reusability characteristic of software quality [4].…”
Section: IImentioning
confidence: 99%
“…Testability has been identified as a distinct characteristic of software quality. Building programs and components with high level testability always simplifies test process, reduces total test cost and hence increases software quality [3,5]. Researchers proposed different characteristics of software quality ; many of them consider testability as an important part of their quality characteristics [19,20,21,22] .In ISO 1926 quality model (ISO 1991);testability holds a prominent place as part of the reusability characteristic of software quality [4].…”
Section: IImentioning
confidence: 99%
“…It is one of the most important concepts in design for testing of software programs and components [3].According to ISO-DIS 14598 the term Effectiveness factor is defined as the capacity of the software product to enable users/developers to achieve specified goals with accuracy and completeness in a specified environment. Software design is a process in software engineering that produces a tangible model of the system and allows developers /researchers to turn your computational model into a workable algorithm to solve the problems by the help of verification and evaluation.…”
Section: Introductionmentioning
confidence: 99%
“…The complexity of system testing can possibly be attributed to the fact that it involves testing a fully integrated system that may be large and complex. Therefore, with continually increasing system sizes, the issue of automatic design of system test cases is assuming prime importance [26]. A properly generated test suite may not only locate the errors in a software system, but also help in reducing the high cost associated with software testing [16].…”
Section: Introductionmentioning
confidence: 99%
“…The state model of an actual system is usually extremely complex and comprises of a large number of states and transitions. Possibly for this reason, state models of complete systems are rarely constructed by system developers [26].…”
Section: Introductionmentioning
confidence: 99%