J. Offutt, Y. Xiong, and S. Liu. Criteria for generating specification-based tests. In Proc. of the Fifth IEEE International Conefernce on Engineering of Complex Systems, 1999.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....condition coverage requires two tests for each condition and the total quantity of tests equals 2n. However, in this connection, testing of combinations of conditions values is missing and such testing volume is not sufficient for safety critical software [19] Full predicate coverage criterion [37] is based on the specifications and the original definition uses different terms (for example, clause instead condition ) But it is possible to reformulate it for uniformity with previously defined criteria and using a definition from [37] as a base: full predicate coverage (FPC) every ....

.... software [19] Full predicate coverage criterion [37] is based on the specifications and the original definition uses different terms (for example, clause instead condition ) But it is possible to reformulate it for uniformity with previously defined criteria and using a definition from [37] as a base: full predicate coverage (FPC) every statement in the program has been executed at least once, and each condition in a decision has taken all possible outcomes where the value of a decision is directly correlated with the value of a condition. This means, a decision changes when a ....

[Article contains additional citation context not shown here]

Offutt, A. J., Xiong, Y., Liu, S. Criteria for Generating SpecificationBased Tests. Proceedings of Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, Nevada, USA, October 18--21, 1999, pp. 119--129.

....the decision s outcome. It means that the outcome of a decision changes as a result of changing a single condition [11] This criterion requires testing of various (but not all) combinations of conditions values but the number of tests still grows by linear law. Full predicate coverage criterion [23] is similar to MC DC but is weaker [1] This criterion is based on the specifications and the original definition uses different terms (for example, clause instead condition ) But it is possible to reformulate it for uniformity with previously defined criteria and using a definition from [23] ....

.... [23] is similar to MC DC but is weaker [1] This criterion is based on the specifications and the original definition uses different terms (for example, clause instead condition ) But it is possible to reformulate it for uniformity with previously defined criteria and using a definition from [23] as a base: full predicate coverage (FPC) every statement in the program has been executed at least once, and each condition in a decision has taken all possible outcomes where the value of a decision is directly correlated with the value of a condition. This means, a decision changes when a ....

[Article contains additional citation context not shown here]

Offutt, A. J., Xiong, Y., Liu, S. Criteria for Generating Specification-Based Tests. Proceedings of Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, Nevada, USA, October 18--21, 1999, pp. 119--129.

....with relational behavior. Another notable difference is the use of violation detection wrappers in this approach, which provides increased fault detecting ability. Other specification based testing or test generation approaches focus on finite state machine (FSM) models of classes or programs [1, 9, 14, 15]. The work of Hoffman, Strooper, and their colleagues is of particular relevance because it also uses model based specifications. An FSM model typically contains a subset of the states and transitions supported by the actual component under consideration, and may be developed by identifying ....

Offutt J, Xiong Y, Liu S. Criteria for generating specification-based tests. 5 th IEEE Int'l Conf. Engineering of Complex Computer Systems (ICECCS '99), Las Vegas, NV, Oct. 1999.

....testing has advantages over program based testing in terms of providing test data early in development cycle. Formal requirement specifications have been used to generate test cases. The existing specification based testing methods have limitations. For example, Offutt s method [OXL99, OL99] generates tests only from state based specifications. Ammann and Black s specification based mutation testing technique [AB99a, AB99b, ABM98] also relies on the type of specification the specification has to be translated into a language that a model checker can recognize. However, in ....

....(fs) W write Pipe (glue (WriteOnly) Pipe (glue (WriteOnly( 2 ) Figure 10: Transitions for the Pipe State Machine The criteria are transition coverage, full predicate coverage, transition pair coverage, and complete sequence coverage. The details of the this method is given elsewhere [OXL99, OL99] Figure 11 shows the test requirements at architecture level. Identifying which criterion satisfies which requirements needs more work. Remember that UML statecharts only describe the behavior of individual components or connectors. From statecharts we may be able to generate test cases ....

Jeff Offutt, Yiwei Xiong, and Shaoying Liu. Criteria for generating specification-based tests. In Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '99), pages 119--131, Las Vegas, NV, October 1999. IEEE Computer Society Press.

....who operate on the web will lose money, sales, and customers. This paper presents results from an ongoing project to improve the ability to test software with high reliability requirements by developing techniques for generating test cases from formal descriptions of the software. Previous work [7, 8] has focused on generating tests from specifications; the current work focuses on design descriptions. Design descriptions represent a significant opportunity for testing because they precisely describe how the software functions behave in a form that can easily be manipulated by automated means. ....

....the class. The statechart models the reactions of the class to events received from the environment. The reactions to an event include sending new events to other objects and executing internal methods defined by the class. The previous paper adapted existing specification based testing criteria [8] to UML statecharts. Our current research is focused on analyzing the behavior of a set of interacting objects. Interactions can be described using UML collaboration diagrams, and this paper presents a novel approach to generating tests data to check aspects of the software that are represented by ....

Jeff Offutt, Yiwei Xiong, and Shaoying Liu. Criteria for generating specificationbased tests. In Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '99), pages 119--131, Las Vegas, NV, October 1999. IEEE Computer Society Press.

....a formal process, a method for measuring tests, and a basis for full automation of test data generation. The principal results in this report are from an empirical comparison of two specification based test strategies. The full predicate criteria from previous Phase I (during 1997) Off98, OXL99] and Phase II (during 1998) Off99] are compared with T Vec generated tests [BB96, Bla98] Also presented is a proof of concept automated test data generation tool. This tool implements the criteria and some of the algorithms that were developed in previous years. The report begins by summarizing ....

Jeff Offutt, Yiwei Xiong, and Shaoying Liu. Criteria for generating specification-based tests. In Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '99), pages 119--131, Las Vegas, NV, October 1999. IEEE Computer Society Press.

No context found.

J. Offutt, Y. Xiong, and S. Liu. Criteria for generating specification-based tests. In Proc. of the Fifth IEEE International Conefernce on Engineering of Complex Systems, 1999.

No context found.

Offutt, A. J., Xiong, Y., Liu, S. Criteria for generating specification-based tests. Proceedings of 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, Nevada, USA, October 18--21, 1999, IEEE Computer Society Press, pp. 119--129.

No context found.

Offutt, A. J., Xiong, Y., and Liu, S. Criteria for generating specification-based tests. Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, Nevada, USA, October 18--21, 1999, pp. 119--129.

No context found.

A. J. Offutt, Y. Xiong, and S. Liu. Criteria for generating specification-based tests. In Fifth IEEE International Conference on Engineering of Complex Computer Systems (ISECCS'99), Las Vegas, Nevada, USA, pages 119--129, October 1999.

No context found.

A. J. Offutt, Y. Xiong, and S. Liu. Criteria for generating specification-based tests. In Fifth IEEE International Conference on Engineering of Complex Computer Systems (ISECCS'99), Las Vegas, Nevada, USA, pages 119--129, October 1999.

No context found.

Offutt, A. J., Xiong, Y., Liu, S. Criteria for Generating Specification-Based Tests. Proceedings of Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, Nevada, USA, October 18--21, 1999, pp. 119--129.

No context found.

Offutt, A. J., Xiong, Y., Liu, S. Criteria for generating specification-based tests. Proceedings of 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, Nevada, USA, October 18--21, 1999, IEEE Computer Society Press, pp. 119--129.

No context found.

Offutt, A. J., Xiong, Y., and Liu, S. Criteria for generating specification-based tests. Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, Nevada, USA, October 18--21, 1999, pp. 119--129.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC