Question

Raised by

Status

Solution

 

Alford, Ronald Wayne

 

 

What factors need to be considered when evaluating the efficiency and effectiveness of a test oracle? In class, we discussed that for improved efficiency, an oracle should check the partial execution state of the software under test – how can a test designer determine the partial state without sacrificing test effectiveness?

Bahety, Anand Baldeodas

Need Solution

 

 

Bucatanschi, Dan George

Need Question

 

 

Chandra, Deepti Jagdish

Need Question

 

Are temporal logic conditions appropriate for GUI testing? My guess is that it is too strong to be applied to GUI oracles, and too costly to write. But I may be wrong.

Huynh, Thuan Quang

Need Solution

 

 

Nguyen, Bao Ngoc

Need Question

 

The paper states that non-deterministic finite state machines cannot be generated from ASMs by using the extraction algorithm. The algorithm would not be able to handle the large number of states. In general, is generation of test oracles feasible in such cases? What are the other existing approaches to build a non-deterministic FSM from an ASM?

Konda, Shravya Reddy

Need Solution

 

Consider the following temporal logic statements.

1)    (◇A)

2) ♦ (◇A)

where ◇ means 'eventually', and ♦ means 'always.' In class, we discussed how these two have different meanings. Explain why.

Lee, Joonghoon

Need Solution

 

 

Liu, Liping

Need Question

 

According to the presentation by Rupak Das and Sita Ramakrishnan, test cases generated by the Program Testing Assistant will execute as and when appropriate. What do they mean by “appropriate”? Also, this approach requires at least one successful execution to generate valid test data sets; what do they mean by successful (run without a crash)?

Wongsuphasawat, Krist

Need Solution

 

Oracles generated from specifications are only as good as the specifications themselves. Is there reason to believe that it is easier/better to write specifications than just to write the oracle directly?

Reisner, Elnatan Benjamin

Need Solution

 

 

Schulman, Aaron David

Need Question

 

A flow graph G is a seven tuple of the form G = (Alph, Locs, Trans, Lab, Flow, Init, Fin); Briefly explain each of the symbols used in the definition.

Sharara, Hossam Samy Elsai

Need Solution

 

Is there a relationship between automated test oracle generation and automated test case generation?

Stuckman, Jeff

Need Solution

 

Why would you want to examine a program's execution trace instead of simply verifying the output (which may be easier?)

Teoh, Alison Lui Koon

Need Solution

 

Is temporal logic the best way to generate test oracles? Does it have any significant advantage(s) over other approaches?

Thakor, Shashvat Advait

Need Solution

 

 

Vador, Sachin Shashikant

Need Question

 

What documentation method facilitates automated oracle generation by TOG? What are the pros and cons of using this documentation method?

Donlon, Eileen Merle

Need Solution

 

How can pre- and postconditions be used to simplify the oracle generation process? What are the risks?

Zazworka, Nico

Need Solution