ENTCS
2010
12 years 11 months ago
2010
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...
TSE
2008
13 years 4 months ago
2008
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
ISSRE
2003
IEEE
13 years 9 months ago
2003
IEEE
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...
SIGSOFT
2006
ACM
13 years 10 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
ICSM
2007
IEEE
13 years 10 months ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...