Sciweavers

1776 search results - page 8 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
WISES
2003
13 years 8 months ago
Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Ap
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
Stefan Pitzek, Peter P. Puschner
ECEASST
2010
13 years 4 months ago
Testing as a Certification Approach
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...
Alberto Simões, Nuno Carvalho, José ...
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 7 months ago
Detecting Coordination Problems in Collaborative Software Development Environments
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
Chintan Amrit, Jos van Hillegersberg
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
14 years 1 months ago
Model-Based Empirical Performance Evaluation Based on Relational Traces
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
Marko Boskovic
KBSE
2005
IEEE
14 years 1 months ago
Automated test generation for engineering applications
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
Songtao Xia, Ben Di Vito, César Muño...