Adequate testing of hypertext applications

Jin, Lingzi; Zhu, Hong; Hall, Patrick A. V.

doi:10.1016/s0950-5849(96)01141-x

Cited by 11 publications

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is easy to prove (1) by applying Lemma 3. The proof of statement (2) is similar to the proof of a theorem in (Jin, Zhu and Hall, 1997). Details are omitted for the sake of space.…”

Section: Definition 18 (Reduction Of Test Criterion)mentioning

confidence: 99%

Software requirements validation via task analysis

Zhu

Jin

Diaper

et al. 2002

Journal of Systems and Software

Self Cite

View full text Add to dashboard Cite

As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of software requirements was proposed in which requirements definitions are tested on a set of task scenarios by examining software behaviour in each scenario described by an activity list. Such descriptions of software behaviour can be generated automatically from requirements models. This paper investigates various testing methods for selecting test scenarios. Data flow, state transition and entity testing methods are studied. A variety of test adequacy criteria and their combinations are formally defined and the subsume relations between the criteria are proved. Empirical studies of the testing methods and the construction of a prototype testing tool are reported.

show abstract

“…It is easy to prove (1) by applying Lemma 3. The proof of statement (2) is similar to the proof of a theorem in (Jin, Zhu and Hall, 1997). Details are omitted for the sake of space.…”

Section: Definition 18 (Reduction Of Test Criterion)mentioning

confidence: 99%

Software requirements validation via task analysis

Zhu

Jin

Diaper

et al. 2002

Journal of Systems and Software

Self Cite

View full text Add to dashboard Cite

show abstract

“…Currently, three agents are implemented for node coverage, link coverage and linear independent path coverage criteria, respectively. Details of these test criteria for hypertext applications can be found in (Jin, Zhu & Hall, 1997 An ontology of software testing is developed and codified in XML for the communications between agents. The following section gives details of the ontology and its uses in the prototype system.…”

Section: Wpi (Web Page Information)mentioning

confidence: 99%

Developing Software Testing Ontology in UML for a Software Growth Environment of Web-Based Applications

Zhu

Huo

Software Evolution With UML and XML

Self Cite

View full text Add to dashboard Cite

This chapter introduces the concept of software growth environments to support sustainable long-term evolution of Web-based application systems. A multiagent prototype system is designed and implemented with emphasis on software testing. In this environment, software tools are agents that cooperate effectively with each other and human testers through communications at a high level of abstraction. New tools can be integrated into the system with maximal flexibility. These are achieved through the design and utilisation of an ontology of software testing that represents the knowledge of software engineering and codifies the knowledge for computer processing as the contents of an agent communication language. The ontology is represented in UML (Unified Modeling Language) at a high level of abstraction so that it can be validated by human experts. It is also codified in XML (Extensible Markup Language) for computer processing to achieve the required flexibility and extendibility.

show abstract