Integrating testing techniques through process programming

Richardson, Debra J.; Aha, Stephanie Leif; Osterweil, Leon J.

doi:10.1145/75308.75333

Cited by 6 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…DEBUS is based on the Rational Design Methodology of Parnas [21] and the IEEE design standard [3]. An early version of APPL/A was also used to code DataFlowwRelay, which integrates dat,aflow and fault-based testing and analysis [22]. REBUS and DE-BUS were also initially coded using early versions of APPL/A.…”

Section: Stat Us and Future Workmentioning

confidence: 99%

Language constructs for managing change in process-centered environments

Sutton

Heimbigner

Osterweil

1990

Proceedings of the Fourth ACM SIGSOFT Symposium on Software Development Environments

View full text Add to dashboard Cite

Change is pervasive during software development, affecting objects, processes, and environments. In process centered environments, change management can be facilitated by software-process programming, which formalizes the representation of software products and processes using software-process programming languages (SPPLs). To fully realize this goal SPPLs should include constructs that specifically address the problems of change management. These problems include lack of representation of inter-object relationships, weak semantics for inter-object relationships, visibility of implementations, lack of formal representation of software processes, and reliance on programmers to manage change manually.APPL/A is a prototype SPPL that addresses these problems. APPL/A is an extension to Ada. The principal extensions include abstract, persistent relations with programmable implementations, relation attributes that may be composite and derived, triggers that react to relation operations, optionally-enforcible predicates on relations, and five composite statements with transaction-like capabilities.APPL/A relations and triggers are especially important for the problems raised here. Relations enable inter-object relationships to be represented explicitly and derivation dependencies to be maintained automatically. Relation bodies can be programmed to implement alternative storage and computation strategies without affecting users of relation specifications. Triggers can react to changes in relations, automatically propagating data, invoking tools, and performing other change * Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that the copying is by permission of the Association for Computing Machinery. To copy otherwise requires a fee and/or specific permission.† Department of Information and Computer Science, University of California, Irvine, CA 92717 management tasks. Predicates and the transaction-like statements support change management in the face of evolving standards of consistency. Together, these features mitigate many of the problems that complicate change management in software processes and processcentered environments.

show abstract

Section: Stat Us and Future Workmentioning

confidence: 99%