タイトル | Coverage Metrics for Model Checking |
本文(外部サイト) | http://hdl.handle.net/2060/20010106055 |
著者(英) | Penix, John; Visser, Willem; Norvig, Peter |
著者所属(英) | Research Inst. for Advanced Computer Science |
発行日 | 2001-01-01 |
言語 | eng |
内容記述 | When using model checking to verify programs in practice, it is not usually possible to achieve complete coverage of the system. In this position paper we describe ongoing research within the Automated Software Engineering group at NASA Ames on the use of test coverage metrics to measure partial coverage and provide heuristic guidance for program model checking. We are specifically interested in applying and developing coverage metrics for concurrent programs that might be used to support certification of next generation avionics software. |
NASA分類 | Computer Programming and Software |
権利 | No Copyright |
URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/225732 |