A model-based statistical usage testing of communication protocols

Popović, Miroslav; Basicevic, Ilija; Velikic, Ivan; Tatic, J.

doi:10.1109/ecbs.2006.11

Cited by 6 publications

(3 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The number of test cases to be executed is determined by the reliability of SUT rather than the size of operational profiles. Also, even if the number of test cases is huge, test case execution can be automated in domain-specific statistical testing [9], and therefore large operational profiles do not impose an additional burden on test engineers. It is important to give accurate probability distributions to operational profiles, which can be automated by tools.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Construction Technique of Large Operational Profiles for Statistical Software Testing

Takagi

Furukawa

2013

Computer and Information Science

View full text Add to dashboard Cite

Abstract. This paper shows a novel construction technique of large operational profiles in order to effectively apply statistical software testing to recent projects in which large software is developed in a short timeframe. In this technique, test engineers construct small operational profiles that represent usage characteristics of components of SUT (software under test), and a large operational profile that represents usage characteristics of the whole of SUT is automatically generated from the small operational profiles so as to satisfy behavioral constraints among the components of the SUT. The large operational profile generated by this technique is called a product operational profile, and is used to generate test cases in statistical testing. The key idea of this technique is that an operational profile of the whole of SUT is too large to be constructed manually, but operational profiles of the components of SUT are small and therefore are easy to be constructed. We propose the basic notions of the product operational profile, the behavioral constraints and a generation algorithm, and then evaluate their effectiveness by using an example of software.

show abstract

Section: Related Workmentioning

confidence: 99%

“…Statistical testing has been applied to real software development, and some literatures show actual results. For example, Popovic et al [9] and Hartmann et al [4] applied statistical testing to communication protocols and medical systems respectively, and they achieved the improvement of the reliability of the SUT.…”

Section: Introductionmentioning

confidence: 99%

Construction Technique of Large Operational Profiles for Statistical Software Testing

Takagi

Furukawa

2013

Computer and Information Science

View full text Add to dashboard Cite

show abstract

“…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%