3A-TRE evaluates traditionally logical expressions under the three assumptions. The open world assumption (OWA) states that the truth value of a statement that is not included in or inferred from the knowledge explicitly recorded in the system shall be considered unknown. The closed world assumption (CWA) is the assumption that any statement that is not known to be true is false. We distinguish yet another case in software testing. Frequently, there are test stubs which simulate the behaviors of the dependent test modules. In this case, the dependent test modules are always assumed to be true when their results are not available. We call this a stub assumption (SA).

3A-TRE example:
echo "CWA: (T and U)" | java -jar PTRE.jar
Result: F

3A-PTRE example: (P means possible results)
echo "OWA: (T,U and U,F)" | java -jar PTRE.jar
Result: U,F

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow 3A-TRE

3A-TRE Web Site

Other Useful Business Software
Safety Management Platform | SafetyIQ Icon
Safety Management Platform | SafetyIQ

Keep your workers safe, no matter where they are

SafetyIQ is revolutionizing the way businesses approach safety. As a leading provider of comprehensive workplace safety software, we cater to four key areas: Mobile Worker Safety, EHS (Environment, Health, and Safety), Fatigue Management, and Training. Our platform is designed to safeguard your workers, no matter their location or task, ensuring all-around safety compliance. Unlike most safety software providers that only react to incidents or implement proactive measures, SafetyIQ introduces a third pillar to safety management - predictive analytics. We transform the untapped wealth of safety data within your organization into actionable insights to inform safety strategies, mitigating risks even before they aris
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of 3A-TRE!

Additional Project Details

Operating Systems

Java ME

User Interface

Command-line

Programming Language

Java

Related Categories

Java Software Testing Tool, Java Artificial Intelligence Software

Registered

2012-04-09