Abstract:

Abstract: Testing a module that has memory using the black-box approach has been found to be expensive and relatively ineffective. Instead, testing without knowledge of the specifications (white-box approach) may not be effective in showing whether a program has been properly implemented as stated in its specifications. Thus, we have developed a grey-box testing approach called Module Documentation-based Testing or MD-Test, the heart of which is automatic generation of the test oracle from the external and internal views of the module. This paper describes part of our works to generate test cases from the program function/relation document that will be applied by MD-Test. Consequently, generating test cases from such information might involve large number of data states. We describe a partitioning technique namely State-Sensitivity Partitioning that partition the entire data states of a module according to state’s sensitiveness towards events, conditions and actions. This paper also discusses on how to deal with nondeterminism behavior that might introduced by the partitioning technique even if the initial behavior is deterministic.