{ "info": { "author": "Eva Charlotte Mayer, Hendrik Roehm", "author_email": "eva-charlotte.mayer@posteo.de, git@roehm.ws", "bugtrack_url": null, "classifiers": [ "Development Status :: 4 - Beta", "Environment :: Web Environment", "Intended Audience :: Developers", "Intended Audience :: Science/Research", "License :: OSI Approved :: Apache Software License", "Programming Language :: Python :: 2.7", "Topic :: Scientific/Engineering", "Topic :: Software Development" ], "description": "STLInspector\n============\n\nSystematic validation of Signal Temporal Logic (STL) specifications\nagainst informal textual requirements.\n\n--------------\n\nThe goal of\n`STLInspector `__ is to\nidentify typical faults that occur in the process of formalizing\nrequirements by mutating a candidate specification.\n`STLInspector `__ computes\na series of representative signals that enables a requirements engineer\nto validate a candidate specification against all its mutated variants,\nthus achieving full mutation coverage. By visual inspection of the\nsignals via a web-based GUI, an engineer can obtain high confidence in\nthe correctness of the formalization - even if she is not familiar with\nSTL. `STLInspector `__\nmakes the assessment of formal specifications accessible to a wide range\nof developers, hence contributes to leveraging the use of formal\nspecifications and computer-aided verification in practice.\n\nInstallation\n------------\n\n`STLInspector `__ depends\non `Python 2 `__, `ANTLR\nv4 `__, the theorem prover\n`Z3 `__ with Python bindings and the\nPython packages `Flask `__ and\n`Flask-Assets `__.\nAdditionally, the GUI depends on\n`Bootstrap `__,\n`jQuery `__, `jQuery UI `__,\n`Chart.js `__, and\n`handlebars `__.\n\nInstall the Python 2 >= 2.7.9 using your package manager or download it\nfrom http://www.python.org/downloads. This also provides the Python\npackage manager pip.\n`STLInspector `__ is\nprovided as an `python\npackage `__ and can be\ninstalled using pip:\n\n.. code:: bash\n\n pip install STLInspector\n\nNote that the required javascript frameworks are not installed locally,\nbut loaded over an internet connection. This comes with the restriction\nthat you can used the GUI with an internet connection only. Due to\nsafety reasons, network access to the GUI is forbidden and the GUI is\nonly available via localhost.\n\nTutorial\n--------\n\nThis is a tutorial that demonstrates how to use\n`STLInspector `__. It shows\nthe standard workflow of the program with an example requirement. For a\ndeeper understanding consider reading the\n`documentation `__.\n\n1. Start the server by executing ``stlinspector .``.\n2. Open a browser and go to http://localhost:5000.\n3. Press the *new requirements project* button, input the title\n *tutorial requirements project* and press the *add* button. The\n project overview opens.\n4. In the *textual requirements* block press the *edit* button and\n input:\n\n The velocity should be higher than 5km/h from second 1 to second\n 3.\n\n5. In the *current STL candidate* block press the *edit* button and\n input:\n\n F[1,3] velocity > 5\n\n6. Under *visual inspection results* replace *Name* with *Test User*\n and press *new visual inspection*.\n7. The textual requirement and a test signal is shown. Evaluate the\n textual requirement on the test signal and press the *yes* or *no*\n button. Do this until no test signals are shown any more. Then press\n *go back to project overview*.\n8. To see the evaluation results, press the *show results* button.\n Since in our example the STL candidate is wrong, some of your\n evaluation results should differ from the STL candidate results.\n9. Change the STL candidate to:\n\n G[1,3] velocity > 5\n\n10. Redo the visual inspection on the new STL candidate.\n11. You should not get conflicting evaluation results for the STL\n candidate now.\n12. Press the save button and the project is saved to\n ``tutorial_requirements_project.stlinspector`` in the current\n directory. Congratulations, you validated the STL candidate against\n the textual requirement!\n\nDocumentation\n-------------\n\nFurther information can be found in the\n`documentation `__\nthat details the use of the web-based GUI, the parser and the mutation\noperators. The GUI provides a html version of the documentation.\n\nContributing\n------------\n\nWe greatly appreciate fixes and new features for\n`STLInspector `__. All\ncontributions to this project should be sent as pull requests on github.\n`STLInspector `__ uses\n*semantic versioning* as described in\n`packaging.python.org `__.\nPlease run test suite ``python setup.py test`` before requesting a pull.\n\nLicence\n-------\n\n`STLInspector `__ is\nreleased under the `Apache Licence\n2.0 `__.", "description_content_type": "", "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://github.com/STLInspector/STLInspector", "keywords": "", "license": "Apache License 2.0", "maintainer": "", "maintainer_email": "", "name": "STLInspector", "package_url": "https://pypi.org/project/STLInspector/", "platform": "", "project_url": "https://pypi.org/project/STLInspector/", "project_urls": { "Homepage": "https://github.com/STLInspector/STLInspector" }, "release_url": "https://pypi.org/project/STLInspector/1.1.4/", "requires_dist": null, "requires_python": "", "summary": "Systematic validation of Signal Temporal Logic (STL) specifications against informal textual requirements.", "version": "1.1.4" }, "last_serial": 5908798, "releases": { "1.0.0": [ { "comment_text": "", "digests": { "md5": "02887c9dbc813488671c359deee11680", "sha256": "9796978a17ca12b87c4dca576493fed353388365bbe067c819b46091c6ffadf5" }, "downloads": -1, "filename": "STLInspector-1.0.0.tar.gz", "has_sig": false, "md5_digest": "02887c9dbc813488671c359deee11680", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 135563, "upload_time": "2017-04-04T14:49:07", "url": "https://files.pythonhosted.org/packages/ef/e9/8d0e5fa9049a9f9bf441242a535735331ac7286757dfeb8895de5bff1058/STLInspector-1.0.0.tar.gz" } ], "1.0.1": [ { "comment_text": "", "digests": { "md5": "1e0ffb9ac77643b307ad040f0233164b", "sha256": "163b78c65e874f7de25c5746512df01918b188608f2e280c43b2d00e5afb1efa" }, "downloads": -1, "filename": "STLInspector-1.0.1.tar.gz", "has_sig": false, "md5_digest": "1e0ffb9ac77643b307ad040f0233164b", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 135602, "upload_time": "2017-04-04T15:11:08", "url": "https://files.pythonhosted.org/packages/87/d8/4dc83457465bafb556a4ca0b9be2a4f00ec9b484eba124b920773de760dd/STLInspector-1.0.1.tar.gz" } ], "1.1.0": [ { "comment_text": "", "digests": { "md5": "b9ab416a28eefdd71c15818f12ccadab", "sha256": "87c755d98f474ec69f492a3318a4dfcfa7325b4c10084d686904be765d392970" }, "downloads": -1, "filename": "STLInspector-1.1.0.tar.gz", "has_sig": false, "md5_digest": "b9ab416a28eefdd71c15818f12ccadab", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 137686, "upload_time": "2017-05-14T15:26:57", "url": "https://files.pythonhosted.org/packages/58/7f/d44b207d296c680782baadf73a504ed8c40795da0ddd33f1b8ef4cff40a9/STLInspector-1.1.0.tar.gz" } ], "1.1.1": [ { "comment_text": "", "digests": { "md5": "79056491c36a0c73f0c2d9115905ec5c", "sha256": "979f8c9e2c8c3481874102f40bb6f3a60d80461f0b3d40b40651004115d493db" }, "downloads": -1, "filename": "STLInspector-1.1.1.tar.gz", "has_sig": false, "md5_digest": "79056491c36a0c73f0c2d9115905ec5c", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 139013, "upload_time": "2017-05-14T16:02:51", "url": "https://files.pythonhosted.org/packages/3d/32/6bf06ffc71aef73f859deb73a420b1c6d8148d608b5e4a3d5815180bf34c/STLInspector-1.1.1.tar.gz" } ], "1.1.2": [ { "comment_text": "", "digests": { "md5": "154fe2f5d06262bd68cdbb0b04cf949e", "sha256": "2a4c691fe186d0431c0c5b2b9730625809021cf66583e53f001474dff84c36ff" }, "downloads": -1, "filename": "STLInspector-1.1.2.tar.gz", "has_sig": false, "md5_digest": "154fe2f5d06262bd68cdbb0b04cf949e", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 139021, "upload_time": "2017-05-14T21:38:34", "url": "https://files.pythonhosted.org/packages/23/b6/e6b554b9af1d56bf6b59569557db76305689109f71b6c8d09f5cc4b37ce7/STLInspector-1.1.2.tar.gz" } ], "1.1.3": [ { "comment_text": "", "digests": { "md5": "3e62c9fe421fbe89428fc93020305882", "sha256": "df066cb45008f25c57766235a6ad266c67096891ad60aa25af4ec89a96bf755c" }, "downloads": -1, "filename": "STLInspector-1.1.3.tar.gz", "has_sig": false, "md5_digest": "3e62c9fe421fbe89428fc93020305882", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 104472, "upload_time": "2019-02-03T18:56:00", "url": "https://files.pythonhosted.org/packages/c7/25/6cd5e210760d642e1a8cbd9185f738839377926ed1bb7aaa402ef44c7738/STLInspector-1.1.3.tar.gz" } ], "1.1.4": [ { "comment_text": "", "digests": { "md5": "f973ab2a335dc7334bbdbe0527817d05", "sha256": "10b69fcb4f2a2a7ecebd6515893fc55a3fb651a4f0b7e21a96a6b85eddbf275c" }, "downloads": -1, "filename": "STLInspector-1.1.4.tar.gz", "has_sig": false, "md5_digest": "f973ab2a335dc7334bbdbe0527817d05", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 130047, "upload_time": "2019-09-30T20:25:43", "url": "https://files.pythonhosted.org/packages/ff/3f/4e4cf7664947fadcb5656d3cb8b747022bc3065cbe5a736583a9e48dc560/STLInspector-1.1.4.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "f973ab2a335dc7334bbdbe0527817d05", "sha256": "10b69fcb4f2a2a7ecebd6515893fc55a3fb651a4f0b7e21a96a6b85eddbf275c" }, "downloads": -1, "filename": "STLInspector-1.1.4.tar.gz", "has_sig": false, "md5_digest": "f973ab2a335dc7334bbdbe0527817d05", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 130047, "upload_time": "2019-09-30T20:25:43", "url": "https://files.pythonhosted.org/packages/ff/3f/4e4cf7664947fadcb5656d3cb8b747022bc3065cbe5a736583a9e48dc560/STLInspector-1.1.4.tar.gz" } ] }