/ / / ParTeG

ParTeG and Flamory

Flamory provides the following integration abilities:

  • Create and use window snapshots for ParTeG
  • Take and edit ParTeG screenshots
  • Automatically copy selected text from ParTeG and save it to Flamory history

Screenshot editing

Flamory helps you capture and store screenshots from ParTeG by pressing a single hotkey. It will be saved to a history, so you can continue doing your tasks without interruptions. Later, you can edit the screenshot: crop, resize, add labels and highlights. After that, you can paste the screenshot into any other document or e-mail message.

Application info

Software and hardware systems contain faults. One important technique to detect faults is testing. With the spread of model-based development, models became also important for testing. In model-based testing, test models are used to generate test suites (semi-)automatically. Although the technique of model-based testing is some years old, there is still room for improvements. For instance, most commercial modeling tools do not provide adequate test support for linear ordered types.

Coverage criteria are used as means to measure the fault detection ability of test suites. The approach of ParTeG is to combine the satisfaction of control flow-based coverage criteria (e.g., MC/DC) and boundary-based coverage criteria (e.g., Multi-Dimensional). This approach puts the focus on automatic generation of input partition boundaries from conditions in models. It can also be understood as a transformation of output partitions into a cross product of input partitions and abstract paths throught the state machine.

Integration level may vary depending on the application version and other factors. Make sure that user are using recent version of ParTeG. Please contact us if you have different integration experience.