Statestep
Edit Page
Report
Scan day: 07 February 2014 UTC
16
Virus safety - good
Description: A lightweight, systematic method for finite state machine specification: a tool includes interactive checking and a kind of spreadsheet for invariants; it also supports decision tables and combinatorial completion.
Statestep gives you unrivalled power to explore and manage billions of possibilities systematically and efficiently. It was first developed for use in , where it exposes problems that otherwise become evident only in unusual, easily overlooked combinations of circumstances, as can arise in complex systems due to unforeseen feature interactions.
Size: 346 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Statestep |
| Keywords: | Statestep, software tool, corner cases, edge cases, edge conditions, lightweight formal methods, systematic elicitation, requirements, embedded systems, user interface specification, finite state machines, models, automatic code generation, decision tables, invariants, testing, test oracle, combinations, combinatorial, automatic completeness and consistency checking |
| Description: | Enables you to systematically consider millions of possibilities. |
| IP-address: | 199.241.219.6 |
WHOIS Info
| NS | Name Server: SAY5A.DAYANADNS.COM Name Server: SAY5B.DAYANADNS.COM Name Server: SAY5C.DAYANADNS.COM Name Server: SAY5D.DAYANADNS.COM |
| WHOIS | Status: clientTransferProhibited |
| Date | Creation Date: 31-aug-2003 Expiration Date: 31-aug-2014 |