Difference: CurrentResearch (3 vs. 4)

Revision 42009-05-25 - SidneyNogueira

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Current Research

Line: 33 to 33
 Contact: Emanuela Gadelha (emanuela@dscNOSPAM.ufcg.edu.br)

Test Case Generation from Process Algebraic Models

Changed:
<
<
Many of the errors of testing arise from the imprecise description of the requirements to be tested. Formal specifications are very useful to clarify the behavior of the systems to be tested as well they are the main input of tools that automatize generation and selection of test cases. This research aims at investigating the automatic test case generation from black-box systems specifications described in a formal notation named CSP (Communicating Sequential Processes) when there is a well defined the set of observations of testing.

From a well defined set of observations of testing, and assuming there exist a formal representation for the implementation under test (IUT), we define a test generation approach that mathematically guarantees the test cases generated from an input CSP specification of the system can never refuse correct implementations (soundness). Moreover, an automatic test generation tool ATG (Abstract Test Generation) is implemented. We are focusing of failure-divergences of CSP for the definition of more robust test suites that consider non-determinism and quiescence (e.g. deadlock or livelock) as observations of testing, in addition to the outputs produced by the implementation during the testing. Furthermore, we are investigating a CSP based test selection approach that is able to select tests considering particular components of a concurrent system modeled using CSP.

>
>
This research aims at investigating the automatic test case generation from black-box systems specifications described in a formal notation named CSP (Communicating Sequential Processes). Restricting the observable behavior of the software to its input and outputs events, and some properties over the implementation under test (IUT), we define a test generation approach that mathematically guarantees the test cases generated from an input CSP specification of the system never refuse correct implementations (soundness). This strategy is implemented by the ATG (Abstract Test Generation) tool. We are working in an extension of this approach that: can extract the CSP model from use case specifications that contain, in addition to application flows described in natural language, embedded data elements (variables, constants and guards); and, generate test cases guided by the specification data. Other direction of this research is the mechanical verification for correctness of the IUT model (assuming there is an automatic way to obtain it) against the specification model, what is similar to an exhaustive testing. The verification capabilities of the FDR (Failures-Divergence Refinement) tool enable one to define several correctness criterion (implementation relations) as model checking problems verifiable by this tool.
  Contact: Sidney Nogueira (scn@cinNOSPAM.ufpe.br)

 
This site is powered by the TWiki collaboration platformCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

mersin escort bayan adana escort bayan izmit escort ankara escort bursa escort