Structural specification-based testing with ADL

Chang, Juei; Richardson, Debra J.; Sankar, S.

doi:10.1145/226295.226302

Cited by 20 publications

(12 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Chang and Richardson [14] presented techniques to derive test conditions from ADL specification, a predicate logic-based language that is used to describe the relationships between inputs and outputs of a program unit. The idea is to use test selection strategies to partition both input and output domains.…”

Section: Model-based Approachesmentioning

confidence: 99%

Generating test data from state‐based specifications

Offutt

Liu

Abdurazik

et al. 2003

Software Testing Verif & Rel

270

159

View full text Add to dashboard Cite

show abstract

Section: Model-based Approachesmentioning

confidence: 99%

Generating test data from state‐based specifications

Offutt

Liu

Abdurazik

et al. 2003

Software Testing Verif & Rel

270

159

View full text Add to dashboard Cite

show abstract

“…topology: an integer in the range [1,7] representing a particular arrangement of routers and costs ( Figure 1 shows each possibility graphically);…”

Section: Specificationmentioning

confidence: 99%

“…There have been a number of studies of general-purpose specification-based testing techniques, including the work of Chang and Richardson [6,7] on using a function-level assertion-based language to guide testing. Offutt and Liu [24] describe the generation of test data from a higher-level, object-oriented specification notation.…”

Section: Specification-based Testingmentioning

confidence: 99%

Simulation-Based Testing of Distributed Systems

Rutherford

Carzaniga

Wolf

2006

View full text Add to dashboard Cite

Developers of distributed systems routinely construct discrete-event simulations to help them understand and evaluate the behavior of inter-component protocols. Typically written using an imperative programming language, these simulations capture basic algorithmic functionality at the same time as they focus attention on properties critical to distribution, including topology, timing, bandwidth, and overall scalability. We ask the following question: Can simulations also be used to help in the testing of distributed-system implementations? Because simulations amount to specifications of intended behavior, the code of a simulation can be viewed as an operational, albeit non-traditional, formal model. We claim that this kind of model, when used within a specification-based testing regime, provides developers with the foundations of a powerful new method for selecting effective test suites. The primary tool used in our method is a fault-based analysis of the simulation code in which a set of mutants are generated using standard codemutation techniques. The analysis can be used to rate the effectiveness of a test suite, as well as the criterion used to form it. We substantiate our claim through experiments performed on the simulations and implementations of two different distributed systems. Report Documentation PageForm Public reporting burden for the collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for Information Operations and Reports, 1215 Jefferson Davis Highway, Suite 1204, Arlington VA 22202-4302. Respondents should be aware that notwithstanding any other provision of law, no person shall be subject to a penalty for failing to comply with a collection of information if it does not display a currently valid OMB control number.

show abstract

“…Simulation capabilities have been developed for software architectures. A CHAM architecture simulation 4 would run the test cases over the architecture, 5 resulting in the set of solutions generated together with the causal history and timing. Causality b e t ween solutions results from the execution of transformation rules.…”

Section: Review Of the Cham Formalismmentioning

confidence: 99%

Software testing at the architectural level

Richardson

Wolf

1996

Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Pe

Self Cite

View full text Add to dashboard Cite

This paper argues that with the advent of explicitly speci ed software architectures, testing can be done e ectively at the architectural level. A software architecture specication provides a solid foundation for developing a plan for testing at this level. We propose several architecture-based test criteria based on the Chemical Abstract Machine model of software architecture. An architectural integration test plan, developed by applying selected of these criteria, can be used to assess the architecture itself or to test the implementation's conformance with the architecture. This facilitates detecting defects earlier in the software lifecycle, enables leveraging software testing costs across multiple systems developed from the same architecture, and also leverages the e ort put into developing a software architecture.

show abstract

Structural specification-based testing with ADL

Cited by 20 publications

References 13 publications

Generating test data from state‐based specifications

Generating test data from state‐based specifications

Simulation-Based Testing of Distributed Systems

Software testing at the architectural level

Contact Info

Product

Resources

About