Setting a Framework for Trusted Component Trading

Morris, John; Lam, Chiou Peng; Bundell, G.A.; Lee, Gareth; Parker, Kris

doi:10.1007/978-3-540-45064-1_7

Cited by 4 publications

(2 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This work on symbolic execution has been part of a unified approach towards software component testing and marketing, which includes the development of a standard XML document format for the interchange of test cases sets [28,29], such as those created by the CTB.…”

Section: Resultsmentioning

confidence: 99%

Using symbolic execution to guide test generation

Lee

Morris

Parker

et al. 2005

Softw. Test. Verif. Reliab.

Self Cite

View full text Add to dashboard Cite

SUMMARYAlthough a number of weaknesses of symbolic execution, when used for software testing, have been highlighted in the literature, the recent resurgence of strongly-typed languages has created opportunities for re-examining symbolic execution to determine whether these shortfalls can be overcome. This paper discusses symbolic execution in general and makes two contributions: (a) overcoming one of the key problems, analysing programs with indexed arrays; and (b) describing the incorporation of a symbolic execution module for test case generation into an integrated testing tool. For methods which index arrays, a new approach determines all the possible values of each array index, allowing the generation of equivalence classes for every possible combination of array element aliases. An incremental simplification approach, which converts path expressions to canonical forms in order to identify infeasible paths at the earliest opportunity and thus reduce the analysis time, is also described. Symbolic execution is most effective when included in an integrated test and analysis environment: a component test bench was built with a symbolic execution module integrated into it, providing a toolbox of software component test and code analysis methods aimed at programmers at all levels.

show abstract

Section: Resultsmentioning

confidence: 99%

Using symbolic execution to guide test generation

Lee

Morris

Parker

et al. 2005

Softw. Test. Verif. Reliab.

Self Cite

View full text Add to dashboard Cite

show abstract

“…In that profile, constructs like loop, branching and concurrency are designed to extend UML for the need of testing. XML-based component test specification is proposed in [7,8] to support dynamic testing of software components. XML is a markup language that is hard read for human.…”

Section: Related Workmentioning

confidence: 99%

Jata: A Language for Distributed Component Testing

Liu

2008

2008 15th Asia-Pacific Software Engineering Conference

View full text Add to dashboard Cite

1 Distributed component requires test automation more than other components. Test language plays an important role in test automation. This paper proposes a new language, Jata, for testing distributed component in a systematic way by integrating the advantages of Junit and TTCN-3. To test a distributed component, multiple test clients are needed to emulate users to request services from the component under test. Those test clients should be deployed in different machines and can collaborate to finish the testing. A distributed component, as a kind of software component, often has rich data types in its interfaces and the data is usually marshaled to transmit via a network. By inheriting the U2TP (UML2 Testing Profile) concepts, Jata is designed with rich constructs to specify test behavior and test data. By test component, Jata enables the building of distributed test clients; by test case and multi-threading test evaluation, Jata enables the development of any complicated test scenario in flexible way; by test data and its coding and decoding utilities, Jata enables the development of test data in the same way as a programmer does. The script meta-model and system architecture are presented to give a holistic view of Jata. To show the effectiveness of Jata, a banking service testing case study is illustrated.

show abstract

A Framework for UML-Based Software Component Testing

Zheng

Bundell

2008

Lecture Notes in Electrical Engineering

View full text Add to dashboard Cite

Setting a Framework for Trusted Component Trading

Cited by 4 publications

References 20 publications

Using symbolic execution to guide test generation

Using symbolic execution to guide test generation

Jata: A Language for Distributed Component Testing

A Framework for UML-Based Software Component Testing

Contact Info

Product

Resources

About