Abstract | ||
---|---|---|
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this tool can be used in today's engineering practice and, hence, the approach must not require costly changes in the current test generation process and not assume data and skills that do not exist in reality. We focus on design decisions that are motivated by this objective. The proposed solution offers a natural-language-template-based interface for acquiring software requirements. The content of the filled-in templates can be represented in propositional logic and temporal relations and form the model of the intended correct behavior. Models of potential faulty behaviors are generated from this OK model by a number of (types of) transformations. The fault types are defined mainly to match the intuition behind manually generated test cases and, hence, can deliver similar, but more systematic, test suites. |
Year | Venue | Keywords |
---|---|---|
2007 | IICAI | electronic control units,software tests,model-based test generation,automated test generation,automotive systems,behavior modeling,natural language,propositional logic,software requirements,functional testing,software testing,software specification,model based testing,electronic control unit |
Field | DocType | Citations |
Test harness,Programming language,Test Management Approach,Computer science,Artificial intelligence,Software engineering,Manual testing,Regression testing,Test case,Software requirements specification,Software construction,Software verification and validation,Machine learning | Conference | 1 |
PageRank | References | Authors |
0.35 | 3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Esser | 1 | 1 | 0.35 |
Peter Struss | 2 | 365 | 52.90 |